scientific article

zbMATH Open0623.03036MaRDI QIDQ3760527FDOQ3760527

Hans-Peter Tuschik

Publication date: 1985

Title of this publication is not available (Why is that?)

zbMATH Keywords

definabilitycountable modelmodel theoretic forcingcountable complete theoryVaughtian pairsbehaviour of infinite definable predicates in elementary extensions

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Model-theoretic forcing (03C25) Interpolation, preservation, definability (03C40)

Cited In (2)

• The modal logic of inner models
• Forcing in Łukasiewicz predicate logic

This page was built for publication:

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