About: Elementary class

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Elementary class Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FElementary_class&invfp=IFP_OFF&sas=SAME_AS_OFF

In model theory, a branch of mathematical logic, an elementary class (or axiomatizable class) is a class consisting of all structures satisfying a fixed first-order theory.

Attributes	Values
rdfs:label	Elementare Klasse (de) Elementary class (en) Elementaire klasse (nl)
rdfs:comment	Der Begriff elementare Klasse gehört zur Modelltheorie, einem Teilgebiet der mathematischen Logik. Es geht dabei um die Frage, wie sich Klassen von Strukturen durch Sätze der Prädikatenlogik erster Stufe charakterisieren lassen. (de) In model theory, a branch of mathematical logic, an elementary class (or axiomatizable class) is a class consisting of all structures satisfying a fixed first-order theory. (en) In de modeltheorie, een deelgebied van de wiskundige logica, is een elementaire klasse een klasse die bestaat uit alle die voldoen aan een vaste eerste-ordetheorie. (nl)
dcterms:subject	Model theory
Wikipage page ID	1284226 (xsd:integer)
Wikipage revision ID	1010017125 (xsd:integer)
Link from a Wikipage to another Wikipage	Cambridge University Press Model theory Pseudoelementary class Mathematical logic Class (set theory) Elsevier Compactness theorem Structure (mathematical logic) Gödel's completeness theorem First-order logic Partition of a set Cardinality Model theory Theory (mathematical logic) Iff Injection (mathematics) Second-order logic Sentence (mathematical logic) Signature (logic) Unary function Finite model theory Reduct Springer-Verlag
Link from a Wikipage to an external page	https://archive.org/details/courseinmodelthe0000poiz https://archive.org/details/mathematicallogi1996ebbi
sameAs	Elementary class Elementary class Elementary class Elementary class Elementary class
dbp:wikiPageUsesTemplate	dbt:Citation
has abstract	Der Begriff elementare Klasse gehört zur Modelltheorie, einem Teilgebiet der mathematischen Logik. Es geht dabei um die Frage, wie sich Klassen von Strukturen durch Sätze der Prädikatenlogik erster Stufe charakterisieren lassen. (de) In model theory, a branch of mathematical logic, an elementary class (or axiomatizable class) is a class consisting of all structures satisfying a fixed first-order theory. (en) In de modeltheorie, een deelgebied van de wiskundige logica, is een elementaire klasse een klasse die bestaat uit alle die voldoen aan een vaste eerste-ordetheorie. (nl)
gold:hypernym	Class
prov:wasDerivedFrom	wikipedia-en:Elementary_class?oldid=1010017125&ns=0
page length (characters) of wiki page	8899 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Elementary_class
is Link from a Wikipage to another Wikipage of	List of mathematical logic topics Pseudoelementary class Mathematical logic Ordered exponential field Strength (mathematical logic) Structure (mathematical logic) First-order logic Jacques Chevalier Abstract elementary class Axiomatisable class Axiomatizable class Module (model theory)
is Wikipage redirect of	Axiomatisable class Axiomatizable class Module (model theory)
is foaf:primaryTopic of	wikipedia-en:Elementary_class

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software