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:
Elementary theory
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Mathematical logic
Property
Value
dbo:
description
mathematical logic
(en)
dbo:
wikiPageWikiLink
dbr
:Elementary_theory_of_the_reals
dbr
:Finite_fields
dbr
:Elementary_definition
dbr
:Mathematical_logic
dbr
:Abelian_group
dbr
:Set_theory
dbr
:Finite_group
dbr
:Real_closed_field
dbr
:Group_(mathematics)
dbr
:Tarski's_axioms
dbr
:First-order_logic
dbr
:Field_(mathematics)
dbr
:Finitary
dbc
:Mathematical_logic
dbr
:Theory_(mathematical_logic)
dbr
:Algebraic_theory
dbr
:Elementary_sentence
dbr
:Consistency_strength
dbp:
date
January 2021
(en)
dbp:
reason
It would be nice to have some examples of elementary theories which are not algebraic.
(en)
dbp:
wikiPageUsesTemplate
dbt
:Mathlogic-stub
dbt
:Expand_section
dbt
:Short_description
dct:
subject
dbc
:Mathematical_logic
rdfs:
label
Elementary theory
(en)
owl:
sameAs
freebase
:Elementary theory
wikidata
:Elementary theory
dbpedia-global
:Elementary theory
prov:
wasDerivedFrom
wikipedia-en
:Elementary_theory?oldid=1217913002&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Elementary_theory
is
dbo:
wikiPageWikiLink
of
dbr
:Elementary_definition
dbr
:Tarski's_axioms
dbr
:Beryl_May_Dent
dbr
:Yury_Yershov
dbr
:Algebraic_theory
dbr
:Elementary_sentence
is
foaf:
primaryTopic
of
wikipedia-en
:Elementary_theory
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International
✕