Nowy postulat teorii mnogości – aksjomat Leibniza-Mycielskiego
Filozofia Nauki 18 (3) (2010)
AbstractIn this article we will present the Leibniz-Mycielski axiom (LM) of set theory (ZF) introduced several years ago by Jan Mycielski as an additional axiom of set theory. This new postulate formalizes the so-called Leibniz Law (LL) which states that there are no two distinct indiscernible objects. From the Ehrenfeucht-Mostowski theorem it follows that every theory which has an infinite model has a model with indiscernibles. The new LM axiom states that there are infinite models without indis-cernibles. These models are called Leibnizian models of set theory. We will show that this additional axiom is equivalent to some choice principles within the axio-matic set theory. We will also indicate that this axiom is derivable from the axiom which states that all sets are ordinal definable (V=OD) within ZF. Finally, we will explain why the process of language skolemization implies the existence of indis-cernibles. In our considerations we will follow the ontological and epistemological paradigm of investigations
Similar books and articles
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
Relations between some cardinals in the absence of the axiom of choice.Lorenz Halbeisen & Saharon Shelah - 2001 - Bulletin of Symbolic Logic 7 (2):237-261.
On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
On the significance of choice sets with incompatibilities.Vivian Charles Walsh - 1967 - Philosophy of Science 34 (3):243-250.
Independence results for class forms of the axiom of choice.Paul E. Howard, Arthur L. Rubin & Jean E. Rubin - 1978 - Journal of Symbolic Logic 43 (4):673-684.
Added to PP
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.