Cover Image

A Countable, Dense, Dedekind-Complete Subset of $\mathbb{R}$ Constructed by Extending $\mathbb{Q}$ via Simultaneous Marking of Closed Intervals with Rational Endpoints

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Vlahovic, Slavica Mihaljevic, Vlahovic, Branislav Dobrasin
Format:	Preprint
Published:	2021
Subjects:	Logic 11B05
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Defining $\mathbb Z$ using unit groups
by: Mazur, Barry, et al.
Published: (2023)

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$
by: Martinez-Ranero, Carlos, et al.
Published: (2024)

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

More on the indivisibility of $\mathbb{Q}$
by: Pauly, Arno
Published: (2024)

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

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

Torsion of Rational Elliptic Curves over the Cyclotomic Extensions of $\mathbb{Q}$
by: Avci, Omer
Published: (2024)

Quasi-symmetric designs on 56 points
by: Krčadinac, Vedran, et al.
Published: (2020)

Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers
by: Daans, Nicolas
Published: (2023)

On the limits of comparing subset sizes within $\mathbb{N}$
by: Wenmackers, Sylvia
Published: (2024)

Algorithms for Modular Parametrizations of Elliptic Curves over $\mathbb{Q}$
by: Wang, SanMin
Published: (2025)

Definability and decidability for rings of integers in totally imaginary fields
by: Springer, Caleb
Published: (2022)

On 7-adic Galois representations for elliptic curves over $\mathbb{Q}$
by: Furio, Lorenzo, et al.
Published: (2025)

Hilbert's tenth problem in Anticyclotomic towers of number fields
by: Ray, Anwesh, et al.
Published: (2023)

Arithmetic-term representations for the greatest common divisor
by: Prunescu, Mihai, et al.
Published: (2024)

Counting 5-isogenies of elliptic curves over $\mathbb{Q}$
by: Arango-Piñeros, Santiago, et al.
Published: (2025)

Borel Combinatorics of Schreier Graphs of $\mathbb{Z}$-actions
by: Gao, Su, et al.
Published: (2025)

On irreducibility of six-dimensional compatible systems of $\mathbb{Q}$
by: Dai, Boyi
Published: (2025)

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

Torsion of Rational Elliptic Curves over the $\mathbb{Z}_p$-Extensions of Quadratic Fields
by: Avci, Omer
Published: (2025)

Generic dichotomy for homomorphisms for $E_0^\mathbb{N}$
by: Shani, Assaf
Published: (2024)

Explicit open images for elliptic curves over $\mathbb{Q}$
by: Zywina, David
Published: (2022)

The countable condensation on linear orders
by: Brown, Jennifer, et al.
Published: (2025)

Ranks of elliptic curves in cyclic sextic extensions of $\mathbb{Q}$
by: Kisilevsky, Hershy, et al.
Published: (2023)

Explicit Constructions of Maximal 3-Zero-Sum-Free Subsets in $ (\mathbb{Z}/4\mathbb{Z})^n $
by: Vera, Alfonso Davila
Published: (2025)

$(G,F)$-points on $\mathbb{Q}$-algebraic varieties
by: Li, Yangcheng, et al.
Published: (2025)

First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability
by: Shlapentokh, Alexandra, et al.
Published: (2024)

Elliptic curves with rank one and nontrivial 2-part of Tate Shafarevich groups over the $\mathbb{Z}_2$-extension of $\mathbb{Q}$
by: Deng, Li-Tong, et al.
Published: (2026)

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

The density and distribution of CM elliptic curves over $\mathbb{Q}$
by: Barquero-Sanchez, Adrian, et al.
Published: (2024)

Counting elliptic curves with a cyclic $m$-isogeny over $\mathbb{Q}$
by: Molnar, Grant
Published: (2024)

On the Distribution of 2-Selmer ranks of Quadratic Twists of Elliptic Curves over $\mathbb{Q}$
by: Pan, Jinzhao, et al.
Published: (2025)

Torsion of $\mathbb Q$-curves over number fields of small odd prime degree
by: Novak, Ivan
Published: (2025)

Larsen's conjecture for elliptic curves over $\mathbb{Q}$ with analytic rank at most $1$
by: Choi, Seokhyun, et al.
Published: (2025)

Counting elliptic curves over $\mathbb{Q}$ with bounded naive height
by: Barquero-Sanchez, Adrian, et al.
Published: (2025)

Existential rank and essential dimension of diophantine sets
by: Daans, Nicolas, et al.
Published: (2021)

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

Total Failure of Approachability at Successors of Singulars of Countable Cofinality
by: Jakob, Hannes
Published: (2025)

Moments and One level density of sextic Hecke $L$-functions of $\mathbb{Q}(ω)$
by: Gao, Peng, et al.
Published: (2022)

Hilbert's Tenth Problem for some Noncommutative Rings
by: Eggink, A.
Published: (2024)