A result of relative consistency about the predicate WO(δ, x)

DOI10.2307/2273416zbMath0441.03018OpenAlexW1538079285MaRDI QIDQ3882448

René David

Publication date: 1980

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

Full work available at URL: https://doi.org/10.2307/2273416

zbMATH Keywords

well orderings

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)

Cites Work

• Unnamed Item
• Intermediate submodels and generic extensions in set theory
• Logic with the quantifier “there exist uncountably many”
• Forcing and generalized quantifiers

This page was built for publication: A result of relative consistency about the predicate WO(δ, x)