Cover Image

Hanf Locality and Invariant Elementary Definability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lindell, Steven, Towsner, Henry, Weinstein, Scott
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

The Complexity of the Set of Validities of a Theory
by: Hirschfeldt, Denis R., et al.
Published: (2025)

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

Polymorphic Ordinal Notations
by: Towsner, Henry
Published: (2025)

Proofs that Modify Proofs
by: Towsner, Henry
Published: (2024)

A classification of incompleteness statements
by: Towsner, Henry, et al.
Published: (2024)

Hanf numbers for poset games
by: Herrera, Fabián Rivero
Published: (2025)

Definable Coherent Ultrapowers and Elementary Extensions
by: Boney, Will
Published: (2016)

Intersecting sets in probability spaces and Shelah's classification
by: Chernikov, Artem, et al.
Published: (2024)

Perfect stable regularity lemma and slice-wise stable hypergraphs
by: Chernikov, Artem, et al.
Published: (2024)

Higher-arity PAC learning, VC dimension and packing lemma
by: Chernikov, Artem, et al.
Published: (2025)

Averages of hypergraphs and higher arity stability
by: Chernikov, Artem, et al.
Published: (2025)

Simple Homogeneous Structures and Indiscernible Sequence Invariants
by: Baldwin, John, et al.
Published: (2024)

$G$-systems and 4E Cognitive Science
by: Weinstein, Vadim K.
Published: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
by: Lucas, Salvador
Published: (2025)

Local-Order-Invariant Logic on Classes of Bounded Degree
by: Aoki, Derek
Published: (2025)

Strong Rigidity and Elementary Embeddings
by: Mohammd, Marwan Salam
Published: (2025)

Naturality and Definability III
by: Asgharzadeh, Mohsen, et al.
Published: (2023)

Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)

Definability in affine continuous logic
by: Bagheri, Seyed-Mohammad
Published: (2024)

Cofinality quantifiers in Abstract Elementary Classes and beyond
by: Boney, Will
Published: (2022)

Elementary extensions of almost o-minimal structures
by: Berraho, Mourad, et al.
Published: (2026)

Dynamic Probability Logics: Axiomatization & Definability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Limit Models in Strictly Stable Abstract Elementary Classes
by: Boney, Will, et al.
Published: (2015)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

On $Σ_1$-Definable Closed Unbounded Sets
by: Ben-Neria, Omer, et al.
Published: (2023)

Definability and Scott rank in separable Metric structures
by: Bejarano, Diego
Published: (2024)

Keisler's Theorem and Cardinal Invariants
by: Goto, Tatsuya
Published: (2021)

$Σ_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class
by: Boney, Will
Published: (2024)

Definability and Interpolation in Philosophy
by: van Benthem, Johan
Published: (2026)

Definability of the Integrability Locus in Polynomially Bounded o-Minimal Structures
by: Brown, L. C.
Published: (2025)

Definable coordinate geometries over fields, part 1: theory
by: Madarász, Judit, et al.
Published: (2025)

Definable coordinate geometries over fields, part 2: applications
by: Madarász, Judit, et al.
Published: (2025)

Asymptotic Theories of Classes Defined by Forbidden Homomorphisms
by: Bodirsky, Manuel, et al.
Published: (2022)

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

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Definability of some $k$-ary Relations Over Second Order kinds of Logics
by: Costa, Simone, et al.
Published: (2025)

Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration
by: Takahashi, Tenyo
Published: (2025)

T-Convexity, Tame Extensions and Definability of Hausdorff Limits in O-minimal Structures with Generic Derivations
by: Wang, Xiaoduo
Published: (2025)

Choiceless Computation and Symmetry: Limitations of Definability
by: Pago, Benedikt
Published: (2024)

There is no Definable Grauert Direct Image Theorem
by: Esnault, Hélène, et al.
Published: (2026)