{"id":154306,"date":"2026-01-12T17:11:20","date_gmt":"2026-01-12T17:11:20","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/el-teorema-de-lowenheim-en-el-marco-de-la-teoria-de-relativos\/"},"modified":"2026-01-12T17:11:20","modified_gmt":"2026-01-12T17:11:20","slug":"el-teorema-de-lowenheim-en-el-marco-de-la-teoria-de-relativos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/historia\/el-teorema-de-lowenheim-en-el-marco-de-la-teoria-de-relativos\/","title":{"rendered":"El teorema de lowenheim en el marco de la teoria de relativos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Calixto Badesa Cortes <\/strong><\/h2>\n<p>El proposito de esta tesis es analizar en detalle la prueba que hizo lowenheim del teorema que hoy lleva su nombre, describir el marco teorico en el que se efectua la prueba (la teoria de relativos desarrollada por peirce y schroder) y explicar por que este marco teorico hace posible que lowenheim se pregunte (por primera vez en la historia de la logica) por la relacion que existe entre las formulas de un lenguaje formal y sus interpretaciones o modelos. Despues de analizar la prueba de lowenheim, la conclusion a la que se llega es que esta no ha sido interpretada correctamente por los historiadores y que, en contra de lo que tradicionalmente se afirma, lowenheim no probo la version mas debil del teorema (si una formula de primer orden tiene un modelo, tiene un modelo numerable), sino la version del submodelo (si una formula de primer orden tiene un modelo m, entonces tiene un modelo numerable m, que es un submodelo de m).<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>El teorema de lowenheim en el marco de la teoria de relativos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 El teorema de lowenheim en el marco de la teoria de relativos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Calixto Badesa Cortes <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Barcelona<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1991<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Jes\u00fas Mosterin De Las Heras<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Luis Mar\u00eda Laita De La Rica <\/li>\n<li>JavierDe Lorenzo Mart\u00ednez (vocal)<\/li>\n<li>Ignasi Jane Palau (vocal)<\/li>\n<li>Josep Pla Carrera (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Calixto Badesa Cortes El proposito de esta tesis es analizar en detalle la prueba que hizo lowenheim [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[951,104,112435,222,3747,3748,10816],"tags":[65868,113345,27902,108772,3755,10819],"class_list":["post-154306","post","type-post","status-publish","format-standard","hentry","category-barcelona","category-historia","category-historia-de-la-logica","category-historias-especializadas","category-logica","category-logica-deductiva","category-logica-matematica","tag-calixto-badesa-cortes","tag-ignasi-jane-palau","tag-javierde-lorenzo-Martinez","tag-jesus-mosterin-de-las-heras","tag-josep-pla-carrera","tag-luis-maria-laita-de-la-rica"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/154306","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=154306"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/154306\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=154306"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=154306"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=154306"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}