In mathematical logic, specifically in the discipline of model theory, the Fraïssé limit (also called the Fraïssé construction or Fraïssé amalgamation) is a method used to construct (infinite) mathematical structures from their (finite) substructures. It is a special example of the more general concept of a direct limit in a category. The technique was developed in the 1950s by its namesake, French logician Roland Fraïssé.
| Attributes | Values |
|---|
| rdfs:label
| - Límite de Fraïssé (es)
- Fraïssé limit (en)
|
| rdfs:comment
| - In mathematical logic, specifically in the discipline of model theory, the Fraïssé limit (also called the Fraïssé construction or Fraïssé amalgamation) is a method used to construct (infinite) mathematical structures from their (finite) substructures. It is a special example of the more general concept of a direct limit in a category. The technique was developed in the 1950s by its namesake, French logician Roland Fraïssé. (en)
- En lógica matemática, específicamente en la disciplina de la teoría de modelos, el límite de Fraïssé (también llamado construcción de Fraïssé o amalgamación de Fraïssé) es un método utilizado para construir estructuras matemáticas (infinitas) a partir de sus (finitas). Es un ejemplo especial del concepto más general de un límite directo en una categoría . La técnica fue desarrollada en la década de 1950 por su homónimo, el lógico francés . (es)
|
| foaf:depiction
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| thumbnail
| |
| has abstract
| - In mathematical logic, specifically in the discipline of model theory, the Fraïssé limit (also called the Fraïssé construction or Fraïssé amalgamation) is a method used to construct (infinite) mathematical structures from their (finite) substructures. It is a special example of the more general concept of a direct limit in a category. The technique was developed in the 1950s by its namesake, French logician Roland Fraïssé. The main point of Fraïssé's construction is to show how one can approximate a (countable) structure by its finitely generated substructures. Given a class of finite relational structures, if satisfies certain properties (described below), then there exists a unique countable structure , called the Fraïssé limit of , which contains all the elements of as substructures. The general study of Fraïssé limits and related notions is sometimes called Fraïssé theory. This field has seen wide applications to other parts of mathematics, including topological dynamics, functional analysis, and Ramsey theory. (en)
- En lógica matemática, específicamente en la disciplina de la teoría de modelos, el límite de Fraïssé (también llamado construcción de Fraïssé o amalgamación de Fraïssé) es un método utilizado para construir estructuras matemáticas (infinitas) a partir de sus (finitas). Es un ejemplo especial del concepto más general de un límite directo en una categoría . La técnica fue desarrollada en la década de 1950 por su homónimo, el lógico francés . El punto principal de la construcción de Fraïssé es mostrar cómo se puede aproximar una estructura ( contable ) por sus subestructuras generadas finitamente. Dada una clase de estructuras relacionales finitas, si satisface ciertas propiedades (descritas a continuación), entonces existe una estructura contable única , llamado límite de Fraïssé de , que contiene todos los elementos de como . El estudio general de los límites de Fraïssé y las nociones relacionadas, a veces se denomina teoría de Fraïssé. Este campo ha visto amplias aplicaciones a otras partes de las matemáticas, incluida la , el análisis funcional y la teoría de Ramsey . (es)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is known for
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
