Category:Constructivism (mathematics)

• Constructivism (philosophy of mathematics)

*

• Constructive analysis

A

• Apartness relation
• Axiom schema of predicative separation

B

• Bar induction
• Brouwer–Heyting–Kolmogorov interpretation
• Brouwer–Hilbert controversy

C

• Choice sequence
• Church's thesis (constructive mathematics)
• Computable analysis
• Computable model theory
• Construction of the real numbers
• Constructive nonstandard analysis
• Constructive proof
• Constructive set theory

D

• Diaconescu's theorem
• Disjunction and existence properties

F

• Finitism
• Friedman translation

H

• Harrop formula
• Heyting algebra
• Heyting arithmetic
• Heyting field

I

• Indecomposability (intuitionistic logic)
• Inhabited set
• Intuitionism
• Intuitionistic logic
• Intuitionistic type theory

K

• Kőnig's lemma

L

• Limited principle of omniscience

M

• Markov's principle
• Minimal logic
• Modulus of continuity
• Modulus of convergence

N

• Non-constructive algorithm existence proofs

P

• Primitive recursive arithmetic
• Pseudo-order

R

• Realizability

S

• Subcountability

U

• Ultrafinitism