Constructions of classical models by means of Kripke models (Survey)
From MaRDI portal
Publication:1142205
DOI10.1007/BF00370477zbMath0439.03014MaRDI QIDQ1142205
Publication date: 1979
Published in: Studia Logica (Search for Journal in Brave)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03E35: Consistency and independence results
03E45: Inner models, including constructibility, ordinal definability, and core models
03C20: Ultraproducts and related constructions
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
Related Items
Cites Work