Cover Image

Definiteness properties of first-order schemes

Fuente: arXiv

Saved in:

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

Similar Items

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

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

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
by: Enayat, Ali, et al.
Published: (2026)

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

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

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

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

On first-order transductions of classes of graphs
by: Braunfeld, Samuel, et al.
Published: (2022)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

Sequent calculi for first-order ST
by: Paoli, Francesco, et al.
Published: (2026)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

On variable non-dependence of first-order formulas
by: Lefever, Koen, et al.
Published: (2025)

One-variable fragments of first-order logics
by: Cintula, Petr, et al.
Published: (2023)

Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)

Normalisation for Negative Free Logics without and with Definite Descriptions
by: Kürbis, Nils
Published: (2024)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
by: Gaßner, Christine
Published: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

A very sharp threshold for first order logic distinguishability of random graphs
by: Benjamini, Itai, et al.
Published: (2022)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

New foundations of reasoning via real-valued first-order logics
by: Badia, Guillermo, et al.
Published: (2022)

A Walk on the Wild Side: Notions of maximality in first-order theories
by: Bailetti, Michele
Published: (2024)

Inquisitive first-order logic is neither compact nor recursively axiomatizable
by: Ciardelli, Ivano, et al.
Published: (2026)

On the first order theory of plactic monoids
by: Turaev, Daniel
Published: (2023)

On classification of continuous first order theories
by: Khanaki, Karim
Published: (2022)

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

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
by: Ikari, Hiroyuki, et al.
Published: (2026)

On the first-order theory of the remainder
by: Prunescu, Mihai
Published: (2025)

Elementary first-order model checking for sparse graphs
by: Gajarský, Jakub, et al.
Published: (2024)

On first-order definable operations on relational structures
by: Courcelle, Bruno
Published: (2026)

Higher arity stability and the functional order property
by: Abd-Aldaim, A., et al.
Published: (2023)

Optimal Syntactic Definitions of Back-and-Forth Types
by: Chen, Ruiyuan, et al.
Published: (2025)

Local and global $d$-rigidity are not definable in the first order logic of graphs
by: Bernstein, Daniel Irving, et al.
Published: (2025)

Stable first order theories as simplicial profinite sets
by: Gavrilovich, Misha
Published: (2025)

Synthesis for prefix first-order logic on data words
by: Grange, Julien, et al.
Published: (2024)

On first-order model checking parameterized by the number of variables
by: Jedelský, Jan
Published: (2026)

On Ramsey-type properties of the distance in nonseparable spheres
by: Koszmider, Piotr
Published: (2023)

Decidability of Quasi-Dense Modal Logics
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

Almost disjoint families and some automorphic and injective properties of $\ell_\infty/c_0$
by: Koszmider, Piotr, et al.
Published: (2025)