scientific article

zbMATH Open0536.03036MaRDI QIDQ3320364

Maurice Boffa

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

NFatomic Boolean algebramodels of type theorystratified extensionstratified sentence

Mathematics Subject Classification ID

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Closed model structures for algebraic models of \(n\)-types 👍 👎
• Algebraic specifications, higher-order types and set-theoretic models 👍 👎
• On the absoluteness of types in boolean valued lattices 👍 👎
• ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS 👍 👎
• Theories with few non-algebraic types over models, and their decompositions 👍 👎
• Algebraic models of simple type theories 👍 👎

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)