Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Mathematical logic
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
693685
(xsd:integer)
dbo:
wikiPageRevisionID
952536497
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons_cat
dbt
:CatAutoTOC
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Mathematical logic
(en)
skos:
broader
dbc
:Fields_of_mathematics
dbc
:Logic
dbc
:Philosophy_of_mathematics
skos:
prefLabel
Mathematical logic
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Mathematical_logic?oldid=952536497&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Proof_of_impossibility
dbr
:Proof_sketch_for_Gödel's_first_incompleteness_theorem
dbr
:Quantum_logic
dbr
:Elementary_definition
dbr
:Elementary_equivalence
dbr
:Elementary_sentence
dbr
:Elementary_theory
dbr
:End_extension
dbr
:Entscheidungsproblem
dbr
:Enumeration_reducibility
dbr
:List_of_first-order_theories
dbr
:Modal_logic
dbr
:Model_theory
dbr
:Lévy_hierarchy
dbr
:Löb's_theorem
dbr
:Mereology
dbr
:Metalogic
dbr
:Metamathematics
dbr
:Boolean_differential_calculus
dbr
:Algebraic_definition
dbr
:Algebraic_semantics_(mathematical_logic)
dbr
:Algebraic_sentence
dbr
:Algebraic_theory
dbr
:Algorithm
dbr
:Algorithmic_technique
dbr
:Algorithmic_transparency
dbr
:Archive_for_Mathematical_Logic
dbr
:Beta-model
dbr
:Beth_definability
dbr
:List_of_mathematical_symbols_by_subject
dbr
:Peano_axioms
dbr
:Reverse_mathematics
dbr
:Curry's_paradox
dbr
:Cyclic_negation
dbr
:Universe_(mathematics)
dbr
:De_Bruijn_Factor
dbr
:Dedekind_number
dbr
:Definable_set
dbr
:Independence_(mathematical_logic)
dbr
:Institute_of_Mathematical_Logic_and_Fundamental_Research
dbr
:Institutional_model_theory
dbr
:Interior_algebra
dbr
:Lindenbaum's_lemma
dbr
:List_of_mathematical_logic_topics
dbr
:O-minimal_theory
dbr
:Truth_predicate
dbr
:Notre_Dame_Journal_of_Formal_Logic
dbr
:Peirce's_law
dbr
:Robinson's_joint_consistency_theorem
dbr
:Computability_theory
dbr
:Craig_interpolation
dbr
:Mathematical_logic
dbr
:Mathesis_universalis
dbr
:LowerUnivalents
dbr
:Rewriting
dbr
:Pure_inductive_logic
dbr
:Timeline_of_mathematical_logic
dbr
:Łoś–Vaught_test
dbr
:Entitative_graph
dbr
:Enumeration
dbr
:Equality_(mathematics)
dbr
:Fraïssé_limit
dbr
:Glossary_of_mathematical_symbols
dbr
:Conservative_extension
dbr
:Continuous_predicate
dbr
:Contradiction
dbr
:Contraposition
dbr
:Converse_relation
dbr
:Theories_of_iterated_inductive_definitions
dbr
:Equational_logic
dbr
:Equiconsistency
dbr
:Proof-theoretic_semantics
dbr
:Ludics
dbr
:Löwenheim–Skolem_theorem
dbr
:Structural_induction
dbr
:Compactness_theorem
dbr
:Complete_theory
dbr
:Completeness_(logic)
dbr
:Friedberg–Muchnik_theorem
dbr
:Friedman's_SSCG_function
dbr
:Kripke_semantics
dbr
:Kruskal's_tree_theorem
dbr
:Proposition
dbr
:Stratification_(mathematics)
dbr
:Strength_(mathematical_logic)
dbr
:Structuralism_(philosophy_of_mathematics)
dbr
:Structure_(mathematical_logic)
dbr
:Substructure_(mathematics)
dbr
:Successor_function
dbr
:Superposition_calculus
dbr
:Surreal_number
dbr
:Truth_function
dbr
:Turing's_proof
dbr
:Game_semantics
dbr
:Gödel's_β_function
dbr
:Gödel_logic
dbr
:Gödel_numbering
dbr
:Laver_table
dbr
:Laws_of_Form
dbr
:Lindström's_theorem
dbr
:Logical_graph
dbr
:Logical_machine
dbr
:Non-standard_model_of_arithmetic
dbr
:Finitary_relation
dbr
:Barwise_compactness_theorem
dbr
:Diagonal_lemma
dbr
:Diagram_(mathematical_logic)
dbr
:Formal_calculation
dbr
:Formal_grammar
dbr
:Formulario_mathematico
dbr
:Foundations_of_mathematics
dbr
:Fragment_(logic)
dbr
:Glossary_of_Principia_Mathematica
dbr
:Hilbert's_program
dbr
:Hilbert–Bernays_provability_conditions
dbr
:Hintikka_set
dbr
:Knuth's_Simpath_algorithm
dbr
:List_of_Hilbert_systems
dbr
:Recursive_definition
dbr
:Logical_equivalence
dbr
:Well-formed_formula
dbr
:Mathematical_proof
dbr
:Predicate_(mathematical_logic)
dbr
:Prime_model
dbr
:Proof_theory
dbr
:Relation_algebra
dbr
:Gödel's_incompleteness_theorems
dbr
:Herbrand_structure
dbr
:Tautology_(logic)
dbr
:Counting
dbr
:Term_(logic)
dbr
:Hypostatic_abstraction
dbr
:Subitizing
dbr
:Absoluteness
dbr
:Abstract_logic
dbr
:Abstract_model_theory
dbr
:Coherent_space
dbr
:Cointerpretability
dbr
:Herbrand_interpretation
dbr
:Term_algebra
dbr
:Term_logic
dbr
:Witness_(mathematics)
dbr
:Mivar-based_approach
dbr
:Model-theoretic_grammar
dbr
:Model_complete_theory
dbr
:Regular_numerical_predicate
dbr
:Double_turnstile
dbr
:Axiom
dbr
:Bunched_logic
dbr
:Büchi-Elgot-Trakhtenbrot_theorem
dbr
:Special_case
dbr
:Class_logic
dbr
:Classical_mathematics
dbr
:Free_choice_inference
dbr
:Ground_expression
dbr
:Grundlagen_der_Mathematik
dbr
:Hub_labels
dbr
:Impredicativity
dbr
:Indicator_function
dbr
:Infinitesimal
dbr
:König's_theorem_(set_theory)
dbr
:On_Formally_Undecidable_Propositions_o...cipia_Mathematica_and_Related_Systems
dbr
:Original_proof_of_Gödel's_completeness_theorem
dbr
:Cantor's_paradox
dbr
:Cartesian_monoid
dbr
:Categorical_theory
dbr
:Set_theory
dbr
:Monadic_second-order_logic
dbr
:Schröder–Bernstein_property
dbr
:Semantics_of_logic
dbr
:Turnstile_(symbol)
dbr
:Type_(model_theory)
dbr
:Variable_(mathematics)
dbr
:WFF_'N_PROOF
dbr
:Saturated_model
dbr
:Extension_by_definitions
dbr
:Extension_by_new_constant_and_function_names
dbr
:Extensions_of_First_Order_Logic
dbr
:Implementation_of_mathematics_in_set_theory
dbr
:List_of_statements_independent_of_ZFC
dbr
:Literal_(mathematical_logic)
dbr
:Semicomputable_function
dbr
:Finitary
dbr
:Residuated_Boolean_algebra
dbr
:Residuated_lattice
dbr
:Rosser's_trick
dbr
:Ordinal_logic
dbr
:Ultraproduct
dbr
:Vacuous_truth
dbr
:Semantic_theory_of_truth
dbr
:Simplification_of_disjunctive_antecedents
dbr
:T-schema
dbr
:Solèr's_theorem
dbr
:Non-wellfounded_mereology
dbr
:Rules_of_passage_(logic)
dbr
:Reverse_Mathematics:_Proofs_from_the_Inside_Out
dbr
:Tarski's_undefinability_theorem
dbr
:Outline_of_logic
dbr
:Slicing_the_Truth
dbr
:Rathjen's_psi_function
dbr
:Truth-value_semantics
dbr
:S2S_(mathematics)
is
dcterms:
subject
of
dbr
:Proof_of_impossibility
dbr
:Proof_sketch_for_Gödel's_first_incompleteness_theorem
dbr
:Quantum_logic
dbr
:Elementary_definition
dbr
:Elementary_equivalence
dbr
:Elementary_sentence
dbr
:Elementary_theory
dbr
:End_extension
dbr
:Entscheidungsproblem
dbr
:Enumeration_reducibility
dbr
:List_of_first-order_theories
dbr
:Modal_logic
dbr
:Model_theory
dbr
:Lévy_hierarchy
dbr
:Löb's_theorem
dbr
:Mereology
dbr
:Metalogic
dbr
:Metamathematics
dbr
:Boolean_differential_calculus
dbr
:Algebraic_definition
dbr
:Algebraic_semantics_(mathematical_logic)
dbr
:Algebraic_sentence
dbr
:Algebraic_theory
dbr
:Algorithm
dbr
:Algorithmic_technique
dbr
:Algorithmic_transparency
dbr
:Archive_for_Mathematical_Logic
dbr
:Beta-model
dbr
:Beth_definability
dbr
:List_of_mathematical_symbols_by_subject
dbr
:Peano_axioms
dbr
:Reverse_mathematics
dbr
:Curry's_paradox
dbr
:Cyclic_negation
dbr
:Universe_(mathematics)
dbr
:De_Bruijn_Factor
dbr
:Dedekind_number
dbr
:Definable_set
dbr
:Independence_(mathematical_logic)
dbr
:Institute_of_Mathematical_Logic_and_Fundamental_Research
dbr
:Institutional_model_theory
dbr
:Interior_algebra
dbr
:Lindenbaum's_lemma
dbr
:List_of_mathematical_logic_topics
dbr
:O-minimal_theory
dbr
:Truth_predicate
dbr
:Notre_Dame_Journal_of_Formal_Logic
dbr
:Peirce's_law
dbr
:Robinson's_joint_consistency_theorem
dbr
:Computability_theory
dbr
:Craig_interpolation
dbr
:Mathematical_logic
dbr
:Mathesis_universalis
dbr
:LowerUnivalents
dbr
:Rewriting
dbr
:Pure_inductive_logic
dbr
:Timeline_of_mathematical_logic
dbr
:Łoś–Vaught_test
dbr
:Entitative_graph
dbr
:Enumeration
dbr
:Equality_(mathematics)
dbr
:Fraïssé_limit
dbr
:Glossary_of_mathematical_symbols
dbr
:Conservative_extension
dbr
:Continuous_predicate
dbr
:Contradiction
dbr
:Contraposition
dbr
:Converse_relation
dbr
:Theories_of_iterated_inductive_definitions
dbr
:Equational_logic
dbr
:Equiconsistency
dbr
:Proof-theoretic_semantics
dbr
:Ludics
dbr
:Löwenheim–Skolem_theorem
dbr
:Structural_induction
dbr
:Compactness_theorem
dbr
:Complete_theory
dbr
:Completeness_(logic)
dbr
:Friedberg–Muchnik_theorem
dbr
:Friedman's_SSCG_function
dbr
:Kripke_semantics
dbr
:Kruskal's_tree_theorem
dbr
:Proposition
dbr
:Stratification_(mathematics)
dbr
:Strength_(mathematical_logic)
dbr
:Structuralism_(philosophy_of_mathematics)
dbr
:Structure_(mathematical_logic)
dbr
:Substructure_(mathematics)
dbr
:Successor_function
dbr
:Superposition_calculus
dbr
:Surreal_number
dbr
:Truth_function
dbr
:Turing's_proof
dbr
:Game_semantics
dbr
:Gödel's_β_function
dbr
:Gödel_logic
dbr
:Gödel_numbering
dbr
:Laver_table
dbr
:Laws_of_Form
dbr
:Lindström's_theorem
dbr
:Logical_graph
dbr
:Logical_machine
dbr
:Non-standard_model_of_arithmetic
dbr
:Finitary_relation
dbr
:Barwise_compactness_theorem
dbr
:Diagonal_lemma
dbr
:Diagram_(mathematical_logic)
dbr
:Formal_calculation
dbr
:Formal_grammar
dbr
:Formulario_mathematico
dbr
:Foundations_of_mathematics
dbr
:Fragment_(logic)
dbr
:Glossary_of_Principia_Mathematica
dbr
:Hilbert's_program
dbr
:Hilbert–Bernays_provability_conditions
dbr
:Hintikka_set
dbr
:Knuth's_Simpath_algorithm
dbr
:List_of_Hilbert_systems
dbr
:Recursive_definition
dbr
:Logical_equivalence
dbr
:Well-formed_formula
dbr
:Mathematical_proof
dbr
:Predicate_(mathematical_logic)
dbr
:Prime_model
dbr
:Proof_theory
dbr
:Relation_algebra
dbr
:Gödel's_incompleteness_theorems
dbr
:Herbrand_structure
dbr
:Tautology_(logic)
dbr
:Counting
dbr
:Term_(logic)
dbr
:Hypostatic_abstraction
dbr
:Subitizing
dbr
:Absoluteness
dbr
:Abstract_logic
dbr
:Abstract_model_theory
dbr
:Coherent_space
dbr
:Cointerpretability
dbr
:Herbrand_interpretation
dbr
:Term_algebra
dbr
:Term_logic
dbr
:Witness_(mathematics)
dbr
:Mivar-based_approach
dbr
:Model-theoretic_grammar
dbr
:Model_complete_theory
dbr
:Regular_numerical_predicate
dbr
:Double_turnstile
dbr
:Axiom
dbr
:Bunched_logic
dbr
:Büchi-Elgot-Trakhtenbrot_theorem
dbr
:Special_case
dbr
:Class_logic
dbr
:Classical_mathematics
dbr
:Free_choice_inference
dbr
:Ground_expression
dbr
:Grundlagen_der_Mathematik
dbr
:Hub_labels
dbr
:Impredicativity
dbr
:Indicator_function
dbr
:Infinitesimal
dbr
:König's_theorem_(set_theory)
dbr
:On_Formally_Undecidable_Propositions_o...cipia_Mathematica_and_Related_Systems
dbr
:Original_proof_of_Gödel's_completeness_theorem
dbr
:Cantor's_paradox
dbr
:Cartesian_monoid
dbr
:Categorical_theory
dbr
:Set_theory
dbr
:Monadic_second-order_logic
dbr
:Schröder–Bernstein_property
dbr
:Semantics_of_logic
dbr
:Turnstile_(symbol)
dbr
:Type_(model_theory)
dbr
:Variable_(mathematics)
dbr
:WFF_'N_PROOF
dbr
:Saturated_model
dbr
:Extension_by_definitions
dbr
:Extension_by_new_constant_and_function_names
dbr
:Extensions_of_First_Order_Logic
dbr
:Implementation_of_mathematics_in_set_theory
dbr
:List_of_statements_independent_of_ZFC
dbr
:Literal_(mathematical_logic)
dbr
:Semicomputable_function
dbr
:Finitary
dbr
:Residuated_Boolean_algebra
dbr
:Residuated_lattice
dbr
:Rosser's_trick
dbr
:Ordinal_logic
dbr
:Ultraproduct
dbr
:Vacuous_truth
dbr
:Semantic_theory_of_truth
dbr
:Simplification_of_disjunctive_antecedents
dbr
:T-schema
dbr
:Solèr's_theorem
dbr
:Non-wellfounded_mereology
dbr
:Rules_of_passage_(logic)
dbr
:Reverse_Mathematics:_Proofs_from_the_Inside_Out
dbr
:Tarski's_undefinability_theorem
dbr
:Outline_of_logic
dbr
:Slicing_the_Truth
dbr
:Rathjen's_psi_function
dbr
:Truth-value_semantics
dbr
:S2S_(mathematics)
is
skos:
broader
of
dbc
:Forcing_(mathematics)
dbc
:Classical_logic
dbc
:Automated_theorem_proving
dbc
:Recursion
dbc
:Constructivism_(mathematics)
dbc
:Large-scale_mathematical_formalization_projects
dbc
:Mathematical_logic_hierarchies
dbc
:Proof_theory
dbc
:Formal_theories_of_arithmetic
dbc
:Quantifier_(logic)
dbc
:Independence_results
dbc
:Logical_calculi
dbc
:Mathematical_logicians
dbc
:Set_theory
dbc
:Non-classical_logic
dbc
:Theorems_in_the_foundations_of_mathematics
dbc
:Substitution_(logic)
dbc
:Boolean_algebra
dbc
:Predicate_logic
dbc
:Algorithms
dbc
:Logic_in_computer_science
dbc
:Algebraic_logic
dbc
:Computability_theory
dbc
:Formal_languages
dbc
:Modal_logic
dbc
:Model_theory
dbc
:Type_theory
dbc
:Mathematical_logic_organizations
dbc
:Formal_systems
dbc
:Mathematical_axioms
dbc
:Categorical_logic
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License