scientific article; zbMATH DE number 922633

MaRDI QIDQ4893153zbMATH OpenFDO

Authors Andrzej Zarach

Publication date 13 January 1997

zbMATH Keywords

Basic Set TheoryCollection SchemeforcingPower Set AxiomReplacement SchemeWell-Ordering Principle

Mathematics Subject Classification ID

Other classical set theory (including functions, relations, and set algebra) (03E20) Consistency and independence results (03E35)

Recommendations

• A note on the schemes of replacement and collection
• On the relative strengths of fragments of collection
• scientific article; zbMATH DE number 4185594
• Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
• Replacement and collection in intuitionistic set theory

Cited in

(13)

• Set-theoretic blockchains
• Easton's theorem for Ramsey and strongly Ramsey cardinals
• The downward directed grounds hypothesis and very large cardinals
• INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
• THE Σ₁-DEFINABLE UNIVERSAL FINITE SEQUENCE
• Minimum models of second-order set theories
• A model of second-order arithmetic satisfying AC but not DC
• Independence results for finite set theories in well-founded locally finite graphs
• Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
• Axiomatization and forcing in set theory with urelements
• Is (un)countabilism restrictive?
• Non-tightness in class theory and second-order arithmetic
• On constructible sets in Simpson's set theory

This page was built for publication:

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