A game on the universe of sets

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

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

zbMATH Keywords

inner model well-founded sets axiom of regularity: length of game hereditarily winning sets two-person game on the universe of sets winning non-well-founded sets

Mathematics Subject Classification ID

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