This HTML5 document contains 136 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Timeline_of_mathematical_logic
rdf:type
yago:Chronology106503224 yago:WikicatMathematicsTimelines yago:Timeline106504965 yago:Record106647206 yago:Communication100033020 yago:Evidence106643408 yago:WrittenRecord106502378 yago:Abstraction100002137 yago:Indication106797169
rdfs:label
Timeline of mathematical logic
rdfs:comment
A timeline of mathematical logic. See also History of logic.
dcterms:subject
dbc:Mathematical_logic dbc:Mathematics_timelines dbc:History_of_mathematics
dbo:wikiPageID
19374379
dbo:wikiPageRevisionID
1106439749
dbo:wikiPageWikiLink
dbr:James_Ax dbr:Ray_Solomonoff dbr:Jerzy_Łoś dbr:An_Investigation_of_the_Laws_of_Thought dbr:Kurt_Gödel dbr:Reverse_Mathematics dbr:Hyperreals dbr:History_of_logic dbr:Transfer_principle dbr:Non-standard_analysis dbr:Turing_machine dbr:Boris_Trakhtenbrot dbr:Löwenheim-Skolem_theorem dbr:Forcing_(mathematics) dbr:Turing_degree dbr:Paul_Cohen_(mathematician) dbr:Partial_order dbr:Kolmogorov_complexity dbr:William_Boone_(mathematician) dbr:Real_number dbr:Word_problem_for_semigroups dbr:Saul_Kripke dbr:Stephen_Kleene dbr:Grothendieck dbr:Alfred_Tarski dbr:Ax-Grothendieck_theorem dbr:Set_theory dbr:Ultraproduct dbr:Trakhtenbrot's_theorem dbr:Georg_Cantor dbr:Yuri_Matiyasevich dbr:Completeness_theorem dbr:Morley's_categoricity_theorem dbr:Normal_modal_logic dbr:Word_problem_for_groups dbc:Mathematics_timelines dbr:Andrey_Markov_Jr. dbr:Ernst_Zermelo dbr:Wilhelm_Ackermann dbr:Intuitionistic_propositional_calculus dbr:Michael_D._Morley dbr:Hilbert dbr:Compactness_theorem dbr:Mojzesj_Presburger dbr:Universal_Turing_machine dbr:Algebraic_number dbr:Stable_theory dbr:Alan_Turing dbr:Timeline dbr:Abraham_Robinson dbr:Solomonoff_induction dbr:Edward_Vermilye_Huntington dbr:Topological_closure dbr:Continuum_hypothesis dbr:Non-standard_model_of_arithmetic dbr:Back-and-forth_method dbr:Thoralf_Skolem dbr:Axiom_of_choice dbr:Anatoly_Maltsev dbr:Halting_problem dbr:Uncountable dbr:Löwenheim–Skolem_theorem dbr:Oskar_Becker dbr:Lambda_calculus dbr:Gödel's_incompleteness_theorem dbr:Diophantine_equation dbr:Leopold_Löwenheim dbc:History_of_mathematics dbr:Undecidable_problem dbr:Arend_Heyting dbr:Pyotr_Novikov dbr:Harvey_Friedman dbr:Alonzo_Church dbr:Semantic_tableau dbr:Emil_Leon_Post dbr:Complete_theory dbr:Cardinal_number dbr:Presburger_arithmetic dbr:Algebraic_variety dbr:Peano_arithmetic dbr:General_recursive_function dbr:Łoś-Vaught_test dbr:Boolean_algebra_(logic) dbr:Finitely_presented_group dbr:George_Boole dbr:Saharon_Shelah dbr:Superstable_theory dbr:Modal_logic dbr:Mathematical_logic dbr:Andrei_Kolmogorov dbr:Closure_algebra dbr:Countable dbr:Computably_enumerable dbr:Cantor's_diagonal_argument dbr:Entscheidungsproblem dbr:Evertt_William_Beth dbr:C._I._Lewis dbr:Provability_logic dbc:Mathematical_logic dbr:McKinsey dbr:First-order_logic dbr:Stanley_Tennenbaum dbr:Church-Turing_Thesis dbr:Tennenbaum's_theorem dbr:C._H._Langford dbr:Emil_Post dbr:Robert_Lawson_Vaught dbr:Cantor's_first_uncountability_proof
owl:sameAs
wikidata:Q7806105 n14:4wLzM yago-res:Timeline_of_mathematical_logic
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Mathematical_logic dbt:Short_description dbt:Use_dmy_dates dbt:Annotated_link
dbo:abstract
A timeline of mathematical logic. See also History of logic.
prov:wasDerivedFrom
wikipedia-en:Timeline_of_mathematical_logic?oldid=1106439749&ns=0
dbo:wikiPageLength
7995
foaf:isPrimaryTopicOf
wikipedia-en:Timeline_of_mathematical_logic