Constructive mathematics in the style of Bishop, including its semantics using realizabilty or topological methods.
Synonyms
constructiveStats
| created | 15 years, 2 months ago |
| viewed | 25 times |
| editors | 0 |
Top Answerers
more »Recent Hot Answers
Why is it so difficult to define constructive cardinality?How to rewrite mathematics constructively?
Constructive algebraic geometry
Is Bauer–Hanson’s result “there is a topos where the Dedekind reals are countable” novel?
In constructive mathematics, why can't we prove that the category of abelian groups is abelian?
more »
Related Tags
lo.logic × 167
topos-theory × 41
set-theory × 39
reference-request × 32
real-analysis × 29
ct.category-theory × 28
intuitionism × 24
computability-theory × 23
type-theory × 22
proof-theory × 20
foundations × 20
reverse-math × 20
axiom-of-choice × 18
gn.general-topology × 16
locales × 14
model-theory × 12
realizability × 12
co.combinatorics × 7
soft-question × 7
more related tags