Image de couverture de livre

A Walk on the Wild Side: Notions of maximality in first-order theories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Bailetti, Michele
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Bridging Computational Notions of Depth
par: Bienvenu, Laurent, et autres
Publié: (2024)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
par: Ayhan, Sara
Publié: (2025)

On the first order theory of plactic monoids
par: Turaev, Daniel
Publié: (2023)

On classification of continuous first order theories
par: Khanaki, Karim
Publié: (2022)

On the first-order theory of the remainder
par: Prunescu, Mihai
Publié: (2025)

On maximal order type of the lexicographic product
par: Džamonja, Mirna, et autres
Publié: (2024)

On Cohen and Prikry Forcing Notions
par: Benhamou, Tom, et autres
Publié: (2022)

Stable first order theories as simplicial profinite sets
par: Gavrilovich, Misha
Publié: (2025)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Relators and Notions of Simulation Revisited
par: Goncharov, Sergey, et autres
Publié: (2025)

On first-order transductions of classes of graphs
par: Braunfeld, Samuel, et autres
Publié: (2022)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

Sequent calculi for first-order ST
par: Paoli, Francesco, et autres
Publié: (2026)

Definiteness properties of first-order schemes
par: Gruza, Piotr, et autres
Publié: (2025)

Non-trivial higher homotopy of first-order theories
par: Campion, Tim, et autres
Publié: (2023)

Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
par: Koberda, Thomas, et autres
Publié: (2023)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
par: Oda, Yukihiro, et autres
Publié: (2021)

One-variable fragments of first-order logics
par: Cintula, Petr, et autres
Publié: (2023)

On variable non-dependence of first-order formulas
par: Lefever, Koen, et autres
Publié: (2025)

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

Making first order linear logic a generating grammar
par: Slavnov, Sergey
Publié: (2022)

A very sharp threshold for first order logic distinguishability of random graphs
par: Benjamini, Itai, et autres
Publié: (2022)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

Relativized Galois groups of first order theories over a hyperimaginary
par: Lee, Hyoyoon, et autres
Publié: (2024)

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

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

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

Arbitrary models of the complete first-order theories of FDZ-rings
par: Sohrabi, Mahmood
Publié: (2026)

The theory of maximal Hardy fields
par: Aschenbrenner, Matthias, et autres
Publié: (2024)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
par: Bunch, Carter, et autres
Publié: (2024)

New foundations of reasoning via real-valued first-order logics
par: Badia, Guillermo, et autres
Publié: (2022)

Inquisitive first-order logic is neither compact nor recursively axiomatizable
par: Ciardelli, Ivano, et autres
Publié: (2026)

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

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
par: Ikari, Hiroyuki, et autres
Publié: (2026)

Elementary first-order model checking for sparse graphs
par: Gajarský, Jakub, et autres
Publié: (2024)

On first-order definable operations on relational structures
par: Courcelle, Bruno
Publié: (2026)

Notions of rank and independence in countably categorical theories
par: Koponen, Vera
Publié: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
par: Herbelin, Hugo
Publié: (2024)

A note on the theory of well orders
par: Jeřábek, Emil
Publié: (2024)

Local and global $d$-rigidity are not definable in the first order logic of graphs
par: Bernstein, Daniel Irving, et autres
Publié: (2025)