http://dbpedia.org/ontology/abstract
|
Constructive set theory is an approach to … Constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory.The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach.On the other hand, some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle, constructive set theories often require some logical quantifiers in their axioms to be bounded, motivated by results tied to impredicativity.ivated by results tied to impredicativity.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.illc.uva.nl/KNAW/Heyting/uploaded_files/inlineitem/vdberg-slides.pdf +
, http://plato.stanford.edu/entries/set-theory-constructive/ +
, https://archive.org/details/constructivismin0002troe/page/619 +
, https://web.archive.org/web/20070204153712/http:/www.ml.kva.se/preprints/meta/AczelMon_Sep_24_09_16_56.rdf.html +
|
http://dbpedia.org/ontology/wikiPageID
|
5042360
|
http://dbpedia.org/ontology/wikiPageLength
|
129725
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1123430423
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Law_of_trichotomy +
, http://dbpedia.org/resource/Induction%2C_bounding_and_least_number_principles +
, http://dbpedia.org/resource/Principle_of_excluded_middle +
, http://dbpedia.org/resource/Constructive_logic +
, http://dbpedia.org/resource/General_topology +
, http://dbpedia.org/resource/Dedekind-infinite_set +
, http://dbpedia.org/resource/Cartesian_product +
, http://dbpedia.org/resource/Interpretation_%28model_theory%29 +
, http://dbpedia.org/resource/Truth_value +
, http://dbpedia.org/resource/Total_order +
, http://dbpedia.org/resource/Modulus_of_convergence +
, http://dbpedia.org/resource/Category:Constructivism_%28mathematics%29 +
, http://dbpedia.org/resource/Transitive_set +
, http://dbpedia.org/resource/Presheaf_%28category_theory%29 +
, http://dbpedia.org/resource/Category:Systems_of_set_theory +
, http://dbpedia.org/resource/Recursion_theory +
, http://dbpedia.org/resource/Intermediate_value_theorem +
, http://dbpedia.org/resource/Kleene%27s_T_predicate +
, http://dbpedia.org/resource/Countable_choice +
, http://dbpedia.org/resource/Grzegorczyk_hierarchy +
, http://dbpedia.org/resource/Axiom_of_Choice +
, http://dbpedia.org/resource/Quantification_%28logic%29 +
, http://dbpedia.org/resource/Geometric_logic +
, http://dbpedia.org/resource/Primitive_recursive_arithmetic +
, http://dbpedia.org/resource/Disjunction_and_existence_properties +
, http://dbpedia.org/resource/Limited_principle_of_omniscience +
, http://dbpedia.org/resource/Ordinal_definable_set +
, http://dbpedia.org/resource/Choice_sequence +
, http://dbpedia.org/resource/Quantifier_%28logic%29 +
, http://dbpedia.org/resource/Heyting_algebra +
, http://dbpedia.org/resource/Law_of_Excluded_Middle +
, http://dbpedia.org/resource/Computable_function +
, http://dbpedia.org/resource/Constructive_analysis +
, http://dbpedia.org/resource/Mathematical_induction +
, http://dbpedia.org/resource/Peter_Aczel +
, http://dbpedia.org/resource/Subtyping +
, http://dbpedia.org/resource/Hereditarily_finite_set +
, http://dbpedia.org/resource/Adjoint_functor +
, http://dbpedia.org/resource/Axiom_of_countable_choice +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Robinson_arithmetic +
, http://dbpedia.org/resource/Effectively_computable +
, http://dbpedia.org/resource/Axiom_of_infinity +
, http://dbpedia.org/resource/Russel%27s_paradox +
, http://dbpedia.org/resource/Constructivism_%28mathematics%29 +
, http://dbpedia.org/resource/Axiom_of_union +
, http://dbpedia.org/resource/Completeness_of_the_real_numbers +
, http://dbpedia.org/resource/Non-well-founded_set_theory +
, http://dbpedia.org/resource/Set-theoretic_definition_of_natural_numbers +
, http://dbpedia.org/resource/Epsilon-induction +
, http://dbpedia.org/resource/UTM_theorem +
, http://dbpedia.org/resource/Archimedean_property +
, http://dbpedia.org/resource/Model_theory +
, http://dbpedia.org/resource/Well-ordering +
, http://dbpedia.org/resource/Signature_%28logic%29 +
, http://dbpedia.org/resource/Well-pointed_category +
, http://dbpedia.org/resource/Function_%28set_theory%29 +
, http://dbpedia.org/resource/Logical_connective +
, http://dbpedia.org/resource/Church%27s_thesis_%28constructive_mathematics%29 +
, http://dbpedia.org/resource/Subobject_classifier +
, http://dbpedia.org/resource/Mac_Lane +
, http://dbpedia.org/resource/Coequalizer +
, http://dbpedia.org/resource/Exponential_object +
, http://dbpedia.org/resource/Category_theory +
, http://dbpedia.org/resource/Axiom_of_empty_set +
, http://dbpedia.org/resource/Axiomatic_set_theory +
, http://dbpedia.org/resource/Errett_Bishop +
, http://dbpedia.org/resource/Von_Neumann_ordinal +
, http://dbpedia.org/resource/Natural_numbers_object +
, http://dbpedia.org/resource/Inductive_type +
, http://dbpedia.org/resource/Module_%28mathematics%29 +
, http://dbpedia.org/resource/Characteristic_function +
, http://dbpedia.org/resource/Cantor_space +
, http://dbpedia.org/resource/Propositions-as-types +
, http://dbpedia.org/resource/Bar_induction +
, http://dbpedia.org/resource/Functional_relation +
, http://dbpedia.org/resource/Axiom_of_Regularity +
, http://dbpedia.org/resource/Proof_theory +
, http://dbpedia.org/resource/Successor_function +
, http://dbpedia.org/resource/Double-negation_translation +
, http://dbpedia.org/resource/Axiom_of_pairing +
, http://dbpedia.org/resource/Recursive_definition +
, http://dbpedia.org/resource/Axiom_of_power_set +
, http://dbpedia.org/resource/Function_application +
, http://dbpedia.org/resource/Lifting_property +
, http://dbpedia.org/resource/Non-classical_logic +
, http://dbpedia.org/resource/Axiom_of_adjunction +
, http://dbpedia.org/resource/L._E._J._Brouwer +
, http://dbpedia.org/resource/Domain_of_a_function +
, http://dbpedia.org/resource/Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation +
, http://dbpedia.org/resource/Impredicativity +
, http://dbpedia.org/resource/Transfinite_induction +
, http://dbpedia.org/resource/Dependent_type_theory +
, http://dbpedia.org/resource/Classical_mathematics +
, http://dbpedia.org/resource/Turing_machine +
, http://dbpedia.org/resource/Minimal_logic +
, http://dbpedia.org/resource/Axiom_of_extensionality +
, http://dbpedia.org/resource/Non-well-founded_set +
, http://dbpedia.org/resource/Disjunctive_syllogism +
, http://dbpedia.org/resource/Bachmann%E2%80%93Howard_ordinal +
, http://dbpedia.org/resource/Apartness_relations +
, http://dbpedia.org/resource/Markov%27s_principle +
, http://dbpedia.org/resource/Epsilon_numbers_%28mathematics%29 +
, http://dbpedia.org/resource/Axiom_of_collection +
, http://dbpedia.org/resource/Arithmetical_hierarchy +
, http://dbpedia.org/resource/Zermelo%E2%80%93Fraenkel_set_theory +
, http://dbpedia.org/resource/John_Myhill +
, http://dbpedia.org/resource/Subcountability +
, http://dbpedia.org/resource/General_set_theory +
, http://dbpedia.org/resource/Range_of_a_function +
, http://dbpedia.org/resource/Multivalued_function +
, http://dbpedia.org/resource/Existence_property +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/Constructible_universe +
, http://dbpedia.org/resource/Apartness +
, http://dbpedia.org/resource/Equivalence_classes +
, http://dbpedia.org/resource/Second-order_logic +
, http://dbpedia.org/resource/Axiom_of_dependent_choice +
, http://dbpedia.org/resource/Independence_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Undecidable_problem +
, http://dbpedia.org/resource/Extension_by_definitions +
, http://dbpedia.org/resource/Function_spaces +
, http://dbpedia.org/resource/Diaconescu%27s_theorem +
, http://dbpedia.org/resource/Stanford_Encyclopedia_of_Philosophy +
, http://dbpedia.org/resource/Class_%28set_theory%29 +
, http://dbpedia.org/resource/Ordered_pair +
, http://dbpedia.org/resource/Ordered_field +
, http://dbpedia.org/resource/Currying +
, http://dbpedia.org/resource/Categoricity +
, http://dbpedia.org/resource/Von_Neumann_universe +
, http://dbpedia.org/resource/Apartness_relation +
, http://dbpedia.org/resource/Dependent_choice +
, http://dbpedia.org/resource/Power_set_axiom +
, http://dbpedia.org/resource/Subobject +
, http://dbpedia.org/resource/Axiom_of_non-choice +
, http://dbpedia.org/resource/Ackermann_function +
, http://dbpedia.org/resource/Pigeon_hole_principle +
, http://dbpedia.org/resource/Powerset_axiom +
, http://dbpedia.org/resource/Axiom_of_powerset +
, http://dbpedia.org/resource/Halting_problem +
, http://dbpedia.org/resource/Hereditarily_finite_sets +
, http://dbpedia.org/resource/Category:Intuitionism +
, http://dbpedia.org/resource/Existential_instantiation +
, http://dbpedia.org/resource/Surjectivity +
, http://dbpedia.org/resource/Arithmetical_set +
, http://dbpedia.org/resource/Arity +
, http://dbpedia.org/resource/Bounded_quantifier +
, http://dbpedia.org/resource/Uniqueness_quantification +
, http://dbpedia.org/resource/Monomorphism +
, http://dbpedia.org/resource/De_Morgan%27s_law +
, http://dbpedia.org/resource/Cartesian_closed +
, http://dbpedia.org/resource/Elementary_function_arithmetic +
, http://dbpedia.org/resource/List_of_first-order_theories +
, http://dbpedia.org/resource/Well-ordering_theorem +
, http://dbpedia.org/resource/Axiom_schema_of_replacement +
, http://dbpedia.org/resource/Intentionality +
, http://dbpedia.org/resource/K%C5%91nig%27s_lemma +
, http://dbpedia.org/resource/General_recursive_function +
, http://dbpedia.org/resource/Contrapositive +
, http://dbpedia.org/resource/Axiom_schema +
, http://dbpedia.org/resource/Heine-Borel_theorem +
, http://dbpedia.org/resource/Axiom_of_regularity +
, http://dbpedia.org/resource/List_of_statements_independent_of_ZFC +
, http://dbpedia.org/resource/L%C3%A9vy_hierarchy +
, http://dbpedia.org/resource/Kripke%E2%80%93Platek_set_theory +
, http://dbpedia.org/resource/Law_of_noncontradiction +
, http://dbpedia.org/resource/Subcountable +
, http://dbpedia.org/resource/Axiom_schema_of_separation +
, http://dbpedia.org/resource/Brouwer_fixed_point_theorem +
, http://dbpedia.org/resource/Axiom_schema_of_specification +
, http://dbpedia.org/resource/Computable_analysis +
, http://dbpedia.org/resource/Zermelo_set_theory +
, http://dbpedia.org/resource/Many-sorted_logic +
, http://dbpedia.org/resource/Dana_Scott +
, http://dbpedia.org/resource/Mathematical_intuitionism +
, http://dbpedia.org/resource/Type_theory +
, http://dbpedia.org/resource/Dependent_type +
, http://dbpedia.org/resource/Natural_numbers +
, http://dbpedia.org/resource/Martin-L%C3%B6f_type_theory +
, http://dbpedia.org/resource/Heyting_arithmetic +
, http://dbpedia.org/resource/Impredicative +
, http://dbpedia.org/resource/Gottlob_Frege +
, http://dbpedia.org/resource/Intuitionistic_logic +
, http://dbpedia.org/resource/Disjunction +
, http://dbpedia.org/resource/Primitive_recursive_function +
, http://dbpedia.org/resource/Total_relation +
, http://dbpedia.org/resource/Double_negation_elimination +
, http://dbpedia.org/resource/Axiom_of_Infinity +
, http://dbpedia.org/resource/Axiom_schema_of_predicative_separation +
, http://dbpedia.org/resource/Combinatory_logic +
, http://dbpedia.org/resource/Reverse_mathematics +
, http://dbpedia.org/resource/Edward_Nelson +
, http://dbpedia.org/resource/Abuse_of_notation +
, http://dbpedia.org/resource/Transitive_closure +
, http://dbpedia.org/resource/Total_functional_programming +
, http://dbpedia.org/resource/Admissible_rule +
, http://dbpedia.org/resource/Intuitionistic_type_theory +
, http://dbpedia.org/resource/Setoid +
, http://dbpedia.org/resource/Topos_theory +
, http://dbpedia.org/resource/Skolem_normal_form +
, http://dbpedia.org/resource/Extensionality +
, http://dbpedia.org/resource/Hom-functor +
, http://dbpedia.org/resource/Certificate_%28complexity%29 +
, http://dbpedia.org/resource/Computable_set +
, http://dbpedia.org/resource/Decidability_%28logic%29 +
, http://dbpedia.org/resource/Constructivism_%28philosophy_of_mathematics%29 +
, http://dbpedia.org/resource/Universal_set +
, http://dbpedia.org/resource/Ordinal_numbers +
, http://dbpedia.org/resource/Witness_%28mathematics%29 +
, http://dbpedia.org/resource/Axiom_of_replacement +
, http://dbpedia.org/resource/Ordinal_arithmetic +
, http://dbpedia.org/resource/Dedekind_cut +
, http://dbpedia.org/resource/Injectivity +
, http://dbpedia.org/resource/%CE%9C_operator +
, http://dbpedia.org/resource/Elementary_topos +
, http://dbpedia.org/resource/Uncountable +
, http://dbpedia.org/resource/Dedekind_complete +
, http://dbpedia.org/resource/Realizability +
, http://dbpedia.org/resource/Ramsey_theorem +
, http://dbpedia.org/resource/Function_%28mathematics%29 +
, http://dbpedia.org/resource/Axiom_of_Extensionality +
, http://dbpedia.org/resource/Principle_of_distributivity +
, http://dbpedia.org/resource/Aczel%27s_anti-foundation_axiom +
, http://dbpedia.org/resource/Categorical_logic +
, http://dbpedia.org/resource/Law_of_excluded_middle +
, http://dbpedia.org/resource/Topos +
, http://dbpedia.org/resource/G%C3%B6del%27s_incompleteness_theorems +
, http://dbpedia.org/resource/Computability_theory +
, http://dbpedia.org/resource/Subsets +
, http://dbpedia.org/resource/Equinumerosity +
, http://dbpedia.org/resource/Homotopy_type_theory +
, http://dbpedia.org/resource/Curry%E2%80%93Howard_correspondence +
, http://dbpedia.org/resource/Bounded_arithmetic +
, http://dbpedia.org/resource/Ordinal_number +
, http://dbpedia.org/resource/Peano_axioms +
, http://dbpedia.org/resource/Recursion +
, http://dbpedia.org/resource/Constructive_type_theory +
, http://dbpedia.org/resource/Cauchy_sequences +
, http://dbpedia.org/resource/Ordinal_analysis +
, http://dbpedia.org/resource/Partial_function +
, http://dbpedia.org/resource/Axiom_of_choice +
, http://dbpedia.org/resource/Limit_ordinals +
, http://dbpedia.org/resource/Binary_relation +
, http://dbpedia.org/resource/Stratification_%28mathematics%29 +
, http://dbpedia.org/resource/Cantor%27s_diagonal_argument +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Set_theory +
, http://dbpedia.org/resource/Template:Cols +
, http://dbpedia.org/resource/Template:Colend +
, http://dbpedia.org/resource/Template:Mathematical_logic +
, http://dbpedia.org/resource/Template:TOC_left +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Foundations-footer +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Non-classical_logic +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Constructivism_%28mathematics%29 +
, http://dbpedia.org/resource/Category:Systems_of_set_theory +
, http://dbpedia.org/resource/Category:Intuitionism +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Approach +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Constructive_set_theory?oldid=1123430423&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Constructive_set_theory +
|
owl:sameAs |
http://www.wikidata.org/entity/Q5164501 +
, https://global.dbpedia.org/id/4iRT9 +
, http://rdf.freebase.com/ns/m.0d04qm +
, http://yago-knowledge.org/resource/Constructive_set_theory +
, http://dbpedia.org/resource/Constructive_set_theory +
|
rdf:type |
http://dbpedia.org/class/yago/Artifact100021939 +
, http://dbpedia.org/class/yago/WikicatSystemsOfSetTheory +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/System104377057 +
, http://dbpedia.org/ontology/ProgrammingLanguage +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Instrumentality103575240 +
|
rdfs:comment |
Constructive set theory is an approach to … Constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory.The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach.On the other hand, some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle, constructive set theories often require some logical quantifiers in their axioms to be bounded, motivated by results tied to impredicativity.ivated by results tied to impredicativity.
|
rdfs:label |
Constructive set theory
|