e-sygoing.link — Set Theory https://e-sygoing.link Latest links in the Set Theory category en-us Tue, 09 Jun 2026 18:36:03 -0400 The Axiom of Choice https://e-sygoing.link/link/5285407-the-axiom-of-choice This page gives a brief explanation of the Axiom of Choice and links to other related websites. Sat, 09 May 2026 09:27:47 -0400 https://e-sygoing.link/go/5285407 Set Theoretic Analysis. https://e-sygoing.link/link/5285415-set-theoretic-analysis On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems. Sun, 08 Feb 2026 16:30:30 -0500 https://e-sygoing.link/go/5285415 New Foundations https://e-sygoing.link/link/5285412-new-foundations Set theory introduced by W. V. O. Quine in 1937. This is a refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently prove. Tue, 14 Oct 2025 20:20:40 -0400 https://e-sygoing.link/go/5285412 Set Theory https://e-sygoing.link/link/5285408-set-theory Directory of set theorists, maintained by Jean A. Larson. Thu, 09 Oct 2025 21:07:37 -0400 https://e-sygoing.link/go/5285408 Set Theory for the Working Mathematician https://e-sygoing.link/link/5285417-set-theory-for-the-working-mathematician Krzysztof Ciesielski, CUP (1997). Contents and preface. Fri, 18 Jul 2025 12:11:24 -0400 https://e-sygoing.link/go/5285417 Programming with Sets https://e-sygoing.link/link/5285414-programming-with-sets Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages. Tue, 24 Jun 2025 08:03:07 -0400 https://e-sygoing.link/go/5285414 Metamath Proof Explorer https://e-sygoing.link/link/5285423-metamath-proof-explorer Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms. Tue, 28 Jan 2025 05:46:29 -0500 https://e-sygoing.link/go/5285423 Set Theory https://e-sygoing.link/link/5285422-set-theory Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech. Sun, 26 Jan 2025 12:21:50 -0500 https://e-sygoing.link/go/5285422 Bounded Set Theory https://e-sygoing.link/link/5285413-bounded-set-theory A weak version of ordinary set theory using bounded quantification. Papers and software. Sat, 18 Jan 2025 03:09:56 -0500 https://e-sygoing.link/go/5285413 Extending Set Theory https://e-sygoing.link/link/5285430-extending-set-theory Extends the language of set theory through restricted self-reference and through certain large cardinals. Also discusses higher order set theory and axiomatization through reflection principles. Sun, 29 Sep 2024 14:32:34 -0400 https://e-sygoing.link/go/5285430