斜坡
发表于 2025-3-23 13:42:49
100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?
vasospasm
发表于 2025-3-23 16:00:31
From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory
Dissonance
发表于 2025-3-23 19:53:26
“Gödel’s Modernism: On Set-Theoretic Incompleteness,” Revisited
Albinism
发表于 2025-3-24 01:23:41
http://reply.papertrans.cn/59/5882/588168/588168_14.png
Emmenagogue
发表于 2025-3-24 04:26:57
http://reply.papertrans.cn/59/5882/588168/588168_15.png
终点
发表于 2025-3-24 10:13:18
http://reply.papertrans.cn/59/5882/588168/588168_16.png
粗语
发表于 2025-3-24 14:30:43
Logicism, Intuitionism, and Formalism978-1-4020-8926-8Series ISSN 0166-6991 Series E-ISSN 2542-8292
粗俗人
发表于 2025-3-24 18:13:45
https://doi.org/10.1007/978-1-4020-8926-8Bertrand Russell; Formalism; Foundations of mathematics; Gottlob Frege; Intuitionism; Logicism; Philosophy
Inveterate
发表于 2025-3-24 19:14:16
A Constructive Version of the Lusin Separation TheoremI state and prove a constructive version of the Lusin Separation Theorem. The classical statement of the theorem is that disjoint analytic sets are Borel separable. The definitions and results are carried out in the axiom system CZF for constructive set theory.
并置
发表于 2025-3-24 23:11:53
Journey into Apartness SpaceWe present some of the fundamental notions and results in the axiomatic theory of apartness spaces, a constructive approach to topology. The paper begins with apartness between sets, and between points and sets, and ends with very recent work on the theory of apartness on frames.