Modelltheoretische Untersuchungen in der Kripke-Semantik

DOI10.1007/BF01967647zbMATH Open0216.01203OpenAlexW1979077133MaRDI QIDQ5619087FDOQ5619087

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

• Properties preserved under homomorphism
• Reduced direct products
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

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

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)