Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Constructivism_(mathematics)> . }
Showing items 1 to 39 of
39
with 100 items per page.
- Apartness_relation subject Category:Constructivism_(mathematics).
- Axiom_schema_of_predicative_separation subject Category:Constructivism_(mathematics).
- Bar_induction subject Category:Constructivism_(mathematics).
- Brouwer–Heyting–Kolmogorov_interpretation subject Category:Constructivism_(mathematics).
- Brouwer–Hilbert_controversy subject Category:Constructivism_(mathematics).
- Choice_sequence subject Category:Constructivism_(mathematics).
- Church's_thesis_(constructive_mathematics) subject Category:Constructivism_(mathematics).
- Computable_analysis subject Category:Constructivism_(mathematics).
- Computable_model_theory subject Category:Constructivism_(mathematics).
- Constructive_analysis subject Category:Constructivism_(mathematics).
- Constructive_proof subject Category:Constructivism_(mathematics).
- Constructive_set_theory subject Category:Constructivism_(mathematics).
- Constructivism_(mathematics) subject Category:Constructivism_(mathematics).
- Diaconescu's_theorem subject Category:Constructivism_(mathematics).
- Disjunction_and_existence_properties subject Category:Constructivism_(mathematics).
- Finitism subject Category:Constructivism_(mathematics).
- Friedman_translation subject Category:Constructivism_(mathematics).
- Harrop_formula subject Category:Constructivism_(mathematics).
- Heyting_algebra subject Category:Constructivism_(mathematics).
- Heyting_arithmetic subject Category:Constructivism_(mathematics).
- Heyting_field subject Category:Constructivism_(mathematics).
- Indecomposability subject Category:Constructivism_(mathematics).
- Inhabited_set subject Category:Constructivism_(mathematics).
- Intuitionism subject Category:Constructivism_(mathematics).
- Intuitionistic_logic subject Category:Constructivism_(mathematics).
- Intuitionistic_type_theory subject Category:Constructivism_(mathematics).
- König's_lemma subject Category:Constructivism_(mathematics).
- Limited_principle_of_omniscience subject Category:Constructivism_(mathematics).
- Markov's_principle subject Category:Constructivism_(mathematics).
- Minimal_logic subject Category:Constructivism_(mathematics).
- Modulus_of_continuity subject Category:Constructivism_(mathematics).
- Modulus_of_convergence subject Category:Constructivism_(mathematics).
- Primitive_recursive_arithmetic subject Category:Constructivism_(mathematics).
- Pseudo-order subject Category:Constructivism_(mathematics).
- Realizability subject Category:Constructivism_(mathematics).
- Subcountability subject Category:Constructivism_(mathematics).
- Ultrafinitism subject Category:Constructivism_(mathematics).
- Category:Computable_analysis broader Category:Constructivism_(mathematics).
- Category:Intuitionism broader Category:Constructivism_(mathematics).