Buchumschlag

Fractal Boundaries of Constructivity: A Meta-Theoretical Critique of Countability and Continuum

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Semenov, Stanislav
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	General Mathematics 03D80, 03E10, 03B70 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fractal Countability as a Constructive Alternative to the Power Set of N: A Meta-Formal Approach to Stratified Definability
von: Semenov, Stanislav
Veröffentlicht: (2025)

Constructive Limits of Cantor's Diagonal Method: Countability, Enumerability, and the Impossibility of Exhausting the Continuum
von: Semenov, Stanislav
Veröffentlicht: (2025)

Fractal Origin of the Continuum: A Hypothesis on Process-Relative Definability
von: Semenov, Stanislav
Veröffentlicht: (2025)

On the Nature of Fractal Numbers and the Classical Continuum Hypothesis (CH)
von: Semenov, Stanislav
Veröffentlicht: (2025)

Axiomatic Foundations of Fractal Analysis and Fractal Number Theory
von: Semenov, Stanislav
Veröffentlicht: (2025)

Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability
von: Semenov, Stanislav
Veröffentlicht: (2025)

Wave Arithmetic: A Smooth Integral Representation of Number Theory
von: Semenov, Stanislav
Veröffentlicht: (2025)

Two strong undefinability results in inquisitive and team semantics
von: Barbero, Fausto
Veröffentlicht: (2024)

Invariant Bridges Between Four Successive Points: A New Tool for Data Coding
von: Semenov, Stanislav
Veröffentlicht: (2025)

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
von: Alpay, Faruk
Veröffentlicht: (2025)

The reverse mathematics of the pigeonhole hierarchy
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
von: Wang, Shuai
Veröffentlicht: (2024)

A Smooth Analytical Approximation of the Prime Characteristic Function
von: Semenov, Stanislav
Veröffentlicht: (2025)

Undecidability in Relevant Logic
von: Knudstorp, Søren Brinck
Veröffentlicht: (2026)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

The Golden Path to Guarded Monotone Strict NP
von: Barsukov, Alexey, et al.
Veröffentlicht: (2023)

Univalent Material Set Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2023)

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data
von: Alpay, Faruk
Veröffentlicht: (2025)

Stratifiable formulae are not context-free
von: Ryan-Smith, Calliope
Veröffentlicht: (2023)

Random expansions of finite structures with bounded degree
von: Koponen, Vera
Veröffentlicht: (2024)

Thoughts on sub-Turing interactive computability
von: Japaridze, Giorgi
Veröffentlicht: (2024)

The logic of bunched implications is undecidable
von: Galatos, Nick, et al.
Veröffentlicht: (2026)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
von: Hausmann, Daniel, et al.
Veröffentlicht: (2022)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
von: Stanković, Marko, et al.
Veröffentlicht: (2025)

An equiconsistency proof for $\mathrm{CZF} + V = L$
von: Wang, Shuwei
Veröffentlicht: (2026)

Possibility Semantics
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Adding an Implication to Logics of Perfect Paradefinite Algebras
von: Greati, Vitor, et al.
Veröffentlicht: (2023)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
von: Lopez, Aliaume
Veröffentlicht: (2024)

The Category Dichotomy for Ideals
von: Dow, Alan, et al.
Veröffentlicht: (2025)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
von: Forster, Jonas, et al.
Veröffentlicht: (2026)

On the Computational Power of Extensional ESO
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2025)

Hereditary First-Order Logic: the tractable quantifier prefix classes
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

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

Extracting total Amb programs from proofs
von: Berger, Ulrich, et al.
Veröffentlicht: (2023)

Consistent ultrafinitist logic
von: Gajda, Michał J.
Veröffentlicht: (2021)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Smooth Integer Encoding via Integral Balance
von: Semenov, Stanislav
Veröffentlicht: (2025)

Forcing as a Local Method of Accessing Small Extensions
von: Lau, Desmond
Veröffentlicht: (2024)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
von: Koponen, Vera, et al.
Veröffentlicht: (2023)