Cover Image

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Enayat, Ali, Łełyk, Mateusz
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Corrigendum & Addendum to: Variations on a Visserian theme
by: Enayat, Ali
Published: (2026)

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

Definiteness properties of first-order schemes
by: Gruza, Piotr, et al.
Published: (2025)

Descending sequences in reflection hierarchies
by: Łełyk, Mateusz, et al.
Published: (2025)

Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)

Pathologies in satisfaction classes
by: Abdul-Quader, Athar, et al.
Published: (2023)

Models of Set Theory: Extensions and Dead-ends
by: Enayat, Ali
Published: (2024)

The Mostowski Bridge
by: Enayat, Ali
Published: (2025)

Incompleteness of boundedly axiomatizable theories
by: Enayat, Ali, et al.
Published: (2023)

Tightness and solidity in fragments of Peano Arithmetic
by: Gruza, Piotr, et al.
Published: (2025)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)

Unravelling Cyclic First-Order Arithmetic
by: Leigh, Graham E., et al.
Published: (2025)

Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
by: Curzi, Gianluca, et al.
Published: (2026)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

Categoricity without Power
by: Goh, Jun Le, et al.
Published: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Wright's First-Order Logic of Strict Finitism
by: Yamada, Takahiro
Published: (2024)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
by: Elad, Neta, et al.
Published: (2026)

Internal Categoricity and the Generic Multiverse
by: Meadows, Toby
Published: (2025)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
by: Joshi, Varad, et al.
Published: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Counting in Uncountably Categorical Pseudofinite Structures
by: Van Abel, Alexander
Published: (2021)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
by: Barloy, Corentin, et al.
Published: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Distributed First Order Logic
by: Ghidini, Chiara, et al.
Published: (2015)

Interpolation in First-Order Logic
by: Cate, Balder ten, et al.
Published: (2025)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
by: Wei, Jin
Published: (2024)

Interpolation with Automated First-Order Reasoning
by: Wernhard, Christoph
Published: (2025)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
by: Rodrigues, Abilio, et al.
Published: (2026)

SAT Solving for Variants of First-Order Subsumption
by: Coutelier, Robin, et al.
Published: (2024)

Craig Interpolation for Decidable First-Order Fragments
by: Cate, Balder ten, et al.
Published: (2023)

On the Satisfiability of Local First-Order Logics with Data
by: Bollig, Benedikt, et al.
Published: (2023)

On the First-Order Free Group Factor Alternative
by: Goldbring, Isaac, et al.
Published: (2023)

Effective AGM Belief Contraction: A Journey beyond the Finitary Realm (Technical Report)
by: Klumpp, Dominik, et al.
Published: (2024)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
by: Feller, Thomas, et al.
Published: (2023)

First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)

Categorical generalization of spectral decomposition
by: Nishizawa, Koki, et al.
Published: (2025)