Decidable fragments of the simple theory of types with infinity and NF

DOI10.1215/00294527-2017-0009zbMath1417.03271arXiv1406.4384OpenAlexW3103978466MaRDI QIDQ2013397

Zachiri McKenzie, Thomas Forster, Anuj Dawar

Publication date: 17 August 2017

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.4384

zbMATH Keywords

simple theory of typesQuine's NFuniversal-existential sentences

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Nonclassical and second-order set theories (03E70)

Related Items (1)

Increasing sentences in simple type theory

This page was built for publication: Decidable fragments of the simple theory of types with infinity and NF