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:
http://dbpedia.org/resource/Template:Mathematical_logic
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
44143935
(xsd:integer)
dbo:
wikiPageRevisionID
1119509180
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Portal-inline
dbt
:Smaller
dbt
:Nowarp
dbt
:Navbox
dbt
:Tl
dbt
:Logic_templates
dbt
:Collapsible_option
dbt
:Documentation
prov:
wasDerivedFrom
wikipedia-en
:Template:Mathematical_logic?oldid=1119509180&ns=10
is
dbp:
wikiPageUsesTemplate
of
dbr
:Cantor's_first_set_theory_article
dbr
:Cantor's_theorem
dbr
:Cartesian_product
dbr
:Power_set
dbr
:Primitive_recursive_function
dbr
:Principia_Mathematica
dbr
:Proof_of_impossibility
dbr
:Proof_sketch_for_Gödel's_first_incompleteness_theorem
dbr
:Propositional_calculus
dbr
:Propositional_formula
dbr
:Schröder–Bernstein_theorem
dbr
:Element_(mathematics)
dbr
:Elementary_diagram
dbr
:Elementary_equivalence
dbr
:Elementary_function_arithmetic
dbr
:Elementary_proof
dbr
:Entscheidungsproblem
dbr
:Model_theory
dbr
:Monadic_predicate_calculus
dbr
:Mostowski_collapse_lemma
dbr
:NP_(complexity)
dbr
:New_Foundations
dbr
:Metavariable
dbr
:Universal_quantification
dbr
:Von_Neumann_cardinal_assignment
dbr
:Algebra_of_sets
dbr
:Argument
dbr
:Argument_of_a_function
dbr
:List_of_set_identities_and_relations
dbr
:Reverse_mathematics
dbr
:Ultrafilter_(set_theory)
dbr
:Universe_(mathematics)
dbr
:Validity_(logic)
dbr
:Von_Neumann–Bernays–Gödel_set_theory
dbr
:Decidability_(logic)
dbr
:Decidability_of_first-order_theories_of_the_real_numbers
dbr
:Decision_problem
dbr
:Independence_(mathematical_logic)
dbr
:Induction,_bounding_and_least_number_principles
dbr
:Infinite-valued_logic
dbr
:Infinite_set
dbr
:Inhabited_set
dbr
:Institutional_model_theory
dbr
:Interpretation_(logic)
dbr
:List_of_mathematical_proofs
dbr
:Transfinite_induction
dbr
:O-minimal_theory
dbr
:Tarski's_axioms
dbr
:Predicate_variable
dbr
:Proof_by_infinite_descent
dbr
:Truth_predicate
dbr
:Robinson's_joint_consistency_theorem
dbr
:Complement_(set_theory)
dbr
:Computability_theory
dbr
:Computable_function
dbr
:Computer-assisted_proof
dbr
:Consistency
dbr
:Constructible_universe
dbr
:Countable_set
dbr
:Course-of-values_recursion
dbr
:Material_conditional
dbr
:Mathematical_induction
dbr
:Mathematical_logic
dbr
:Russell's_paradox
dbr
:General_set_theory
dbr
:Generic_filter
dbr
:Mathematical_object
dbr
:Negation
dbr
:Square_of_opposition
dbr
:Rasiowa–Sikorski_lemma
dbr
:Tarski–Grothendieck_set_theory
dbr
:Quantifier_rank
dbr
:Timeline_of_mathematical_logic
dbr
:Łoś–Vaught_test
dbr
:Church–Turing_thesis
dbr
:Class_(set_theory)
dbr
:Enumeration
dbr
:Equality_(mathematics)
dbr
:Fraïssé_limit
dbr
:Gentzen's_consistency_proof
dbr
:Naive_set_theory
dbr
:Condensation_lemma
dbr
:Conservative_extension
dbr
:Constructive_set_theory
dbr
:Continuum_hypothesis
dbr
:Contradiction
dbr
:Contraposition
dbr
:Theorem
dbr
:Epsilon-induction
dbr
:Equiconsistency
dbr
:Equivalent_definitions_of_mathematical_structures
dbr
:Proof-theoretic_semantics
dbr
:Open_formula
dbr
:Arity
dbr
:Logical_conjunction
dbr
:Löwenheim–Skolem_theorem
dbr
:Structural_induction
dbr
:Club_filter
dbr
:Compactness_theorem
dbr
:Complete_theory
dbr
:Completeness_(logic)
dbr
:Computable_set
dbr
:Computably_enumerable_set
dbr
:Zermelo–Fraenkel_set_theory
dbr
:Empty_set
dbr
:Feferman–Vaught_theorem
dbr
:Functional_completeness
dbr
:Functional_predicate
dbr
:Identity_type
dbr
:Kripke–Platek_set_theory
dbr
:Ordered_pair
dbr
:Paradoxes_of_set_theory
dbr
:Primitive_recursive_arithmetic
dbr
:Mathematical_structure
dbr
:Spectrum_of_a_sentence
dbr
:Spectrum_of_a_theory
dbr
:Stratification_(mathematics)
dbr
:Strength_(mathematical_logic)
dbr
:Structure_(mathematical_logic)
dbr
:Substitution_(logic)
dbr
:Substructure_(mathematics)
dbr
:Successor_cardinal
dbr
:Symbol_(formal)
dbr
:Syntax_(logic)
dbr
:Automated_theorem_proving
dbr
:Aczel's_anti-foundation_axiom
dbr
:Truth_table
dbr
:Truth_value
dbr
:Turing's_proof
dbr
:Type_theory
dbr
:Well-founded_relation
dbr
:Domain_of_a_function
dbr
:Gödel's_completeness_theorem
dbr
:Gödel_numbering
dbr
:Joint_embedding_property
dbr
:Large_cardinal
dbr
:Law_of_excluded_middle
dbr
:Law_of_noncontradiction
dbr
:Lindström's_theorem
dbr
:Logical_biconditional
dbr
:Logical_truth
dbr
:Logicism
dbr
:Robinson_arithmetic
dbr
:Non-standard_model_of_arithmetic
dbr
:Proof_without_words
dbr
:Three-valued_logic
dbr
:Aleph_number
dbr
:Alphabet_(formal_languages)
dbr
:Amalgamation_property
dbr
:Equivalence_relation
dbr
:Finitary_relation
dbr
:Finite_set
dbr
:First-order_logic
dbr
:Cardinal_assignment
dbr
:Cardinal_number
dbr
:Cardinality
dbr
:Church_encoding
dbr
:Diagonal_intersection
dbr
:Diagram_(mathematical_logic)
dbr
:Fodor's_lemma
dbr
:Formal_grammar
dbr
:Formal_language
dbr
:Formal_proof
dbr
:Formal_system
dbr
:Formation_rule
dbr
:Foundations_of_mathematics
dbr
:Hilbert's_axioms
dbr
:Hilbert's_second_problem
dbr
:Kolmogorov_complexity
dbr
:Logical_connective
dbr
:Logical_consequence
dbr
:Logical_constant
dbr
:Proof_by_contradiction
dbr
:Logical_disjunction
dbr
:Natural_deduction
dbr
:Logical_equality
dbr
:Logical_equivalence
dbr
:Proof_by_exhaustion
dbr
:Uniqueness_quantification
dbr
:Well-formed_formula
dbr
:Mathematical_proof
dbr
:Predicate_(mathematical_logic)
dbr
:Prime_model
dbr
:Proof_theory
dbr
:Quantifier_(logic)
dbr
:Range_of_a_function
dbr
:Recursion
dbr
:Regular_cardinal
dbr
:Gödel's_incompleteness_theorems
dbr
:Halting_problem
dbr
:Hilbert_system
dbr
:Atomic_formula
dbr
:Atomic_model_(mathematical_logic)
dbr
:Atomic_sentence
dbr
:Intersection_(set_theory)
dbr
:Back-and-forth_method
dbr
:Tautology_(logic)
dbr
:Term_(logic)
dbr
:Abstract_logic
dbr
:Abstract_model_theory
dbr
:Lambda_calculus
dbr
:Bijection
dbr
:Binary_operation
dbr
:Surjective_function
dbr
:Syllogism
dbr
:Codomain
dbr
:Hereditary_set
dbr
:Higher-order_logic
dbr
:Term_logic
dbr
:Theory_(mathematical_logic)
dbr
:Transfer_principle
dbr
:Zorn's_lemma
dbr
:Model-theoretic_grammar
dbr
:Model_complete_theory
dbr
:Supertask
dbr
:Transitive_set
dbr
:Uninterpreted_function
dbr
:Axiom
dbr
:Axiom_of_adjunction
dbr
:Axiom_of_choice
dbr
:Axiom_of_constructibility
dbr
:Axiom_of_global_choice
dbr
:Axiom_schema
dbr
:Axiomatic_system
dbr
:Boolean_algebra
dbr
:Boolean_function
dbr
:C-minimal_theory
dbr
:Philosophy_of_mathematics
dbr
:Classical_logic
dbr
:Free_logic
dbr
:Grothendieck_universe
dbr
:Ground_expression
dbr
:Inaccessible_cardinal
dbr
:Injective_function
dbr
:König's_theorem_(set_theory)
dbr
:Metalanguage
dbr
:Cantor's_diagonal_argument
dbr
:Cantor's_paradox
dbr
:Categorical_theory
dbr
:Second-order_logic
dbr
:Set_(mathematics)
dbr
:Set_theory
dbr
:Map_(mathematics)
dbr
:Martin's_axiom
dbr
:Monadic_second-order_logic
dbr
:Turing_machine
dbr
:Rule_of_inference
dbr
:Satisfiability
dbr
:Satisfiability_modulo_theories
dbr
:Semantics_of_logic
dbr
:Sentence_(mathematical_logic)
dbr
:Signature_(logic)
dbr
:Soundness
dbr
:Type_(model_theory)
dbr
:Undecidable_problem
dbr
:Union_(set_theory)
dbr
:Variable_(mathematics)
dbr
:Venn_diagram
dbr
:Von_Neumann_universe
dbr
:Universal_set
dbr
:Saturated_model
dbr
:Saturated_set
dbr
:Expression_(mathematics)
dbr
:Extension_by_definitions
dbr
:Extension_by_new_constant_and_function_names
dbr
:Extensionality
dbr
:Implementation_of_mathematics_in_set_theory
dbr
:List_of_statements_independent_of_ZFC
dbr
:Self-verifying_theories
dbr
:Propositional_variable
dbr
:Existential_quantification
dbr
:Finite-valued_logic
dbr
:Finite_model_theory
dbr
:Richard's_paradox
dbr
:Richardson's_theorem
dbr
:Ross–Littlewood_paradox
dbr
:Morse–Kelley_set_theory
dbr
:Ultraproduct
dbr
:Urelement
dbr
:Semantic_theory_of_truth
dbr
:T-schema
dbr
:Non-logical_symbol
dbr
:Non-standard_model
dbr
:Non-well-founded_set_theory
dbr
:Strongly_minimal_theory
dbr
:Tarski's_theorem_about_choice
dbr
:Tarski's_undefinability_theorem
dbr
:Proof_by_contrapositive
dbr
:Subset
dbr
:Truth-value_semantics
dbr
:Skolem's_paradox
dbr
:Tarski's_high_school_algebra_problem
dbr
:Uncountable_set
dbr
:Weakly_o-minimal_structure
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License