scientific article; zbMATH DE number 3851077

MaRDI QIDQ3320364zbMATH OpenFDO

Authors Maurice Boffa

Publication date 1982

zbMATH Keywords

atomic Boolean algebramodels of type theoryNFstratified extensionstratified sentence

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Recommendations

• Algebraic specifications, higher-order types and set-theoretic models
• Theories with few non-algebraic types over models, and their decompositions
• Algebraic models of simple type theories. A polynomial approach
• scientific article; zbMATH DE number 3912445
• scientific article; zbMATH DE number 2222244
• scientific article; zbMATH DE number 4059374
• Algebraic logic and logically-geometric types in varieties of algebras
• Closed model structures for algebraic models of \(n\)-types
• scientific article; zbMATH DE number 3843733
• On the absoluteness of types in boolean valued lattices

Cited in

(6)

• 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
• The consistency of some 4-stratified subsystem of NF including NF₃
• scientific article; zbMATH DE number 98682 (Why is no real title available?)
• The 3-stratifiable theorems of \(\text{NFU}_\infty\)

This page was built for publication:

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