Choice and Regularity: Common Consequences in Logic

MaRDI QIDQ6206837zbMATH OpenFDO

Authors Denis I. Saveliev

Publication date 19 September 2007

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Other set-theoretic hypotheses and axioms (03E65) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: It is well-known that Choice and Regularity are independent of each other but have important common consequences of logical character (reflection principles, representations of classes by sets, etc.). We explain this phenomenon by isolating their "intersection", a principle (called here Best-Foundedness) which is consistent with the negations of both axioms but implies all these consequences. Then we study relationships between these consequences (and near principles) in detail. Finally, we consider some arguments related to truth of various principles in set theory, especially arguments concerning the interpretability strength.

This page was built for publication: Choice and Regularity: Common Consequences in Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6206837)