:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Semenov, Stanislav
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	General Mathematics 03D80, 03E10, 03B70 F.4.1
Accesso online:	https://arxiv.org/abs/2503.18575
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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Possibility Semantics
di: Holliday, Wesley H.
Pubblicazione: (2024)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
di: Hausmann, Daniel, et al.
Pubblicazione: (2022)

Hereditary First-Order Logic: the tractable quantifier prefix classes
di: Bodirsky, Manuel, et al.
Pubblicazione: (2024)

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

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

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

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
di: Lopez, Aliaume
Pubblicazione: (2024)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
di: Forster, Jonas, et al.
Pubblicazione: (2026)

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

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
di: Stanković, Marko, et al.
Pubblicazione: (2025)

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

Adding an Implication to Logics of Perfect Paradefinite Algebras
di: Greati, Vitor, et al.
Pubblicazione: (2023)

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

Extracting total Amb programs from proofs
di: Berger, Ulrich, et al.
Pubblicazione: (2023)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
di: Koponen, Vera, et al.
Pubblicazione: (2023)

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

Towards Weak Stratification for Logics of Definitions
di: Guermond, Nathan
Pubblicazione: (2026)