MAXIMALITY OF LOGIC WITHOUT IDENTITY

DOI10.1017/JSL.2023.2MaRDI QIDQ6123583zbMATH OpenOpenAlexFDO

Authors Guillermo Badia, Xavier Caicedo, Carles Noguera

Publication date 5 April 2024

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

Copyright license Creative Commons Attribution 4.0 International

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)

Abstract: Lindstr"om theorem obviously fails as a characterization of $mathcal{L}_{omegaomega}^{-}$, first-order logic without identity. In this note we provide a fix: we show that $mathcal{L}_{omegaomega}^{-}$ is emph{maximal} among abstract logics satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in cite{Casa}), the L"owenheim--Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs we use a form of strong upwards L"owenheim--Skolem theorem not available in the framework with identity.

Cites work

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

Cited in

(3)

• Lindström's characterizability of abstract logic systems for analytic structures based on measures
• A parametrized axiomatization for a large number of restricted second-order logics
• First-order friendliness

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6123583)