Leibnizian models of set theory

Publisher： Cambridge University Press

E-ISSN： 1943-5886|69|3|775-789

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.69, Iss.3, 2004-09, pp. : 775-789

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

A model is said to be Leibnizian if it has no pair of indiscernibles. Mycielski has shown that there is a first order axiom LM (the Leibniz-Mycielski axiom) such that for any completion T of Zermelo-Fraenkel set theory ZF. T has a Leibnizian model if and only if T proves LM. Here we prove:

Related content

Models of the alternative set theory

By  

The Journal of Symbolic Logic, Vol. 49, Iss. 2, 1984-06 ,pp. : 570-585 (16)

Cambridge University Press

Access to resources Recommend Favorite

Definability in models of set theory

By  

The Journal of Symbolic Logic, Vol. 45, Iss. 1, 1980-03 ,pp. : 9-19 (11)

Cambridge University Press

Access to resources Recommend Favorite

Natural models of ackermann's set theory

By  

The Journal of Symbolic Logic, Vol. 34, Iss. 3, 1969-11 ,pp. : 481-488 (8)

Cambridge University Press

Access to resources Recommend Favorite

Pointwise definable models of set theory

By  

The Journal of Symbolic Logic, Vol. 78, Iss. 1, 2013-03 ,pp. : 139-156 (18)

Cambridge University Press

Access to resources Recommend Favorite

Power-like models of set theory

By  

The Journal of Symbolic Logic, Vol. 66, Iss. 4, 2001-12 ,pp. : 1766-1782 (17)

Cambridge University Press

Access to resources Recommend Favorite