scientific article
From MaRDI portal
Publication:4052109
zbMath0298.02051MaRDI QIDQ4052109
No author found.
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Large cardinals (03E55) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx) Model theory (03Cxx)
Related Items
On observational equivalence and algebraic specification ⋮ On nonstandard models in higher order logic ⋮ A model and its subset: The uncountable case ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ Omitting types in logic of metric structures ⋮ Applications of Fodor's lemma to Vaught's conjecture ⋮ Two applications of topology to model theory ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ STRUCTURAL HIGHNESS NOTIONS ⋮ Invariance and definability, with and without equality ⋮ COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS ⋮ On the effective content of asymptotic verifications of Edgeworth's Conjecture ⋮ An omitting types theorem for positive bounded formulas in normed spaces ⋮ Infinitary model theory of Abelian groups ⋮ Elimination of quantifiers for modules ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ Back-and-forth systems for fuzzy first-order models ⋮ Model theoretic forcing in analysis ⋮ Model theory of 𝐶*-algebras ⋮ Nonstandard set theory ⋮ Classifying topoi and finite forcing ⋮ Sequences of n-diagrams
This page was built for publication:
