scientific article; zbMATH DE number 1163933

zbMath0905.03026MaRDI QIDQ4395557

Jouko Väänänen

Publication date: 2 February 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

surveyinfinitary logicclosed unbounded setdescriptive set theoryinfinitary languageswell-founded treegeneralized Baire spaceinfinite quantifier languageuncountable modelsinfinitely deep languagesCanary treemeasures of similarity of structurestransfinite Ehrenfeucht-Fraïssé game

Mathematics Subject Classification ID

Trees (05C05) 2-person games (91A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Continuum hypothesis and Martin's axiom (03E50) Logic with extra quantifiers and operators (03C80) Properties of classes of models (03C52) Other infinitary logic (03C75) Axiom of choice and related propositions (03E25)

Related Items (8)

-definability at uncountable regular cardinals ⋮ Almost free groups and long Ehrenfeucht-Fraïssé games ⋮ EF-equivalent not isomorphic pair of models ⋮ Large cardinals and definable well-orders, without the GCH ⋮ On the complexity of classes of uncountable structures: trees on $\aleph _1$ ⋮ Generalized Descriptive Set Theory and Classification Theory ⋮ Closed maximality principles and generalized Baire spaces ⋮ Existence of EF-equivalent non-isomorphic models

This page was built for publication: