Cover Image

On the Constructive Theory of Jordan Curves

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Bridges, Douglas S.
Format:	Preprint
Published:	2025
Subjects:	Logic 03F60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Improving Cauchy's Theorem in Constructive Analysis
by: Bridges, Douglas S.
Published: (2024)

Metric Double Complements of Convex Sets
by: Bridges, Douglas S.
Published: (2025)

Affine Hulls and Simplices: a Constructive Analysis
by: Bridges, Douglas S.
Published: (2025)

The Myhill isomorphism theorem does not generalize much
by: Pradic, Cécilia
Published: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Encoding Sequences in Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2025)

Proof-theoretic dilator and intermediate pointclasses
by: Jeon, Hanul
Published: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)

On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
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)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

Generalizing Goodstein's theorem and Cichon's independence proof
by: Wilken, Gunnar
Published: (2025)

Fundamental sequences based on localization
by: Wilken, Gunnar
Published: (2024)

Induction on Dilators and Bachmann-Howard Fixed Points
by: Aguilera, Juan P., et al.
Published: (2024)

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

Benign approximations and non-speedability
by: Hölzl, Rupert, et al.
Published: (2023)

Randomness versus superspeedability
by: Hölzl, Rupert, et al.
Published: (2024)

The computational content of multidimensional discontinuity
by: Hölzl, Rupert, et al.
Published: (2024)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
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)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

First-order aspects of Artin groups
by: Cassella, Alberto, et al.
Published: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
by: Anttila, Aleksi, et al.
Published: (2025)

Exploring the abyss in Kleene's computability theory
by: Sanders, Sam
Published: (2023)

Reasoning Around Paradox with Grounded Deduction
by: Ford, Bryan
Published: (2024)

Definable Functions to Quotients in Ordered Abelian Groups
by: Wells, Harper
Published: (2026)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

Martin's measurable dilator
by: Jeon, Hanul
Published: (2025)

Computable Approximations of Semicomputable Graphs
by: Čačić, Vedran, et al.
Published: (2024)

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

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

Computability of the Hahn-Banach Theorem Revisited
by: Brattka, Vasco, et al.
Published: (2026)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
by: Huttegger, Simon M., et al.
Published: (2024)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)