Buchumschlag

A Comparison of Gauge Dimension and Effective Dimension

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Miao, Yiping
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic Number Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Dimension of Generic Reals
von: Miao, Yiping
Veröffentlicht: (2026)

Progress in Formalizing Sphere Packing in Dimension 8
von: Hariharan, Sidharth, et al.
Veröffentlicht: (2026)

A note on unlikely intersections in Shimura varieties
von: Aslanyan, Vahagn, et al.
Veröffentlicht: (2022)

Non-Archimedean Analogue of Chase's Lemma
von: Mihara, Tomoki
Veröffentlicht: (2026)

Hilbert's tenth problem for finitely generated rings
von: Koymans, Peter, et al.
Veröffentlicht: (2026)

Hensel minimality, $p$-adic exponentiation and Tate uniformization
von: Eterović, Sebastian, et al.
Veröffentlicht: (2026)

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals
von: Mihara, Tomoki
Veröffentlicht: (2026)

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

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

Decidability via the tilting correspondence
von: Kartas, Konstantinos
Veröffentlicht: (2020)

Borel Complexity of the set of vectors normal for a fixed recurrence sequence
von: Kaneko, Hajime, et al.
Veröffentlicht: (2025)

Borel complexity of the set of typical numbers
von: Tomaszewski, Jakub
Veröffentlicht: (2022)

Counting rational points on transcendental curves in valued fields
von: Vermeulen, Floris
Veröffentlicht: (2025)

Hilbert's tenth problem via additive combinatorics
von: Koymans, Peter, et al.
Veröffentlicht: (2024)

Positive characteristic Ax-Schanuel
von: Kowalski, Piotr
Veröffentlicht: (2023)

Decidability of extensions of Presburger arithmetic by generalised polynomials
von: Konieczny, Jakub
Veröffentlicht: (2024)

Measuring Decidability as Related to Busy Beaver Numbers
von: Tandi, Gurpreet, et al.
Veröffentlicht: (2026)

In Memory of Martin Davis
von: Calvert, Wesley, et al.
Veröffentlicht: (2024)

A Pila--Wilkie theorem for Hensel minimal curves
von: Cantoral-Farfán, Victoria, et al.
Veröffentlicht: (2021)

A Formal Proof of Complexity Bounds on Diophantine Equations
von: Bayer, Jonas, et al.
Veröffentlicht: (2025)

Structural Hierarchy of Reid Class of non-Archimedean Banach Spaces
von: Mihara, Tomoki
Veröffentlicht: (2026)

Counting Theorems for Algebraic Relations
von: Binyamini, Gal, et al.
Veröffentlicht: (2026)

Approximating parametric suprema for constructible and power-constructible functions
von: Buggenhout, Tijs, et al.
Veröffentlicht: (2026)

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
von: Bayer, Jonas, et al.
Veröffentlicht: (2025)

Rational points of rigid-analytic sets: a Pila-Wilkie type theorem
von: Binyamini, Gal, et al.
Veröffentlicht: (2022)

The Skolem Problem in rings of positive characteristic
von: Dong, Ruiwen, et al.
Veröffentlicht: (2025)

Complex solutions of polynomial equations on the unit circle
von: Aslanyan, Vahagn
Veröffentlicht: (2024)

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
von: Kenison, George
Veröffentlicht: (2022)

The Existential Closedness and Zilber-Pink Conjectures
von: Aslanyan, Vahagn
Veröffentlicht: (2024)

Formalising the Bruhat-Tits Tree
von: Ludwig, Judith, et al.
Veröffentlicht: (2025)

Hodge theory and o-minimality at CIRM
von: Baldi, Gregorio
Veröffentlicht: (2025)

On geometrically $C_1$ fields
von: Kartas, Konstantinos
Veröffentlicht: (2024)

Formalising the local compactness of the adele ring
von: Mercuri, Salvatore
Veröffentlicht: (2024)

The tilting equivalence as a bi-interpretation
von: Rideau-Kikuchi, Silvain, et al.
Veröffentlicht: (2025)

The Statement of Mochizuki's Corollary 3.12: Initial Theta Data
von: Dupuy, Taylor, et al.
Veröffentlicht: (2020)

Motivic Mellin transforms
von: Cluckers, Raf, et al.
Veröffentlicht: (2024)

Decidability of some complicated structures definable in $\mathbb{C}(t)$
von: Scanlon, Thomas
Veröffentlicht: (2025)

Perfectoid $C_i$ transfer
von: Kartas, Konstantinos
Veröffentlicht: (2025)

Linear Loop Synthesis for Quadratic Invariants
von: Hitarth, S., et al.
Veröffentlicht: (2023)

Length Functions and the Dimension of Points in Self-Similar Fractal Trees
von: Porter, Christopher P.
Veröffentlicht: (2024)