Expansions of models of ZFC

DOI10.1007/BF02021136zbMath0483.03029OpenAlexW1974244872MaRDI QIDQ3941396

Timothy B. Flannagan

Publication date: 1980

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137971

zbMATH Keywords

choice functionreflection phenomenaconservative extension of ZFCtrees whose branches form elementary chainsZF-sigma

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62)

Cites Work

• Unnamed Item
• Unnamed Item
• Global and local choice functions
• Axiom schemata of strong infinity in axiomatic set theory
• Comparison of the axioms of local and universal choice

This page was built for publication: Expansions of models of ZFC