Copertina

Fractal Countability as a Constructive Alternative to the Power Set of N: A Meta-Formal Approach to Stratified Definability

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Semenov, Stanislav
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	General Mathematics 03D80, 03E10, 03B70 F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Fractal Boundaries of Constructivity: A Meta-Theoretical Critique of Countability and Continuum
di: Semenov, Stanislav
Pubblicazione: (2025)

Constructive Limits of Cantor's Diagonal Method: Countability, Enumerability, and the Impossibility of Exhausting the Continuum
di: Semenov, Stanislav
Pubblicazione: (2025)

Fractal Origin of the Continuum: A Hypothesis on Process-Relative Definability
di: Semenov, Stanislav
Pubblicazione: (2025)

Axiomatic Foundations of Fractal Analysis and Fractal Number Theory
di: Semenov, Stanislav
Pubblicazione: (2025)

On the Nature of Fractal Numbers and the Classical Continuum Hypothesis (CH)
di: Semenov, Stanislav
Pubblicazione: (2025)

Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability
di: Semenov, Stanislav
Pubblicazione: (2025)

Wave Arithmetic: A Smooth Integral Representation of Number Theory
di: Semenov, Stanislav
Pubblicazione: (2025)

Invariant Bridges Between Four Successive Points: A New Tool for Data Coding
di: Semenov, Stanislav
Pubblicazione: (2025)

Stratifiable formulae are not context-free
di: Ryan-Smith, Calliope
Pubblicazione: (2023)

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
di: Alpay, Faruk
Pubblicazione: (2025)

Two strong undefinability results in inquisitive and team semantics
di: Barbero, Fausto
Pubblicazione: (2024)

A Smooth Analytical Approximation of the Prime Characteristic Function
di: Semenov, Stanislav
Pubblicazione: (2025)

The reverse mathematics of the pigeonhole hierarchy
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

An equiconsistency proof for $\mathrm{CZF} + V = L$
di: Wang, Shuwei
Pubblicazione: (2026)

Univalent Material Set Theory
di: Gylterud, Håkon Robbestad, et al.
Pubblicazione: (2023)

Random expansions of finite structures with bounded degree
di: Koponen, Vera
Pubblicazione: (2024)

On the expressive power of inquisitive epistemic logic
di: Ciardelli, Ivano, et al.
Pubblicazione: (2023)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
di: Wang, Shuai
Pubblicazione: (2024)

Weihrauch problems as containers
di: Pradic, Cécilia, et al.
Pubblicazione: (2025)

Antichain of ordinals in intuitionistic set theory
di: Wang, Shuwei
Pubblicazione: (2025)

Some notes on plump ordinals
di: Wang, Shuwei
Pubblicazione: (2026)

The Golden Path to Guarded Monotone Strict NP
di: Barsukov, Alexey, et al.
Pubblicazione: (2023)

The proof-theoretic strength of Constructive Second-order set theories
di: Jeon, Hanul
Pubblicazione: (2023)

The Category Dichotomy for Ideals
di: Dow, Alan, et al.
Pubblicazione: (2025)

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data
di: Alpay, Faruk
Pubblicazione: (2025)

Construction of fuzzy valued recurrent fractal interpolation functions and their properties
di: Choe, Hyang, et al.
Pubblicazione: (2025)

Forcing as a Local Method of Accessing Small Extensions
di: Lau, Desmond
Pubblicazione: (2024)

Toposes with enough points as categories of étale spaces
di: van Gool, Sam, et al.
Pubblicazione: (2025)

Undecidability in Relevant Logic
di: Knudstorp, Søren Brinck
Pubblicazione: (2026)

Consistent ultrafinitist logic
di: Gajda, Michał J.
Pubblicazione: (2021)

Smooth Integer Encoding via Integral Balance
di: Semenov, Stanislav
Pubblicazione: (2025)

The Axiom of Double Complement and its opposites
di: Jeon, Hanul, et al.
Pubblicazione: (2026)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
di: Gylterud, Håkon Robbestad, et al.
Pubblicazione: (2020)

On the Computational Power of Extensional ESO
di: Bodirsky, Manuel, et al.
Pubblicazione: (2025)

Self-graphing equations
di: Alexander, Samuel Allen
Pubblicazione: (2025)

Invariant-Based Cryptography
di: Semenov, Stanislav
Pubblicazione: (2025)

Invariant-Based Cryptography: Toward a General Framework
di: Semenov, Stanislav
Pubblicazione: (2025)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
di: Castiglioni, José Luis, et al.
Pubblicazione: (2025)

Thoughts on sub-Turing interactive computability
di: Japaridze, Giorgi
Pubblicazione: (2024)

The logic of bunched implications is undecidable
di: Galatos, Nick, et al.
Pubblicazione: (2026)