#### Filter Results:

- Full text PDF available (1)

#### Publication Year

2009

2017

- This year (2)
- Last 5 years (3)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Zachiri McKenzie
- Ann. Pure Appl. Logic
- 2015

Article history: Received 15 September 2013 Received in revised form 16 December 2014 Accepted 17 December 2014 Available online 5 January 2015 MSC: 03C62 03C65 03E70 03E65

- Zachiri McKenzie
- Math. Log. Q.
- 2017

- Anuj Dawar, Thomas E. Forster, Zachiri McKenzie
- Notre Dame Journal of Formal Logic
- 2017

We identify complete fragments of the simple theory of types with infinity (TSTI) and Quine’s new foundations (NF) set theory. We show that TSTI decides every sentence in the language of type theory that is in one of the following forms: (A) D 8x1 1 8x rk k 9y s1 1 9y sl l where the superscripts denote the types of the variables, s1 > > sl , and is… (More)

This paper endeavours to survey some of the recent work investigating models of the stratified axioms of Zermelo-Fraenkel Set Theory (ZF). Specifically we will focus on a hybridisation of the Fraenkel-Mostowski-Specker and Rieger-Bernays permutation techniques developed by Thomas Forster to produce models of the stratified fragment of ZF refuting certain… (More)

- ‹
- 1
- ›