pith. sign in

arxiv: 1804.05495 · v3 · pith:UW4NNKOPnew · submitted 2018-04-16 · 🧮 math.LO

Constructive Reverse Mathematics

Hannes Diener This is my paper
classification 🧮 math.LO
keywords constructivemathematicsreverseintroductionoverview
0
0 comments X
read the original abstract

An introduction and overview of constructive reverse mathematics.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Constructive Stone representations for separated swap and Boolean algebras

    math.LO 2026-06 unverdicted novelty 7.0

    Constructive Stone representation and Stone-Cech theorems are established for separated swap algebras of type (II), with Boolean algebras as special cases and minimal-logic proofs when using Boolean inequalities.