{"id":9988,"date":"1996-01-01T00:00:00","date_gmt":"1996-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1996\/01\/01\/contributions-to-the-model-theory-of-equality-free-logic\/"},"modified":"1996-01-01T00:00:00","modified_gmt":"1996-01-01T00:00:00","slug":"contributions-to-the-model-theory-of-equality-free-logic","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/barcelona\/contributions-to-the-model-theory-of-equality-free-logic\/","title":{"rendered":"Contributions to the model theory of equality-free logic."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Pilar Dellunde Clave <\/strong><\/h2>\n<p>La tesis doctoral \u00abcontributions to the model theory of equality-free logic\u00bb es un estudio de la teoria de modelos de la logica sin identidad. Se estudia el fragmento de la logica de primer orden compuesto por las formulas que no tienen el simbolo de identidad. Los conceptos fundamentales estudiados son el de \u00abcongruencia de leibniz\u00bb y el de \u00abrelacion de parentesco (relative relation)\u00bb. El interes actual de estas nociones procede de los trabajos de w. Blok y de d. Pigozzi.  hemos estudiado esta logica desde el punto de vista de la teoria de modelos clasica, desarrollando tecnicas usuales en teoria de modelos: metodo de los diagramas, sistemas de back-and-forth, etc. Con el fin de obtener caracterizaciones algebraicas de la equiValencia elemental en esta logica y teoremas de preservacion. Una de las contribuciones mas importantes de este trabajo es la caracterizacion de los enunciados de primer orden que son logicamente equivalentes a un enunciado sin identidad.  hemos introducido las nociones de modelo saturado, universal y homogeneo sin identidad.  hemos estudiado sus propiedades y las hemos comparado con las de las nociones analogas en logica de primer orden con identidad. Finalmente hemos estudiado el fragmento universal de horn sin identidad de los lenguajes infinitarios    , con   y  cardinales infinitos regulares. Hemos obtenido resultados de caracterizacion y de preservacion.  usando estos resultados hemos demostrado teoremas de interpolacion y definibilidad para este fragmento.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Contributions to the model theory of equality-free logic.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Contributions to the model theory of equality-free logic. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Pilar Dellunde Clave <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Barcelona<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1996<\/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>Ramon Jansana Ferrer<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Josep Mar\u00eda Font Llovet <\/li>\n<li>Margarita Otero Dominguez (vocal)<\/li>\n<li>Rafael Farre Cirera (vocal)<\/li>\n<li>Don Pigozzi (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Pilar Dellunde Clave La tesis doctoral \u00abcontributions to the model theory of equality-free logic\u00bb es un estudio [&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,3747,3748,10816,19007],"tags":[33762,19009,10820,33758,19011,19010],"class_list":["post-9988","post","type-post","status-publish","format-standard","hentry","category-barcelona","category-logica","category-logica-deductiva","category-logica-matematica","category-teoria-de-modelos","tag-don-pigozzi","tag-josep-maria-font-llovet","tag-margarita-otero-dominguez","tag-pilar-dellunde-clave","tag-rafael-farre-cirera","tag-ramon-jansana-ferrer"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/9988","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=9988"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/9988\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=9988"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=9988"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=9988"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}