Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2410.11058 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On the Constructive Theory of Jordan Curves
by: Bridges, Douglas S.
Published: (2025)
by: Bridges, Douglas S.
Published: (2025)
Affine Hulls and Simplices: a Constructive Analysis
by: Bridges, Douglas S.
Published: (2025)
by: Bridges, Douglas S.
Published: (2025)
Metric Double Complements of Convex Sets
by: Bridges, Douglas S.
Published: (2025)
by: Bridges, Douglas S.
Published: (2025)
Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)
by: Ghari, Meghdad
Published: (2014)
The Myhill isomorphism theorem does not generalize much
by: Pradic, Cécilia
Published: (2025)
by: Pradic, Cécilia
Published: (2025)
Computability of the Hahn-Banach Theorem Revisited
by: Brattka, Vasco, et al.
Published: (2026)
by: Brattka, Vasco, et al.
Published: (2026)
Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability
by: Semenov, Stanislav
Published: (2025)
by: Semenov, Stanislav
Published: (2025)
Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)
by: Freund, Anton, et al.
Published: (2026)
Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)
by: Ghari, Meghdad
Published: (2014)
Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)
by: Ayhan, Sara
Published: (2023)
On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
by: Neri, Morenikeji, et al.
Published: (2024)
by: Neri, Morenikeji, et al.
Published: (2024)
Effective bases and notions of effective second countability in computable analysis
by: Brattka, Vasco, et al.
Published: (2025)
by: Brattka, Vasco, et al.
Published: (2025)
Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)
by: Erdélyi-Szabó, Miklós
Published: (2024)
Encoding Sequences in Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2025)
by: Erdélyi-Szabó, Miklós
Published: (2025)
Proof-theoretic dilator and intermediate pointclasses
by: Jeon, Hanul
Published: (2025)
by: Jeon, Hanul
Published: (2025)
Blok-Esakia Theorems via Stable Canonical Rules
by: Bezhanishvili, Nick, et al.
Published: (2022)
by: Bezhanishvili, Nick, et al.
Published: (2022)
A Baire Category Approach to Besicovitch's Theorem and Measure Regularity
by: Gruner, Emma, et al.
Published: (2026)
by: Gruner, Emma, et al.
Published: (2026)
A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)
by: Anttila, Aleksi, et al.
Published: (2025)
A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)
by: Ghilardi, Silvio, et al.
Published: (2025)
Fundamental sequences based on localization
by: Wilken, Gunnar
Published: (2024)
by: Wilken, Gunnar
Published: (2024)
Induction on Dilators and Bachmann-Howard Fixed Points
by: Aguilera, Juan P., et al.
Published: (2024)
by: Aguilera, Juan P., et al.
Published: (2024)
Generalizing Goodstein's theorem and Cichon's independence proof
by: Wilken, Gunnar
Published: (2025)
by: Wilken, Gunnar
Published: (2025)
Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)
by: Hartonas, Chrysafis
Published: (2023)
A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces
by: Neri, Morenikeji
Published: (2024)
by: Neri, Morenikeji
Published: (2024)
Randomness versus superspeedability
by: Hölzl, Rupert, et al.
Published: (2024)
by: Hölzl, Rupert, et al.
Published: (2024)
The computational content of multidimensional discontinuity
by: Hölzl, Rupert, et al.
Published: (2024)
by: Hölzl, Rupert, et al.
Published: (2024)
Benign approximations and non-speedability
by: Hölzl, Rupert, et al.
Published: (2023)
by: Hölzl, Rupert, et al.
Published: (2023)
Exploring the abyss in Kleene's computability theory
by: Sanders, Sam
Published: (2023)
by: Sanders, Sam
Published: (2023)
Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
by: Anttila, Aleksi, et al.
Published: (2025)
by: Anttila, Aleksi, et al.
Published: (2025)
Reasoning Around Paradox with Grounded Deduction
by: Ford, Bryan
Published: (2024)
by: Ford, Bryan
Published: (2024)
First-order aspects of Artin groups
by: Cassella, Alberto, et al.
Published: (2025)
by: Cassella, Alberto, et al.
Published: (2025)
Definable Functions to Quotients in Ordered Abelian Groups
by: Wells, Harper
Published: (2026)
by: Wells, Harper
Published: (2026)
A Non-Constructive Proof of Cantor's Theorem
by: Salehi, Saeed
Published: (2025)
by: Salehi, Saeed
Published: (2025)
Martin's measurable dilator
by: Jeon, Hanul
Published: (2025)
by: Jeon, Hanul
Published: (2025)
Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)
by: Pezlar, Ivo
Published: (2023)
Computable Approximations of Semicomputable Graphs
by: Čačić, Vedran, et al.
Published: (2024)
by: Čačić, Vedran, et al.
Published: (2024)
Two strong undefinability results in inquisitive and team semantics
by: Barbero, Fausto
Published: (2024)
by: Barbero, Fausto
Published: (2024)
The limitless First Incompleteness Theorem
by: Cheng, Yong
Published: (2021)
by: Cheng, Yong
Published: (2021)
On a Theorem by Bezboruah & Shepherdson
by: Visser, Albert
Published: (2026)
by: Visser, Albert
Published: (2026)