Another Use of Set Theory

DOI10.2307/421170zbMath0932.03068OpenAlexW2116411775MaRDI QIDQ3128480

Patrick Dehornoy

Publication date: 14 February 2000

Published in: 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)

Related Items (3)

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

Cites Work

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

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