Implicative models of set theory

DOI10.46298/ENTICS.12426MaRDI QIDQ6831463zbMATH OpenFDO

Authors Samuele Maschio, Alexandre Miquel

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.12426

zbMATH Keywords

implicative algebraintuitionistic and classical set theorytripos

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• scientific article; zbMATH DE number 5851813 (Why is no real title available?)
• scientific article; zbMATH DE number 3427308 (Why is no real title available?)
• scientific article; zbMATH DE number 3823769 (Why is no real title available?)
• scientific article; zbMATH DE number 3577208 (Why is no real title available?)
• Implicative algebras: a new foundation for realizability and forcing
• Intuitionistic set theory
• Krivine's classical realisability from a categorical perspective
• On the interpretation of intuitionistic number theory
• Realizability algebras. II: New models of \(\mathrm{ZF} + \mathrm{DC}\)
• Realizability algebras: a program to well order \(\mathbb R\)
• Realizability. An introduction to its categorical side
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Tripos theory
• Typed lambda-calculus in classical Zermelo-Fraenkel set theory

This page was built for publication: Implicative models of set theory

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