MAXIMALITY OF LOGIC WITHOUT IDENTITY

DOI10.1017/JSL.2023.2arXiv2203.08722OpenAlexW4313897140MaRDI QIDQ6123583

Xavier Caicedo, Carles Noguera, Guillermo Badia

Publication date: 5 April 2024

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

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

zbMATH Keywords

abstract model theoryLindström theorempredicate logic without identity

Mathematics Subject Classification ID

Classical first-order logic (03B10) Abstract model theory (03C95)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Definability properties and the congruence closure
• Logical operations and invariance
• Which logic is the right logic?
• On elementary equivalence for equality-free logic
• Invariance and definability, with and without equality
• Expressivity of imperfect information logics without identity
• Hanf numbers for fragments of L\(_{\infty \omega}\)
• Solvable cases of the decision problem
• Categoricity without equality
• On the semantics of the Henkin quantifier
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Lindstrom theorems for fragments of first-order logic
• Sentences true in all constructive models
• Omitting uncountable types and extensions of Elementary logic
• The theorems of beth and Craig in abstract model theory II. Compact logics
• The Härtig quantifier: a survey
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Axioms for abstract model theory
• Equality-free logic: the method of diagrams and preservation theorems
• AN EXPOSITION OF THE COMPACTNESS OF
• Ehrenfeucht-Fraïssé games without identity
• LOGICALITY AND MODEL CLASSES
• The characterization of monadic logic
• Syntactical and semantical properties of generalized quantifiers
• On Extensions of Elementary Logic
• Logic, logics, and logicism

This page was built for publication: MAXIMALITY OF LOGIC WITHOUT IDENTITY