First steps in intuitionistic model theory

DOI10.2307/2271944zbMATH Open0395.03037OpenAlexW2165786940MaRDI QIDQ4177564FDOQ4177564

Authors: Harrie 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

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

Cites Work

• Title not available (Why is that?)
• Some applications of Gentzens second consistency proof

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

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