scientific article; zbMATH DE number 32143

MaRDI QIDQ3988149zbMATH OpenFDO

Authors Žarko Mijajlović

Publication date 28 June 1992

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

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

countable linearly ordered modelsdefinable ultrapowerselementary end extensionsomitting types theoremtwo cardinals theorem

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20)

Recommendations

• scientific article; zbMATH DE number 3948252
• scientific article; zbMATH DE number 4077173
• A definable nonstandard model of the reals
• Model constructions in stationary logic. II: Definable ultrapowers
• scientific article; zbMATH DE number 1004227

Cited in

(6)

• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• On uniform definability of types over finite sets
• Addendum to “A definable nonstandard enlargement”
• scientific article; zbMATH DE number 3948252 (Why is no real title available?)
• Forcing and the Omitting Types Theorem For Lt

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 Q3988149)