Copertina

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Martinez-Ranero, Carlos, Salcedo, Dubraska, Utreras, Javier
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 11U05, 11G05, 03C40, 03D35
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$
di: Martinez-Ranero, Carlos, et al.
Pubblicazione: (2024)

Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns
di: Matiyasevich, Yuri, et al.
Pubblicazione: (2025)

Mixed quantifier prefixes over Diophantine equations with integer variables
di: Sun, Zhi-Wei
Pubblicazione: (2021)

The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$
di: Hormazábal, Natalia, et al.
Pubblicazione: (2025)

Considering The Satisfiability of Cubic Diophantine Equations
di: Rosko, Milan
Pubblicazione: (2025)

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
di: Khani, Mohsen, et al.
Pubblicazione: (2021)

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
di: Khani, Mohsen, et al.
Pubblicazione: (2025)

On the Diophantine problem related to power circuits
di: Rybalov, Alexander
Pubblicazione: (2025)

Undecidability of expansions of Laurent series fields by cyclic discrete subgroups
di: Gitin, Leo
Pubblicazione: (2024)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
di: Fukumoto, Yusei
Pubblicazione: (2025)

A weak version of the Strong Exponential Closure
di: D'Aquino, Paola, et al.
Pubblicazione: (2019)

An almost Kurepa Suslin tree with strongly non-saturated square
di: Krueger, John, et al.
Pubblicazione: (2024)

Distal Expansions of the Integers and the $p$-adic Fields
di: Okura, Koki
Pubblicazione: (2026)

New consequences of PFA($T^*$)
di: Martínez-Ranero, Carlos, et al.
Pubblicazione: (2025)

Nondefinability results for elliptic and modular functions
di: McCulloch, Raymond
Pubblicazione: (2023)

String Dimension: VC Dimension for Infinite Shattering
di: Ryan-Smith, Calliope
Pubblicazione: (2024)

Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
di: Brown, Hera, et al.
Pubblicazione: (2025)

Some combinatorial properties of semiselective ideals
di: Cano, Julián C., et al.
Pubblicazione: (2023)

The lattice of ideals of certain rings
di: Savin, Diana
Pubblicazione: (2023)

Forcing Over a Free Suslin Tree
di: Krueger, John, et al.
Pubblicazione: (2024)

Suslin tree preservation and club isomorphisms
di: Krueger, John
Pubblicazione: (2022)

A Strongly Non-Saturated Aronszajn Tree Without Weak Kurepa Trees
di: Krueger, John, et al.
Pubblicazione: (2025)

Computability in infinite Galois theory and algorithmically random algebraic fields
di: Calvert, Wesley, et al.
Pubblicazione: (2023)

Exponential sums and motivic oscillation index of arbitrary ideals and their applications
di: Nguyen, Kien Huu
Pubblicazione: (2023)

The cardinal characteristics of the ideal generated by the $F_σ$ measure zero subsets of the reals
di: Cardona, Miguel A.
Pubblicazione: (2024)

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
di: Yao, Ningyuan, et al.
Pubblicazione: (2026)

Elementary properties of free lattices III: Undecidability of the full theory
di: Nation, J. B., et al.
Pubblicazione: (2025)

On the Realizability of Prime Conjectures in Heyting Arithmetic
di: Rosko, Milan
Pubblicazione: (2025)

Monochromatic sums and quotients in $\mathbb N$
di: Di Nasso, Mauro, et al.
Pubblicazione: (2026)

Borel Conjecture for the Marczewski ideal
di: Brendle, Joerg, et al.
Pubblicazione: (2024)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
di: Lyon, Tim S.
Pubblicazione: (2025)

Sets of Ramsey-limit points and IP-limit points
di: Filipów, Rafał, et al.
Pubblicazione: (2026)

The tree pigeonhole principle in the Weihrauch degrees
di: Dzhafarov, Damir, et al.
Pubblicazione: (2023)

Ramsey's witnesses
di: Di Nasso, Mauro, et al.
Pubblicazione: (2025)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
di: Aceves-Martínez, Bruno Fernando, et al.
Pubblicazione: (2024)

Diophantine Maps
di: Eggink, A.
Pubblicazione: (2024)

Uniformity numbers of the null-additive and meager-additive ideals
di: Cardona, Miguel A., et al.
Pubblicazione: (2024)

Whitehead's problem and condensed mathematics
di: Bergfalk, Jeffrey, et al.
Pubblicazione: (2023)

Aronszajn trees and maximality
di: Ben-Neria, Omer, et al.
Pubblicazione: (2023)

Cardinal invariants associated with the combinatorics of the uniformity number of the ideal of meager-additive sets
di: Cardona, Miguel A.
Pubblicazione: (2025)