Notion of Interpretation and Nonelementary Languages

DOI10.1002/malq.19880340606zbMath0669.03025OpenAlexW1995950453MaRDI QIDQ3822155

Michał Krynicki

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

zbMATH Keywords

interpretationinfinitary languagesrelative consistencylanguages with additional quantifiersnon-classical languagessecond-order languages

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) General logic (03B99) Relative consistency and interpretations (03F25)

Related Items (2)

On vectorizations of unary generalized quantifiers ⋮ Definability properties and the congruence closure

This page was built for publication: Notion of Interpretation and Nonelementary Languages