:: Library Catalog

Buchumschlag

Gespeichert in:

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

Ähnliche Einträge

Fractal Boundaries of Constructivity: A Meta-Theoretical Critique of Countability and Continuum
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)

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

On the Nature of Fractal Numbers and the Classical Continuum Hypothesis (CH)
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)

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)

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

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

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

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

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

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

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

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

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

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

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

Toposes with enough points as categories of étale spaces
von: van Gool, Sam, et al.
Veröffentlicht: (2025)

Construction of fuzzy valued recurrent fractal interpolation functions and their properties
von: Choe, Hyang, et al.
Veröffentlicht: (2025)

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

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

Antichain of ordinals in intuitionistic set theory
von: Wang, Shuwei
Veröffentlicht: (2025)

Some notes on plump ordinals
von: Wang, Shuwei
Veröffentlicht: (2026)

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

Immutability Does Not Guarantee Trust: A Formal and Logical Refutation
von: Wright, Craig S
Veröffentlicht: (2025)

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

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

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

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

The proof-theoretic strength of Constructive Second-order set theories
von: Jeon, Hanul
Veröffentlicht: (2023)

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

Invariant-Based Cryptography
von: Semenov, Stanislav
Veröffentlicht: (2025)

Invariant-Based Cryptography: Toward a General Framework
von: Semenov, Stanislav
Veröffentlicht: (2025)

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

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

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

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