Another Use of Set Theory

DOI10.2307/421170MaRDI QIDQ3128480zbMATH OpenOpenAlexFDO

Authors Patrick Dehornoy

Publication date 14 February 2000

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0204-toc.htm

zbMATH Keywords

applications of set theoryelimination of axiomsset-theoretical hypothesesstrong axioms

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35) Applications of set theory (03E75)

Recommendations

• The uses of set theory
• Some naturalistic reflections on set theoretic method
• Foundation of mathematics between theory and practice
• scientific article; zbMATH DE number 1198604

Cites work

• \(\Pi^ 1_ 1\)-complete families of elementary sequences
• Accessible Independence Results for Peano Arithmetic
• Can you take Solovay's inaccessible away?
• FROM LARGE CARDINALS TO BRAIDS VIA DISTRIBUTIVE ALGEBRA
• Higher set theory and mathematical practice
• scientific article; zbMATH DE number 50650 (Why is no real title available?)
• On braid words and irreflexivity
• On the algebra of elementary embeddings of a rank into itself
• On the necessary use of abstract set theory
• Strong axioms of infinity and elementary embeddings
• The left distributive law and the freeness of an algebra of elementary embeddings

Cited in

(4)

• The uses of set theory
• Naturalizing indispensability: a rejoinder to `The varieties of indispensability arguments'
• Two- and three-cocycles for Laver tables
• Laver's results and low-dimensional topology

This page was built for publication: Another Use of Set Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3128480)