First steps in intuitionistic model theory

DOI10.2307/2271944zbMath0395.03037OpenAlexW2165786940MaRDI QIDQ4177564

H. C. M. De Swart

Publication date: 1978

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271944

zbMATH Keywords

Kripke ModelsCompleteness TheoremFiniteness Theorem for Countable Sets Of AxiomsIntuitionistic Model TheoryNonstandard Interpretation of Negation

Mathematics Subject Classification ID

Model theory (03C99) Intuitionistic mathematics (03F55)

Cites Work

• Some applications of Gentzens second consistency proof
• Unnamed Item

This page was built for publication: First steps in intuitionistic model theory