Image de couverture de livre

Undecidability of the elementary theory of Young--Fibonacci lattice

Fuente: arXiv

Enregistré dans:

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

Documents similaires

Central measures of the jump graph for Young--Fibonacci graph
par: Evtushevsky, Vsevolod
Publié: (2023)

Central measures on the r-differential version of the Young--Fibonacci graph
par: Evtushevsky, Vsevolod
Publié: (2024)

Undecidability in the Ramsey theory of polynomial equations and Hilbert's tenth problem
par: Farhangi, Sohail, et autres
Publié: (2024)

Undecidability of Polynomial Inequalities in Subset Densities and Additive Energies
par: Li, Yaqiao
Publié: (2025)

The model theory of metric lattices: pseudofinite partition lattices
par: Mantilla, José Contreras, et autres
Publié: (2025)

Finite combinatorics and computability theory
par: Dzhafarov, Damir D., et autres
Publié: (2026)

Ramsey theory of low-degree semialgebraic relations
par: Adibelli, Azem, et autres
Publié: (2026)

More Ramsey theory for highly connected monochromatic subgraphs
par: Hrušák, Michael, et autres
Publié: (2023)

Undecidable translational tilings with only two tiles, or one nonabelian tile
par: Greenfeld, Rachel, et autres
Publié: (2021)

Undecidability of theories of semirings with fixed points
par: Das, Anupam, et autres
Publié: (2025)

Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
par: Bodor, Bertalan, et autres
Publié: (2025)

Indivisibility and uniform computational strength
par: Gill, Kenneth
Publié: (2023)

Decomposing graphs into stable and ordered parts
par: Buffière, Hector, et autres
Publié: (2025)

Monadic Second-Order Logic of Permutations
par: Jelínek, Vít, et autres
Publié: (2025)

Decidability for Sturmian words
par: Hieronymi, Philipp, et autres
Publié: (2021)

An order-theoretic circuit syntax and characterisation of the concept lattice
par: van der Lugt, Tein
Publié: (2025)

A footnote to the KPT theorem in structural Ramsey theory
par: Cameron, Peter J., et autres
Publié: (2025)

Classification properties for some ternary structures
par: Miguel-Gómez, Alberto
Publié: (2024)

Skelet #17 and the fifth Busy Beaver number
par: Xu, Chris
Publié: (2024)

Simple Models of Randomization and Preservation Theorems
par: Khanaki, Karim, et autres
Publié: (2024)

Growth of regular partitions 4: strong regularity and the pairs partition
par: Terry, C.
Publié: (2024)

Foundations of iterated star maps and their use in combinatorics
par: Di Nasso, Mauro, et autres
Publié: (2024)

Courcelle's Theorem: A Self-Contained Proof and a Path-Width Variant
par: Rettich, Adrian
Publié: (2024)

Reductions of well-ordering principles to combinatorial theorems
par: Carlucci, Lorenzo, et autres
Publié: (2024)

A survey on big Ramsey structures
par: Hubička, Jan, et autres
Publié: (2024)

Growth of regular partitions 3: strong regularity and the vertex partition
par: Terry, C.
Publié: (2024)

Measurable Brooks's Theorem for Directed Graphs
par: Higgins, Cecelia
Publié: (2024)

Mad families of Gowers' infinite block sequences
par: Yung, Clement
Publié: (2024)

Borel Order Dimension
par: Raghavan, Dilip, et autres
Publié: (2024)

Infinite Cliques in Simple and Stable Graphs
par: Halevi, Yatir, et autres
Publié: (2024)

Growth of regular partitions 2: Weak regularity
par: Terry, C.
Publié: (2024)

Pixelating Relations and Functions Without Adding Substructures
par: Fischer, Eldar
Publié: (2024)

Growth of regular partitions 1: Improved bounds for small slicewise VC-dimension
par: Terry, C.
Publié: (2024)

FIID homomorphisms and entropy inequalities
par: Csoka, Endre, et autres
Publié: (2024)

On a conjecture of Terry and Wolf
par: Gladkova, V.
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)

The structure of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC}_2$-dimension
par: Terry, C., et autres
Publié: (2025)

On the linear complexity of subsets of $\mathbb{F}_p^n$ bounded $\textrm{VC}_2$-dimension
par: Sheats, Hannah, et autres
Publié: (2025)

Stationary list colorings
par: Hayashi, Yusuke
Publié: (2025)

A Concise Proof of the $L_0$ Dichotomy
par: Matos-Wiederhold, Tonatiuh
Publié: (2026)