Imagen de Portada

A note on uniform definability of types over finite sets in partial orders of finite width

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Krisam, Timo, Segel, Ori
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Retractors in local positive logic
por: Fanlo, Arturo Rodriguez, et al.
Publicado: (2024)

Completeness in local positive logic
por: Fanlo, Arturo Rodriguez, et al.
Publicado: (2024)

A note on the cardinality of definable families of sets in o‐minimal structures
por: Pablo Andújar Guerrero
Publicado: (2024)

Function spaces for orbit-finite sets
por: Bojańczyk, Mikołaj, et al.
Publicado: (2024)

On definable J-sets
por: Zhang, Zhentao
Publicado: (2025)

When do modal definability and preservation theorems transfer to the finite?
por: van Benthem, Johan, et al.
Publicado: (2026)

First order complexity of finite random structures
por: Demin, Danila, et al.
Publicado: (2024)

Ordinal measures of the set of finite multisets
por: Vialard, Isa
Publicado: (2023)

The entropy profiles of a definable set over finite fields
por: Boege, Tobias
Publicado: (2025)

Substitutions of variables are finitely axiomatizable over quantifications and permutations
por: Andréka, Hajnal, et al.
Publicado: (2025)

Discrete sets definable in strong expansions of ordered Abelian groups
por: Dolich, Alfred, et al.
Publicado: (2022)

A note on the definability of genus for Zariski geometries
por: García, Darío, et al.
Publicado: (2021)

MSO logic of the real order with the set quantifiers ranging over the Borel sets
por: Džamonja, Mirna
Publicado: (2025)

One-dimensional F-definable sets in F((t))
por: Anscombe, Sylvy
Publicado: (2015)

Etale algebras over finite Heyting algebras
por: Evgeny, Kuznetsov
Publicado: (2024)

Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality
por: Nagy, Tomáš, et al.
Publicado: (2024)

Isomorphism types of definable (maximal) cofinitary groups
por: Schembecker, Lukas
Publicado: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
por: Livson, Ori, et al.
Publicado: (2025)

Hilbert's tenth problem for lacunary entire functions of finite order
por: Natalia Garcia‐Fritz, et al.
Publicado: (2024)

Torsion-free abelian groups of finite rank and fields of finite transcendence degree
por: Ho, Meng-Che "Turbo", et al.
Publicado: (2024)

A Fraïssé theory for partial orders of a fixed finite dimension
por: Smythe, Iian B., et al.
Publicado: (2024)

Duality for finitely valued algebras
por: Abbadini, Marco, et al.
Publicado: (2025)

Permutations, substitutions and finite axiomatizability
por: Andréka, Hajnal, et al.
Publicado: (2025)

On large externally definable sets in NIP
por: Bays, Martin, et al.
Publicado: (2022)

A note on dual Dedekind finiteness
por: Mao, Ruihuan, et al.
Publicado: (2024)

Canonicity in power and modal logics of finite achronal width
por: Goldblatt, Robert, et al.
Publicado: (2022)

On the structure of balanced residuated partially ordered monoids
por: Bonzio, Stefano, et al.
Publicado: (2024)

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

Lie rings in finite-dimensional theories
por: Invitti, Moreno
Publicado: (2025)

Trace definability III: Infinite dimensional space over a model of $T$
por: Walsberg, Erik
Publicado: (2026)

Primitive pseudo-finite permutation groups of finite SU-rank
por: Karhumäki, Ulla, et al.
Publicado: (2025)

A note on the Ketonen order and Lipschitz reducibility between ultrafilters
por: Kaplan, Eyal
Publicado: (2025)

$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
por: Hoffelner, Stefan
Publicado: (2025)

On Petr Novikov's problem of ordered systems of uniform sets
por: Kanovei, Vladimir, et al.
Publicado: (2026)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
por: Hamkins, Joel David
Publicado: (2022)

The reals as a subset of an ultraproduct of finite fields
por: Sinai, Roee
Publicado: (2026)

Degrees of the finite model property: the antidichotomy theorem
por: Bezhanishvili, Guram, et al.
Publicado: (2023)

Almost cohomology of finite-dimensional Lie rings
por: Invitti, Moreno
Publicado: (2026)

Axiomatizing logics of finite Gödel-Kripke models
por: Vidal, Amanda, et al.
Publicado: (2026)

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