Teorema de Keisler-Shelah
El teorema de Keisler-Shelah afirma que dado un lenguaje L arbitrario, dos L-estructuras son elementalmente equivalentes si y sólo si existe un ultrafiltro para el cual sus ultrapotencias son isomorfas. La instancia en la que L es contable es un teorema estándar de la teoría de modelos y su demostra...
- Autores:
-
Soto Moreno, Paulo Andrés
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2019
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/45748
- Acceso en línea:
- http://hdl.handle.net/1992/45748
- Palabra clave:
- Teoría de modelos
Ultraproductos
Isomorfismo (Matemáticas)
Matemáticas
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-sa/4.0/
| id |
UNIANDES2_e28429971d5bbd5ac3e7997ad0f1613f |
|---|---|
| oai_identifier_str |
oai:repositorio.uniandes.edu.co:1992/45748 |
| network_acronym_str |
UNIANDES2 |
| network_name_str |
Séneca: repositorio Uniandes |
| repository_id_str |
|
| dc.title.es_CO.fl_str_mv |
Teorema de Keisler-Shelah |
| title |
Teorema de Keisler-Shelah |
| spellingShingle |
Teorema de Keisler-Shelah Teoría de modelos Ultraproductos Isomorfismo (Matemáticas) Matemáticas |
| title_short |
Teorema de Keisler-Shelah |
| title_full |
Teorema de Keisler-Shelah |
| title_fullStr |
Teorema de Keisler-Shelah |
| title_full_unstemmed |
Teorema de Keisler-Shelah |
| title_sort |
Teorema de Keisler-Shelah |
| dc.creator.fl_str_mv |
Soto Moreno, Paulo Andrés |
| dc.contributor.advisor.none.fl_str_mv |
Berenstein Opscholtens, Alexander Jonathan |
| dc.contributor.author.none.fl_str_mv |
Soto Moreno, Paulo Andrés |
| dc.contributor.jury.none.fl_str_mv |
Caicedo Ferrer, Xavier |
| dc.subject.armarc.es_CO.fl_str_mv |
Teoría de modelos Ultraproductos Isomorfismo (Matemáticas) |
| topic |
Teoría de modelos Ultraproductos Isomorfismo (Matemáticas) Matemáticas |
| dc.subject.themes.none.fl_str_mv |
Matemáticas |
| description |
El teorema de Keisler-Shelah afirma que dado un lenguaje L arbitrario, dos L-estructuras son elementalmente equivalentes si y sólo si existe un ultrafiltro para el cual sus ultrapotencias son isomorfas. La instancia en la que L es contable es un teorema estándar de la teoría de modelos y su demostración se apoya en argumentos de saturación y la hipótesis del continuo. El problema radica entonces en extender este resultado para lenguajes de cardinal arbitrario k, y para ello, se construye un tipo de ultrafiltro cuyo rol es central para asegurar que las ultrapotencias de una estructura sean k-saturadas. Tales ultrafiltros se denominan k-buenos. El objetivo de este documento es entender dos instancias del teorema de Keisler-Shelah, primero considerando el caso clásico de estructuras de primer orden y, después, el caso de estructuras métricas de la lógica continua. Por último, se dará una demostración del teorema omitiendo la hipótesis del continuo generalizada, debida a Shelah. |
| publishDate |
2019 |
| dc.date.issued.none.fl_str_mv |
2019 |
| dc.date.accessioned.none.fl_str_mv |
2020-09-03T16:12:36Z |
| dc.date.available.none.fl_str_mv |
2020-09-03T16:12:36Z |
| dc.type.spa.fl_str_mv |
Trabajo de grado - Pregrado |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TP |
| format |
http://purl.org/coar/resource_type/c_7a1f |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/1992/45748 |
| dc.identifier.pdf.none.fl_str_mv |
u826987.pdf |
| dc.identifier.instname.spa.fl_str_mv |
instname:Universidad de los Andes |
| dc.identifier.reponame.spa.fl_str_mv |
reponame:Repositorio Institucional Séneca |
| dc.identifier.repourl.spa.fl_str_mv |
repourl:https://repositorio.uniandes.edu.co/ |
| url |
http://hdl.handle.net/1992/45748 |
| identifier_str_mv |
u826987.pdf instname:Universidad de los Andes reponame:Repositorio Institucional Séneca repourl:https://repositorio.uniandes.edu.co/ |
| dc.language.iso.es_CO.fl_str_mv |
spa |
| language |
spa |
| dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.es_CO.fl_str_mv |
54 hojas |
| dc.format.mimetype.es_CO.fl_str_mv |
application/pdf |
| dc.publisher.es_CO.fl_str_mv |
Universidad de los Andes |
| dc.publisher.program.es_CO.fl_str_mv |
Matemáticas |
| dc.publisher.faculty.es_CO.fl_str_mv |
Facultad de Ciencias |
| dc.publisher.department.es_CO.fl_str_mv |
Departamento de Matemáticas |
| dc.source.es_CO.fl_str_mv |
instname:Universidad de los Andes reponame:Repositorio Institucional Séneca |
| instname_str |
Universidad de los Andes |
| institution |
Universidad de los Andes |
| reponame_str |
Repositorio Institucional Séneca |
| collection |
Repositorio Institucional Séneca |
| bitstream.url.fl_str_mv |
https://repositorio.uniandes.edu.co/bitstreams/c4b5f103-30cc-40e3-84fc-0c3e5f800a4b/download https://repositorio.uniandes.edu.co/bitstreams/516b20d3-7a79-4ee4-b63b-21e71d8f110f/download https://repositorio.uniandes.edu.co/bitstreams/9f21e3bf-b8f2-4b58-a1bc-f48bbc71d2df/download |
| bitstream.checksum.fl_str_mv |
fbf8801c17faf0259be338656c123110 995e7756897bfb046e64ff0cbfa99406 e07cf9e48f941136b77e2e09084403df |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio institucional Séneca |
| repository.mail.fl_str_mv |
adminrepositorio@uniandes.edu.co |
| _version_ |
1812133882833666048 |
| spelling |
Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Berenstein Opscholtens, Alexander Jonathanvirtual::5434-1Soto Moreno, Paulo Andrés769bd92e-8c04-46f7-9ce1-5de22c27f91f600Caicedo Ferrer, Xavier2020-09-03T16:12:36Z2020-09-03T16:12:36Z2019http://hdl.handle.net/1992/45748u826987.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/El teorema de Keisler-Shelah afirma que dado un lenguaje L arbitrario, dos L-estructuras son elementalmente equivalentes si y sólo si existe un ultrafiltro para el cual sus ultrapotencias son isomorfas. La instancia en la que L es contable es un teorema estándar de la teoría de modelos y su demostración se apoya en argumentos de saturación y la hipótesis del continuo. El problema radica entonces en extender este resultado para lenguajes de cardinal arbitrario k, y para ello, se construye un tipo de ultrafiltro cuyo rol es central para asegurar que las ultrapotencias de una estructura sean k-saturadas. Tales ultrafiltros se denominan k-buenos. El objetivo de este documento es entender dos instancias del teorema de Keisler-Shelah, primero considerando el caso clásico de estructuras de primer orden y, después, el caso de estructuras métricas de la lógica continua. Por último, se dará una demostración del teorema omitiendo la hipótesis del continuo generalizada, debida a Shelah.The Keisler-Shelah isomorphism theorem asserts that, given an arbitrary language L, two L-structures are elementary equivalent if and only of there exists some ultrafilter for which its corresponding ultrapowers are isomorphic. The instance in which L is countable is a standard theorem from Model Theory, and its proof relies on saturation arguments and the continuum hipothesis. The problem lies in extending this result to languages of arbitrary power k, thus, we construct a type of ultrafilter whose role is determinant to ensure that ultrapowers become k-saturated. Such ultrafilters are called k-good. The objective of this document is to understand two set ups of the Keisler-Shelah isomorphism theorem, first the one of first order logic, and then the case of metric structures of the continuous logic. Finally, we will prove the isomorphism theorem by omitting the generalized continuum hypothesis, following the proof by Shelah.MatemáticoPregrado54 hojasapplication/pdfspaUniversidad de los AndesMatemáticasFacultad de CienciasDepartamento de Matemáticasinstname:Universidad de los Andesreponame:Repositorio Institucional SénecaTeorema de Keisler-ShelahTrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TPTeoría de modelosUltraproductosIsomorfismo (Matemáticas)MatemáticasPublicationhttps://scholar.google.es/citations?user=MVlKsDoAAAAJvirtual::5434-10000-0002-1469-1864virtual::5434-1https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000506192virtual::5434-135d4330d-15bb-4966-b61d-b2dad6b185c8virtual::5434-135d4330d-15bb-4966-b61d-b2dad6b185c8virtual::5434-1TEXTu826987.pdf.txtu826987.pdf.txtExtracted texttext/plain108777https://repositorio.uniandes.edu.co/bitstreams/c4b5f103-30cc-40e3-84fc-0c3e5f800a4b/downloadfbf8801c17faf0259be338656c123110MD54THUMBNAILu826987.pdf.jpgu826987.pdf.jpgIM Thumbnailimage/jpeg5629https://repositorio.uniandes.edu.co/bitstreams/516b20d3-7a79-4ee4-b63b-21e71d8f110f/download995e7756897bfb046e64ff0cbfa99406MD55ORIGINALu826987.pdfapplication/pdf428953https://repositorio.uniandes.edu.co/bitstreams/9f21e3bf-b8f2-4b58-a1bc-f48bbc71d2df/downloade07cf9e48f941136b77e2e09084403dfMD511992/45748oai:repositorio.uniandes.edu.co:1992/457482024-03-13 12:56:27.202http://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co |