Access the full text.
Sign up today, get DeepDyve free for 14 days.
A. Mancini, D. Zambella (2001)
A Note on Recursive Models of Set TheoriesNotre Dame J. Formal Log., 42
W. Quine (1945)
On ordered pairsJournal of Symbolic Logic, 10
(2006)
Logic in Tehran
A. Church (1974)
Set Theory with a Universal Set
A. Mancini, D. Zambella (2001)
A note on recursive models of set theories. MR 1993394 (2005g:03061)Notre Dame J. Formal Logic., 42
W.V. Quine (1945)
On ordered pairs. MR MR0013716 (7,185c)J. Symbol. Logic, 10
A. Visser (2004)
Categories of theories and interpretationsLogic group preprint series, 228
R. Guy (1978)
On numbers and gamesProceedings of the IEEE, 66
R. Kaye, T.L. Wong (2007)
On interpretations of arithmetic and set theory. MR MR2357524 (2008i:03075)Notre Dame J. Formal Logic., 48
(1976)
MR MR0450066 (56 #8365)
(2011)
Extensions to the theory of combinatorial games, M.Phil
R. Kaye, Tin Wong (2007)
On Interpretations of Arithmetic and Set TheoryNotre Dame J. Formal Log., 48
T.E. Forster (1992)
Set Theory with a Universal Set. Oxford Logic Guides, vol. 20
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.
Archive for Mathematical Logic – Springer Journals
Published: Mar 13, 2012
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.