| dbo: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) |
| dbo:wikiPageExternalLink |
https://archive.org/details/courseinmodelthe0000poiz https://archive.org/details/mathematicallogi1996ebbi |
| dbo:wikiPageID |
1284226 (xsd:integer) |
| dbo:wikiPageLength |
8899 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1010017125 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Cambridge_University_Press dbr:Model_theory dbr:Pseudoelementary_class dbr:Mathematical_logic dbr:Class_(set_theory) dbr:Elsevier dbr:Compactness_theorem dbr:Structure_(mathematical_logic) dbr:Gödel's_completeness_theorem dbr:First-order_logic dbr:Partition_of_a_set dbr:Cardinality dbc:Model_theory dbr:Theory_(mathematical_logic) dbr:Iff dbr:Injection_(mathematics) dbr:Second-order_logic dbr:Sentence_(mathematical_logic) dbr:Signature_(logic) dbr:Unary_function dbr:Finite_model_theory dbr:Reduct dbr:Springer-Verlag |
| dbp:wikiPageUsesTemplate |
dbt:Citation |
| dct:subject |
dbc:Model_theory |
| gold:hypernym |
dbr:Class |
| 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) |
| rdfs:label |
Elementare Klasse (de) Elementary class (en) Elementaire klasse (nl) |
| owl:sameAs |
freebase:Elementary class wikidata:Elementary class dbpedia-de:Elementary class dbpedia-nl:Elementary class https://global.dbpedia.org/id/MRzg |
| prov:wasDerivedFrom |
wikipedia-en:Elementary_class?oldid=1010017125&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:List_of_mathematical_logic_topics dbr:Pseudoelementary_class dbr:Mathematical_logic dbr:Ordered_exponential_field dbr:Strength_(mathematical_logic) dbr:Structure_(mathematical_logic) dbr:First-order_logic dbr:Jacques_Chevalier dbr:Abstract_elementary_class dbr:Axiomatisable_class dbr:Axiomatizable_class dbr:Module_(model_theory) |
| is foaf:primaryTopic of |
wikipedia-en:Elementary_class |