Leibnizian models of set theory

DOI10.2178/JSL/1096901766MaRDI QIDQ5311752zbMATH OpenOpenAlexFDO

Authors Ali Enayat

Publication date 29 August 2005

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

Full work available at URL https://doi.org/10.2178/jsl/1096901766

zbMATH Keywords

Leibniz-Mycielski axiomLeibnizian model

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Recommendations

• On the Leibniz–Mycielski axiom in set theory
• Counting models of set theory
• scientific article; zbMATH DE number 3855080
• Models of set theory with definable ordinals
• The Axiom of Choice, the Löwenheim-Skolem Theorem and Borel models

Cites work

• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• scientific article; zbMATH DE number 3027246 (Why is no real title available?)
• Axioms which imply GCH
• Counting models of set theory
• Discernible elements in models for Peano arithmetic
• Logic with the quantifier “there exist uncountably many”
• New set-theoretic axioms derived from a lean metamathematics

Cited in

(8)

• Model theory of the inaccessibility scheme
• Models of set theory with definable ordinals
• Set theory with a proper class of indiscernibles
• Rigid models of Presburger arithmetic
• On the Leibniz–Mycielski axiom in set theory
• Ehrenfeucht's lemma in set theory
• Logical generation of groups
• A case study for Leibnizian ideas in Wolfram model

This page was built for publication: Leibnizian models of set theory

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