Leibnizian models of set theory

DOI10.2178/JSL/1096901766zbMATH Open1070.03023OpenAlexW1966548104MaRDI QIDQ5311752FDOQ5311752

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

Recommendations

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

zbMATH Keywords

Leibniz-Mycielski axiomLeibnizian model

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Cites Work

• Title not available (Why is that?)
• Discernible elements in models for Peano arithmetic
• Logic with the quantifier “there exist uncountably many”
• Axioms which imply GCH
• Counting models of set theory
• New set-theoretic axioms derived from a lean metamathematics
• Title not available (Why is that?)

Cited In (7)

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

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)