No label defined (Q3347865)

!

WARNING

This is the item page for this Wikibase entity, intended for internal use and editing purposes.

Please use the normal view instead:

scientific article; zbMATH DE number 3891338

Language	Label	Description	Also known as
default for all languages	No label defined
English	No label defined	scientific article; zbMATH DE number 3891338

Statements

0 references

0 references

1982

0 references

zbMATH Keywords

model theoretic forcing

0 references

MaRDI profile type

MaRDI publication profile

0 references

0.8953638672828674

0 references

Karp's interpolation theorem for some classes of infinitary languages

Similarity Score

0.768364667892456

Recommender Run

Recommender Run 4

0 references

Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)

Similarity Score

0.7682157754898071

Recommender Run

Recommender Run 4

0 references

Completeness by forcing

Similarity Score

0.7682157754898071

Recommender Run

Recommender Run 4

0 references

\(\lambda\)-satisfiability, \(\lambda\)-consistency property, the downward Löwenheim-Skolem theorem, and the failure of the interpolation theorem for \(L_{\kappa,\kappa}\) with \(\kappa\) a strong limit cardinal of cofinality \(\lambda\)

Similarity Score

0.7575317025184631

Recommender Run

Recommender Run 4

0 references

Identifiers

zbMATH Open document ID

0559.03021

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3347865