LOGICALITY AND MODEL CLASSES

DOI10.1017/bsl.2021.42OpenAlexW3128970283MaRDI QIDQ5037517

Juliette Kennedy, Jouko Väänänen

Publication date: 1 March 2022

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2106.13506

zbMATH Keywords

generalized quantifierinfinitary logiclogicalitymodel class

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Basic properties of first-order languages and structures (03C07)

Related Items

MAXIMALITY OF LOGIC WITHOUT IDENTITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Set-theoretical invariance criteria for logicality
• Large infinitary languages. Model theory
• Compositionality solves Carnap's problem
• On the role of supercompact and extendible cardinals in logic
• Epistemic Friction
• ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC
• Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
• On a generalization of quantifiers
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Newman's Objection
• Δ-extension and Hanf-numbers
• What are logical notions?
• Boolean valued models and generalized quantifiers
• ZUM VERGLEICH VON HÄRTIGQUANTOR UND RESCHERQUANTOR
• The Härtig quantifier: a survey
• Axioms for abstract model theory
• δ-Logics and generalized quantifiers
• Strong axioms of infinity and elementary embeddings
• LOGICALITY AND MEANING
• Turing machines and the spectra of first-order formulas
• Set Theory
• The Ways of Logicality: Invariance and Categoricity
• Gödel, Tarski and the Lure of Natural Language
• Logicality and Invariance
• An interpolation theorem for denumerably long formulas
• On defining well-orderings
• On Extensions of Elementary Logic
• Some applications of model theory in set theory
• Infinitary analogs of theorems from first order model theory
• A Remark On The Härtig Quantifier
• Absolute logics and L∞ω
• An undecidable arithmetical statement
• Logic, logics, and logicism
• Logical operations