http://dbpedia.org/ontology/abstract
|
In the mathematical field of model theory, … In the mathematical field of model theory, the amalgamation property is a property of collections of structures that guarantees, under certain conditions, that two structures in the collection can be regarded as substructures of a larger one. This property plays a crucial role in Fraïssé's theorem, which characterises classes of finite structures that arise asages of countable homogeneous structures. The diagram of the amalgamation property appears in many areas of mathematical logic. Examples include in modal logic as an incestual accessibility relation, and in lambda calculus as a manner of reduction having the Church–Rosser property.duction having the Church–Rosser property.
|
http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Amalgamation_property.svg?width=300 +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://web.archive.org/web/20070927202610/http:/math.chapman.edu/cgi-bin/structures.pl%3FAmalgamation_property +
, http://real-j.mtak.hu/5484/1/StudScientMath_18.pdf +
, https://web.archive.org/web/20070930014439/http:/math.chapman.edu/cgi-bin/structures.pl%3FStrong_amalgamation_property +
, https://web.archive.org/web/20070422004253/http:/math.chapman.edu/cgi-bin/structures.pl +
|
http://dbpedia.org/ontology/wikiPageID
|
11092492
|
http://dbpedia.org/ontology/wikiPageLength
|
6228
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1065879144
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Quantifier_elimination +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/Free_group +
, http://dbpedia.org/resource/Church%E2%80%93Rosser_property +
, http://dbpedia.org/resource/Lambda_calculus +
, http://dbpedia.org/resource/Cambridge_University_Press +
, http://dbpedia.org/resource/Algebraically_closed_field +
, http://dbpedia.org/resource/Structure_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Linear_order +
, http://dbpedia.org/resource/Characteristic_%28algebra%29 +
, http://dbpedia.org/resource/Quotient_group +
, http://dbpedia.org/resource/Signature_%28logic%29 +
, http://dbpedia.org/resource/Diagram_%28category_theory%29 +
, http://dbpedia.org/resource/Span_%28category_theory%29 +
, http://dbpedia.org/resource/Pullback +
, http://dbpedia.org/resource/Pushout_%28category_theory%29 +
, http://dbpedia.org/resource/Joint_embedding_property +
, http://dbpedia.org/resource/File:Amalgamation_property.svg +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Fra%C3%AFss%C3%A9%27s_theorem +
, http://dbpedia.org/resource/Age_%28model_theory%29 +
, http://dbpedia.org/resource/Category:Model_theory +
, http://dbpedia.org/resource/Free_product +
, http://dbpedia.org/resource/Model_theory +
|
http://dbpedia.org/property/date
|
December 2020
|
http://dbpedia.org/property/reason
|
"incestual" seems to be a typo , as googling "incestual accessibility relation" turns up no results other than this article. this needs to be corrected, or if it actually is correct, a citation is needed.
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Clarify +
, http://dbpedia.org/resource/Template:Mathematical_logic +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Model_theory +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Property +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Amalgamation_property?oldid=1065879144&ns=0 +
|
http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Amalgamation_property.svg +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Amalgamation_property +
|
owl:sameAs |
http://www.wikidata.org/entity/Q4739384 +
, http://dbpedia.org/resource/Amalgamation_property +
, http://rdf.freebase.com/ns/m.02q_s56 +
, https://global.dbpedia.org/id/4Pnh6 +
|
rdf:type |
http://dbpedia.org/ontology/Building +
|
rdfs:comment |
In the mathematical field of model theory, … In the mathematical field of model theory, the amalgamation property is a property of collections of structures that guarantees, under certain conditions, that two structures in the collection can be regarded as substructures of a larger one. This property plays a crucial role in Fraïssé's theorem, which characterises classes of finite structures that arise asages of countable homogeneous structures.sages of countable homogeneous structures.
|
rdfs:label |
Amalgamation property
|