Some applications of Kripke models to formal systems of intuitionistic analysis

DOI10.1016/0003-4843(79)90014-7zbMath0431.03037OpenAlexW1965954744MaRDI QIDQ3867822

Scott Weinstein

Publication date: 1979

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(79)90014-7

zbMATH Keywords

saturated modelsdisjunctionbar inductionaxioms of choiceexplicit definabilitycontinuity axiomsKripke models for intuitionistic theoriesKripke schemes

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items (2)

Some axioms for constructive analysis ⋮ How to glue analysis models

This page was built for publication: Some applications of Kripke models to formal systems of intuitionistic analysis