A game on the universe of sets

DOI10.1070/IM2008V072N03ABEH002412MaRDI QIDQ3520120zbMATH OpenOpenAlexFDO

Authors D. I. Savel'ev

Publication date 20 August 2008

Published in Izvestiya: Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0612636

zbMATH Keywords

inner modelwell-founded setsaxiom of regularity: length of gamehereditarily winning setstwo-person game on the universe of setswinning non-well-founded sets

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: In set theory without the axiom of regularity, we consider a game in which two players choose in turn an element of a given set, an element of this element, etc.; a player wins if its adversary cannot make any next move. Sets that are winning, i.e. have a winning strategy for a player, form a natural hierarchy with levels indexed by ordinals. We show that the class of hereditarily winning sets is an inner model containing all well-founded sets, and that all four possible relationships between the universe, the class of hereditarily winning sets, and the class of well-founded sets are consistent. We describe classes of ordinals for which it is consistent that winning sets without minimal elements are exactly in the levels indexed by ordinals of this class. For consistency results, we propose a new method for getting non-well-founded models. Finally, we establish a probability result by showing that on hereditarily finite well-founded sets the first player wins almost always.

Recommendations

• A report on a game on the universe of sets
• scientific article; zbMATH DE number 1827833
• scientific article; zbMATH DE number 3851078
• Variations on a game of Gale. II: Markov strategies
• Variations on a game of Gale (III): remainder strategies

Cited in

(7)

• Martin's game: a lower bound for the number of sets.
• Amphi-ZF : axioms for Conway games
• scientific article; zbMATH DE number 1906344 (Why is no real title available?)
• On the set coincidence game
• A report on a game on the universe of sets
• scientific article; zbMATH DE number 1827833 (Why is no real title available?)
• Translating the hypergame paradox: Remarks on the set of founded elements of a relation

This page was built for publication: A game on the universe of sets

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