:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Bailetti, Michele
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2409.19236
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bridging Computational Notions of Depth
by: Bienvenu, Laurent, et al.
Published: (2024)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
by: Ayhan, Sara
Published: (2025)

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

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)

On Cohen and Prikry Forcing Notions
by: Benhamou, Tom, et al.
Published: (2022)

On maximal order type of the lexicographic product
by: Džamonja, Mirna, et al.
Published: (2024)

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

Relators and Notions of Simulation Revisited
by: Goncharov, Sergey, 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)

Non-trivial higher homotopy of first-order theories
by: Campion, Tim, et al.
Published: (2023)

Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
by: Koberda, Thomas, et al.
Published: (2023)

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)

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

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

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

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

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

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

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

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

The theory of maximal Hardy fields
by: Aschenbrenner, Matthias, et al.
Published: (2024)

Relativized Galois groups of first order theories over a hyperimaginary
by: Lee, Hyoyoon, et al.
Published: (2024)

Arbitrary models of the complete first-order theories of FDZ-rings
by: Sohrabi, Mahmood
Published: (2026)

Notions of rank and independence in countably categorical theories
by: Koponen, Vera
Published: (2025)

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)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
by: Bunch, Carter, et al.
Published: (2024)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
by: Santo, José Espírito, et al.
Published: (2022)

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

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

Failure Modes for Structural Highness Notions
by: Calvert, Wesley, et al.
Published: (2025)

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

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

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

The Borel complexity of the class of models of first-order theories
by: Andrews, Uri, et al.
Published: (2024)

Sequential discontinuity and first-order problems
by: Pauly, Arno, et al.
Published: (2024)