Titlebook: Logicism, Intuitionism, and Formalism; What Has Become of T Sten Lindström,Erik Palmgren,Viggo Stoltenberg-Han Book 2009 Springer Science+B

斜坡

100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?

vasospasm

From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory

Dissonance

“Gödel’s Modernism: On Set-Theoretic Incompleteness,” Revisited

Albinism

Emmenagogue

终点

粗语

Logicism, Intuitionism, and Formalism978-1-4020-8926-8Series ISSN 0166-6991 Series E-ISSN 2542-8292

粗俗人

https://doi.org/10.1007/978-1-4020-8926-8Bertrand Russell; Formalism; Foundations of mathematics; Gottlob Frege; Intuitionism; Logicism; Philosophy

Inveterate

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.

并置

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.