A game on the universe of sets

DOI10.1070/IM2008V072N03ABEH002412zbMATH Open1145.03027arXivmath/0612636OpenAlexW2048467281MaRDI QIDQ3520120FDOQ3520120

Authors: D. I. Savel'ev 

Publication date: 20 August 2008

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

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.

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

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

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)

Cited In (7)

• Martin's game: a lower bound for the number of sets.
• Amphi-ZF : axioms for Conway games
• Title not available (Why is that?)
• On the set coincidence game
• A report on a game on the universe of sets
• Title not available (Why is that?)
• 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)