Notion of Interpretation and Nonelementary Languages
From MaRDI portal
Publication:3822155
DOI10.1002/malq.19880340606zbMath0669.03025MaRDI QIDQ3822155
Publication date: 1988
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19880340606
interpretation; infinitary languages; relative consistency; languages with additional quantifiers; non-classical languages; second-order languages
03C80: Logic with extra quantifiers and operators
03C85: Second- and higher-order model theory
03B99: General logic
03F25: Relative consistency and interpretations
Related Items
On vectorizations of unary generalized quantifiers, Definability properties and the congruence closure