Copertina

Dimension of Generic Reals

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Miao, Yiping
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Comparison of Gauge Dimension and Effective Dimension
di: Miao, Yiping
Pubblicazione: (2026)

Borel Order Dimension
di: Raghavan, Dilip, et al.
Pubblicazione: (2024)

Dimension theory for the asymptotic couple of the field of logarithmic transseries
di: Gehret, Allen, et al.
Pubblicazione: (2025)

Dimension and topology in transserial tame pairs
di: Pynn-Coates, Nigel
Pubblicazione: (2025)

Reals in the Matet and Willow Models
di: Banerjee, Raiean
Pubblicazione: (2025)

Generalized Decidability via Brouwer Trees
di: de Jong, Tom, et al.
Pubblicazione: (2026)

Speedups for Presburger Arithmetic and Real Closed Fields
di: Pakhomov, Fedor, et al.
Pubblicazione: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

Length Functions and the Dimension of Points in Self-Similar Fractal Trees
di: Porter, Christopher P.
Pubblicazione: (2024)

Effective Littlestone Dimension
di: Rose, Valentino Delle, et al.
Pubblicazione: (2024)

Structures Associated with Real Closed Fields and the Axiom of Choice
di: Carl, Merlin
Pubblicazione: (2014)

Some General Completeness Results for Propositionally Quantified Modal Logics
di: Ding, Yifeng, et al.
Pubblicazione: (2024)

Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property
di: Winter, Michael
Pubblicazione: (2023)

Generic Generators
di: Sargsyan, Grigor
Pubblicazione: (2023)

A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
di: Hoffelner, Stefan
Pubblicazione: (2025)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
di: Xu, Yang, et al.
Pubblicazione: (2025)

Generalized Effective Reducibility
di: Carl, Merlin
Pubblicazione: (2016)

Internal Categoricity and the Generic Multiverse
di: Meadows, Toby
Pubblicazione: (2025)

Generic Stability and Modes of Convergence
di: Khanaki, Karim
Pubblicazione: (2022)

Isomorphism Classes of Generating Sets
di: Benhamou, Tom, et al.
Pubblicazione: (2025)

Generalizations of quantum-Wajsberg algebras
di: Ciungu, Lavinia Corina
Pubblicazione: (2024)

Generically Computable Linear Orderings
di: Calvert, Wesley, et al.
Pubblicazione: (2024)

An Upper Bound on the Weisfeiler-Leman Dimension
di: Schneider, Thomas, et al.
Pubblicazione: (2024)

The Weisfeiler-Leman Dimension of Conjunctive Queries
di: Göbel, Andreas, et al.
Pubblicazione: (2023)

Model Comparison Games for Generalized Quantifiers
di: Kuusisto, Antti, et al.
Pubblicazione: (2026)

Generalized Epstein semantics for Parry systems
di: Zamperlin, Nicolò
Pubblicazione: (2024)

Generalized quantifiers using team semantics
di: Engström, Fredrik
Pubblicazione: (2024)

On a Generalization of Heyting Algebras I
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2024)

On a Generalization of Heyting Algebras II
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2024)

Measures that violate the Generalized Continuum Hypothesis
di: Benhamou, Tom, et al.
Pubblicazione: (2025)

Generation and decidability for periodic l-pregroups
di: Galatos, Nikolaos, et al.
Pubblicazione: (2024)

Generic derivations, differential largeness, and NTP$_2$
di: Kaplan, Elliot, et al.
Pubblicazione: (2025)

Timed Strategies for Real-Time Rewrite Theories
di: Olarte, Carlos, et al.
Pubblicazione: (2024)

Isomorphic Subtypes in a Finite Generalized Ordered Type
di: Joseph, Jean S.
Pubblicazione: (2025)

Generalized Tukey reducibility between $σ$-directed sets
di: Sakai, Hiroshi, et al.
Pubblicazione: (2025)

Three Topics in Non-decomposability of Generalized Multiplicative Connectives
di: Nishimuta, Yuki
Pubblicazione: (2018)

Quantifier Reasoning and Multiple Generality in Aristotle and Ancient Logic
di: Protin, Clarence Lewis
Pubblicazione: (2022)

Applications of Quantified Constraint Solving over the Reals -- Bibliography
di: Ratschan, Stefan
Pubblicazione: (2012)

An Imperative Language for Verified Exact Real-Number Computation
di: Bauer, Andrej, et al.
Pubblicazione: (2024)