Two applications of Boolean models

DOI10.1007/S001530050088zbMath0904.03026OpenAlexW2019237035MaRDI QIDQ1128177

Thierry Coquand

Publication date: 10 August 1998

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050088

zbMATH Keywords

Herbrand's theoremconservativityBoolean models

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Basic properties of first-order languages and structures (03C07)

Related Items (6)

Algebraic proofs of cut elimination ⋮ Eliminating disjunctions by disjunction elimination ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Lindenbaum’s Lemma via Open Induction ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Saturated models of universal theories

This page was built for publication: Two applications of Boolean models