Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Amphi-ZF : axioms for Conway games

Amphi-ZF : axioms for Conway games A theory of two-sided containers, denoted ZF2, is introduced. This theory is then shown to be synonymous to ZF in the sense of Visser (2006), via an interpretation involving Quine pairs. Several subtheories of ZF2, and their relationships with ZF, are also examined. We include a short discussion of permutation models (in the sense of Rieger–Bernays) over ZF2. We close with highlighting some areas for future research, mostly motivated by the need to understand non-wellfounded games. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

Amphi-ZF : axioms for Conway games

Archive for Mathematical Logic , Volume 51 (4) – Mar 13, 2012

Loading next page...
 
/lp/springer-journals/amphi-zf-axioms-for-conway-games-5VbmDv50Wd

References (13)

Publisher
Springer Journals
Copyright
Copyright © 2012 by Springer-Verlag
Subject
Mathematics; Mathematics, general; Algebra; Mathematical Logic and Foundations
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s00153-012-0275-x
Publisher site
See Article on Publisher Site

Abstract

A theory of two-sided containers, denoted ZF2, is introduced. This theory is then shown to be synonymous to ZF in the sense of Visser (2006), via an interpretation involving Quine pairs. Several subtheories of ZF2, and their relationships with ZF, are also examined. We include a short discussion of permutation models (in the sense of Rieger–Bernays) over ZF2. We close with highlighting some areas for future research, mostly motivated by the need to understand non-wellfounded games.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Mar 13, 2012

There are no references for this article.