Amphi-ZF : axioms for Conway games

DOI10.1007/s00153-012-0275-xzbMath1250.03089OpenAlexW2097380363MaRDI QIDQ412064

J. Herrera, H. S. Yoon

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

interpretationscombinatorial gamenon-wellfounded gamespermutation modelsQuine pairstwo-sided containers

Mathematics Subject Classification ID

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

Related Items

LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS

Cites Work

• A note on recursive models of set theories
• On interpretations of arithmetic and set theory
• On ordered pairs
• Unnamed Item
• Unnamed Item
• Unnamed Item