A Kripke model for simplicial sets

DOI10.1016/j.tcs.2015.01.035zbMath1350.18020OpenAlexW2063617540MaRDI QIDQ2257308

Thierry Coquand, Marc Bezem

Publication date: 24 February 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.01.035

zbMATH Keywords

Kripke modelsimplicial setconstructivity

Mathematics Subject Classification ID

Logic in computer science (03B70) Simplicial sets and complexes in algebraic topology (55U10) Other constructive mathematics (03F65)

Related Items (7)

Unnamed Item ⋮ Combinatorial topology and constructive mathematics ⋮ Unnamed Item ⋮ Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation ⋮ Weak model categories in classical and constructive mathematics ⋮ Syntax and models of Cartesian cubical type theory ⋮ MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS

Cites Work

• Automating Coherent Logic
• A generalization of the Takeuti–Gandy interpretation
• Simplicial homotopy theory
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Kripke model for simplicial sets