| dbo:abstract |
Στην και στη θεωρία μοντέλων, η μείωση (reduct) μιας αλγεβρικής δομής προκύπτει από την παράλειψη κάποιων από τις πράξεις και τις δομές της δομής αυτής. Το αντίστροφο της "μείωσης" είναι η "επέκταση" ("expansion"). (el) Dalam aljabar semesta dan teori model, pengurangan struktur aljabar diperoleh dengan menghilangkan suatu dari operasi dan relasi mengenai struktur tersebut. Kebalikan "pengurangan" adalah "pengembangan" (in) In universal algebra and in model theory, a reduct of an algebraic structure is obtained by omitting some of the operations and relations of that structure. The opposite of "reduct" is "expansion." (en) |
| dbo:wikiPageExternalLink |
https://archive.org/details/modeltheory0000hodg http://www.thoralf.uwaterloo.ca/htdocs/ualg.html |
| dbo:wikiPageID |
12747972 (xsd:integer) |
| dbo:wikiPageLength |
2465 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1107684507 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Cambridge_University_Press dbr:Model_theory dbr:Algebraic_structure dbc:Universal_algebra dbc:Mathematical_relations dbr:Relation_(mathematics) dbr:Index_set dbr:Universal_algebra dbr:Monoid dbr:Structure_(mathematical_logic) dbr:Addition dbr:Additive_inverse dbc:Algebra dbr:Group_(mathematics) dbc:Model_theory dbr:Springer_Science+Business_Media dbr:Indexed_family dbr:Integer dbr:Natural_number dbr:Operation_(mathematics) dbr:Set_(mathematics) dbr:Subset |
| dbp:wikiPageUsesTemplate |
dbt:About dbt:Cite_book dbt:Short_description |
| dct:subject |
dbc:Universal_algebra dbc:Mathematical_relations dbc:Algebra dbc:Model_theory |
| rdfs:comment |
Στην και στη θεωρία μοντέλων, η μείωση (reduct) μιας αλγεβρικής δομής προκύπτει από την παράλειψη κάποιων από τις πράξεις και τις δομές της δομής αυτής. Το αντίστροφο της "μείωσης" είναι η "επέκταση" ("expansion"). (el) Dalam aljabar semesta dan teori model, pengurangan struktur aljabar diperoleh dengan menghilangkan suatu dari operasi dan relasi mengenai struktur tersebut. Kebalikan "pengurangan" adalah "pengembangan" (in) In universal algebra and in model theory, a reduct of an algebraic structure is obtained by omitting some of the operations and relations of that structure. The opposite of "reduct" is "expansion." (en) |
| rdfs:label |
Reduct (en) Μείωση (μαθηματικά) (el) Pengurangan (teori model) (in) Riduzione (matematica) (it) |
| owl:sameAs |
freebase:Reduct wikidata:Reduct dbpedia-el:Reduct dbpedia-id:Reduct dbpedia-it:Reduct https://global.dbpedia.org/id/Kdqp |
| prov:wasDerivedFrom |
wikipedia-en:Reduct?oldid=1107684507&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Reduct |
| is dbo:wikiPageRedirects of |
dbr:Expansion_(model_theory) |
| is dbo:wikiPageWikiLink of |
dbr:Elementary_class dbr:Beth_definability dbr:Index_of_philosophy_articles_(R–Z) dbr:Interpretation_(model_theory) dbr:List_of_mathematical_logic_topics dbr:Pseudoelementary_class dbr:Expansion_(model_theory) dbr:Relation_algebra dbr:Dominance-based_rough_set_approach dbr:List_of_unsolved_problems_in_mathematics dbr:Separation_relation |
| is foaf:primaryTopic of |
wikipedia-en:Reduct |