Constructions of classical models by means of Kripke models (Survey)

DOI10.1007/BF00370477zbMath0439.03014MaRDI QIDQ1142205

Bernd I. Dahn

Publication date: 1979

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

omitting types theorem; Kripke models; axiom of constructibility; Shelah's ultrapower theorem

Mathematics Subject Classification ID

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

Kripke models for classical logic

Cites Work

• Every two elementarily equivalent models have isomorphic ultrapowers
• Unnamed Item