Forcing and the Omitting Types Theorem For Lt

DOI10.1002/MALQ.19860320603zbMATH Open0592.03017OpenAlexW1986142418MaRDI QIDQ3720570

Author name not available (Why is that?)

Publication date: 1986

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19860320603

zbMATH Keywords

topological model theoryforcing relationgeneric topological model

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model-theoretic forcing (03C25)

Related Items (1)

Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Mathias-Prikry and Laver-Prikry type forcing 👍 👎
• An omitting types theorem for saturated structures 👍 👎
• A generalization of Shelah's omitting types theorem 👍 👎
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally 👍 👎
• A Note on Forcing and Type Theory 👍 👎
• A note on Steinhorn's omitting types theorem 👍 👎
• Omitting types in -minimal theories 👍 👎

This page was built for publication: Forcing and the Omitting Types Theorem For Lt

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