most citedDecidable fragments of the Simple Theory of Types with Infinity and NF

1 citations · 1 across the 2 of their papers we have counts for

collaborators

2 papers

math.CT2019

Category Theory with Stratified Set Theory

Thomas Forster, Adam Lewicki, Alice Vidrine

This paper examines the category theory of stratified set theory (NF and KF). We work out the properties of the relevant categories of sets, and introduce a functorial analogue to…

math.LO2014★ 1 cited

Decidable fragments of the Simple Theory of Types with Infinity and NF

Anuj Dawar, Thomas Forster, Zachiri McKenzie

We identify complete fragments of the Simple Theory of Types with Infinity () and Quine's set theory. We show that decides every senten…