A nonconservativity result on global choice (Q759750): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0168-0072(84)90026-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1995370960 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stationary logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4071748 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comparison of the axioms of local and universal choice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3960688 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set theory with a filter quantifier / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set theory. An introduction to independence proofs / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:22, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A nonconservativity result on global choice |
scientific article |
Statements
A nonconservativity result on global choice (English)
0 references
1984
0 references
M. Kaufmann introduced the set theory ZF(aa), an extension of ZF obtained by adding axioms involving the quantifier ''for almost all ordinals'', and proved that in the theory \(ZF(aa)+DET\), the axiom of global choice (in the form \(\exists x(V=OD(x))\) implies the existence of n-ineffable cardinals for each \(n<\omega\). The authors prove that (in contrast to the situation of ordinary ZF) the local axiom of choice does not even imply the existence of a Mahlo cardinal in \(ZF(aa)+DET\) (provided the theory is consistent).
0 references
local axiom of choice
0 references
Mahlo cardinal
0 references