Amphi-ZF : axioms for Conway games

DOI10.1007/S00153-012-0275-XMaRDI QIDQ412064zbMATH OpenOpenAlexFDO

Authors Michael Cox, Richard Kaye

Publication date 3 May 2012

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-012-0275-x

zbMATH Keywords

combinatorial gameinterpretationsnon-wellfounded gamespermutation modelsQuine pairstwo-sided containers

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Axiom of choice and related propositions (03E25) Axiomatics of classical set theory and its fragments (03E30) Relative consistency and interpretations (03F25) Combinatorial games (91A46)

Recommendations

• A game on the universe of sets
• ZF + “Every set is the same size as a wellfounded set”
• A report on a game on the universe of sets
• scientific article; zbMATH DE number 3851078
• Partizan Games in Isabelle/HOLZF

Cites work

• A note on recursive models of set theories
• scientific article; zbMATH DE number 53037 (Why is no real title available?)
• scientific article; zbMATH DE number 3521877 (Why is no real title available?)
• scientific article; zbMATH DE number 1568491 (Why is no real title available?)
• On interpretations of arithmetic and set theory
• On ordered pairs

Cited in

(2)

• LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS
• Wand/set theories: a realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set

This page was built for publication: Amphi-ZF : axioms for Conway games

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