scientific article; zbMATH DE number 3623532
From MaRDI portal
Publication:4186295
zbMath0402.03030MaRDI QIDQ4186295
No author found.
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Game Quantifier LanguagesInfinitely Deep LanguagesRelations Between Model-Theoretic and Set-Theoretic Definability
Inner models, including constructibility, ordinal definability, and core models (03E45) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Interpolation, preservation, definability (03C40)
Related Items (2)
Model theoretic results for infinitely deep languages ⋮ Logical operations and iterated infinitely deep languages
This page was built for publication:
