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 class
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Class consisting of all structures satisfying a fixed first-order theory
Property
Value
dbo:
description
класс, состоящий из всех структур, удовлетворяющих фиксированной теории первого порядка
(ru)
class consisting of all structures satisfying a fixed first-order theory
(en)
dbo:
wikiPageExternalLink
https://archive.org/details/courseinmodelthe0000poiz
https://archive.org/details/mathematicallogi1996ebbi
dbo:
wikiPageWikiLink
dbr
:Reduct
dbr
:Class_(set_theory)
dbr
:Signature_(logic)
dbr
:Cambridge_University_Press
dbr
:First-order_logic
dbr
:Cardinality
dbr
:Gödel's_completeness_theorem
dbr
:Compactness_theorem
dbr
:Sentence_(mathematical_logic)
dbr
:Structure_(mathematical_logic)
dbr
:Partition_of_a_set
dbc
:Model_theory
dbr
:Mathematical_logic
dbr
:Model_theory
dbr
:Pseudoelementary_class
dbr
:Unary_function
dbr
:Elsevier
dbr
:Finite_model_theory
dbr
:Second-order_logic
dbr
:Springer-Verlag
dbr
:Theory_(mathematical_logic)
dbr
:Iff
dbr
:Injection_(mathematics)
dbp:
wikiPageUsesTemplate
dbt
:Citation
dbt
:Short_description
dct:
subject
dbc
:Model_theory
gold:
hypernym
dbr
:Class
rdfs:
label
Elementary class
(en)
Elementare Klasse
(de)
Elementaire klasse
(nl)
owl:
sameAs
freebase
:Elementary class
wikidata
:Elementary class
dbpedia-nl
:Elementary class
dbpedia-de
:Elementary class
dbpedia-global
:Elementary class
dbr
:Elementary class
prov:
wasDerivedFrom
wikipedia-en
:Elementary_class?oldid=1272955638&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Elementary_class
is
dbo:
wikiPageRedirects
of
dbr
:Axiomatisable_class
dbr
:Axiomatizable_class
dbr
:Module_(model_theory)
is
dbo:
wikiPageWikiLink
of
dbr
:First-order_logic
dbr
:Ordered_exponential_field
dbr
:Jacques_Chevalier
dbr
:Structure_(mathematical_logic)
dbr
:Abstract_elementary_class
dbr
:Axiomatisable_class
dbr
:Axiomatizable_class
dbr
:Mathematical_logic
dbr
:Pseudoelementary_class
dbr
:Strength_(mathematical_logic)
dbr
:List_of_mathematical_logic_topics
dbr
:Module_(model_theory)
is
foaf:
primaryTopic
of
wikipedia-en
:Elementary_class
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International