Modelltheoretische Untersuchungen in der Kripke-Semantik

DOI10.1007/BF01967647MaRDI QIDQ5619087zbMATH OpenOpenAlexFDO

Authors Horst Osswald

Publication date 1970

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/137830

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites work

• scientific article; zbMATH DE number 3252193 (Why is no real title available?)
• scientific article; zbMATH DE number 3186865 (Why is no real title available?)
• Properties preserved under homomorphism
• Reduced direct products

Cited in

(3)

• Normal modal model theory
• Unterstruktur-invariante Formeln in der intuitionistischen Logik
• Homorphie-invariante Formeln in der intuitionistischen Logik

This page was built for publication: Modelltheoretische Untersuchungen in der Kripke-Semantik

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