:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Kartas, Konstantinos
Format:	Preprint
Published:	2020
Subjects:	Logic Number Theory
Online Access:	https://arxiv.org/abs/2001.04424
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On geometrically $C_1$ fields
by: Kartas, Konstantinos
Published: (2024)

Perfectoid $C_i$ transfer
by: Kartas, Konstantinos
Published: (2025)

Transfer principles and the Kato-Kuzumaki conjecture
by: Gambardella, Felipe, et al.
Published: (2026)

Decidability of extensions of Presburger arithmetic by generalised polynomials
by: Konieczny, Jakub
Published: (2024)

Measuring Decidability as Related to Busy Beaver Numbers
by: Tandi, Gurpreet, et al.
Published: (2026)

The tilting equivalence as a bi-interpretation
by: Rideau-Kikuchi, Silvain, et al.
Published: (2025)

Decidability of some complicated structures definable in $\mathbb{C}(t)$
by: Scanlon, Thomas
Published: (2025)

Beatty Sequences for a Quadratic Irrational: Decidability and Applications
by: Schaeffer, Luke, et al.
Published: (2024)

Beyond the Fontaine-Wintenberger theorem
by: Jahnke, Franziska, et al.
Published: (2023)

Hilbert's tenth problem via additive combinatorics
by: Koymans, Peter, et al.
Published: (2024)

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

A Comparison of Gauge Dimension and Effective Dimension
by: Miao, Yiping
Published: (2026)

Ultra-Galois theory and an analogue of the Kronecker--Weber theorem for rational function fields over ultra-finite fields
by: Nguyen, Dong Quan Ngoc
Published: (2024)

Borel Complexity of the set of vectors normal for a fixed recurrence sequence
by: Kaneko, Hajime, et al.
Published: (2025)

Non-Archimedean Analogue of Chase's Lemma
by: Mihara, Tomoki
Published: (2026)

Hilbert's tenth problem for finitely generated rings
by: Koymans, Peter, et al.
Published: (2026)

Borel complexity of the set of typical numbers
by: Tomaszewski, Jakub
Published: (2022)

Hensel minimality, $p$-adic exponentiation and Tate uniformization
by: Eterović, Sebastian, et al.
Published: (2026)

Counting rational points on transcendental curves in valued fields
by: Vermeulen, Floris
Published: (2025)

A note on unlikely intersections in Shimura varieties
by: Aslanyan, Vahagn, et al.
Published: (2022)

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals
by: Mihara, Tomoki
Published: (2026)

Positive characteristic Ax-Schanuel
by: Kowalski, Piotr
Published: (2023)

Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes
by: Mihara, Tomoki
Published: (2026)

In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)

The Statement of Mochizuki's Corollary 3.12: Initial Theta Data
by: Dupuy, Taylor, et al.
Published: (2020)

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
by: Bayer, Jonas, et al.
Published: (2025)

Rational points of rigid-analytic sets: a Pila-Wilkie type theorem
by: Binyamini, Gal, et al.
Published: (2022)

The Skolem Problem in rings of positive characteristic
by: Dong, Ruiwen, et al.
Published: (2025)

Complex solutions of polynomial equations on the unit circle
by: Aslanyan, Vahagn
Published: (2024)

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
by: Kenison, George
Published: (2022)

A Pila--Wilkie theorem for Hensel minimal curves
by: Cantoral-Farfán, Victoria, et al.
Published: (2021)

The Existential Closedness and Zilber-Pink Conjectures
by: Aslanyan, Vahagn
Published: (2024)

Formalising the Bruhat-Tits Tree
by: Ludwig, Judith, et al.
Published: (2025)

A Formal Proof of Complexity Bounds on Diophantine Equations
by: Bayer, Jonas, et al.
Published: (2025)

Structural Hierarchy of Reid Class of non-Archimedean Banach Spaces
by: Mihara, Tomoki
Published: (2026)

Hodge theory and o-minimality at CIRM
by: Baldi, Gregorio
Published: (2025)

Formalising the local compactness of the adele ring
by: Mercuri, Salvatore
Published: (2024)

Counting Theorems for Algebraic Relations
by: Binyamini, Gal, et al.
Published: (2026)

Motivic Mellin transforms
by: Cluckers, Raf, et al.
Published: (2024)

Linear Loop Synthesis for Quadratic Invariants
by: Hitarth, S., et al.
Published: (2023)