Increasing sentences in simple type theory

DOI10.1016/J.APAL.2017.05.002MaRDI QIDQ2363207zbMATH OpenOpenAlexFDO

Authors Panagiotis Rouvelas

Publication date 13 July 2017

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2017.05.002

zbMATH Keywords

ambiguitydecidabilitynew foundationssimple type theory

Mathematics Subject Classification ID

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

Recommendations

• Decreasing sentences in simple type theory
• Decidable fragments of the simple theory of types with infinity and NF
• The rise and fall of typed sentences
• scientific article; zbMATH DE number 3851077
• Subsystems of Quine's ``New Foundations with predicativity restrictions

Cites work

• A generalization of Specker's theorem on typical ambiguity
• A mathematical introduction to logic.
• A Reduction of the NF consistency Problem
• Decidable fragments of the simple theory of types with infinity and NF
• scientific article; zbMATH DE number 3508495 (Why is no real title available?)
• scientific article; zbMATH DE number 803071 (Why is no real title available?)
• scientific article; zbMATH DE number 3250586 (Why is no real title available?)
• scientific article; zbMATH DE number 3405934 (Why is no real title available?)
• Increasing sentences in simple type theory
• Model Theory
• Model theory.
• On NFU
• On the consistency of an impredicative subsystem of Quine's NF
• Term models for weak set theories with a universal set

Cited in

(4)

• Decidable fragments of the simple theory of types with infinity and NF
• Increasing sentences in simple type theory
• The rise and fall of typed sentences
• Decreasing sentences in simple type theory

This page was built for publication: Increasing sentences in simple type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2363207)