Partially ordered interpretations

DOI10.2307/2272322zbMath0411.03030OpenAlexW2106836917MaRDI QIDQ4198737

Nobuyoshi Motohashi

Publication date: 1977

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

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

zbMATH Keywords

first order theoryCohen's forcingKripke interpretationparametrical interpretationpartially ordered interpretationsyntactical Kripke models

Mathematics Subject Classification ID

Model theory (03C99) Classical first-order logic (03B10) Relative consistency and interpretations (03F25)

Cites Work

• Models of ZF-set theory
• Boolean models and infinitary first order languages
• The theory of Boolean ultrapowers
• Unnamed Item
• Unnamed Item

This page was built for publication: Partially ordered interpretations