{"id":49052,"date":"2021-01-16T03:07:44","date_gmt":"2021-01-16T03:07:44","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/estructuras-generales-de-segundo-orden\/"},"modified":"2021-01-16T03:07:44","modified_gmt":"2021-01-16T03:07:44","slug":"estructuras-generales-de-segundo-orden","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/barcelona\/estructuras-generales-de-segundo-orden\/","title":{"rendered":"Estructuras generales de segundo orden."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Ignasi Jane Palau <\/strong><\/h2>\n<p>Se tratan diversos temas de logica de segundo orden todos ellos relacionados con el concepto de estructura general. Se presenta una nueva caracterizacion no semantica de este concepto  se prueban teoremas de isomorfismo y homomorfismo y se discute la definibilidad de la relacion de identidad entre individuos. Se estudian distintos teoremas de compacidad y de lowenheim-skolem y se presenta un metodo de construccion de estructuras generales. Se muestra como reducir la logica general de segundo orden a logica multivariada y esta  a su vez a logica usual d e primer orden. Finalmente se aplican metodos aqui desarrollados para discutir aspectos de la aritmetica de segundo orden. La tesis concluye con un procedimiento de obtencion de modelos de la aritmetica de peano de segundo orden a partir de uno de primer orden.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Estructuras generales de segundo orden.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Estructuras generales de segundo orden. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Ignasi Jane Palau <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Barcelona<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1982<\/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: Francisco Sales Valles <\/li>\n<li>Alejandro Sanvisens Marfull (vocal)<\/li>\n<li>Manuel Garrido Gimenez (vocal)<\/li>\n<li>Jes\u00fas Mosterin De Las Heras (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Ignasi Jane Palau Se tratan diversos temas de logica de segundo orden todos ellos relacionados con el [&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,45131,3747,3748,19007],"tags":[169,109656,113345,108772,108331],"class_list":["post-49052","post","type-post","status-publish","format-standard","hentry","category-barcelona","category-fundamentos-de-matematicas","category-logica","category-logica-deductiva","category-teoria-de-modelos","tag-alejandro-sanvisens-marfull","tag-francisco-sales-valles","tag-ignasi-jane-palau","tag-jesus-mosterin-de-las-heras","tag-manuel-garrido-gimenez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/49052","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=49052"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/49052\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=49052"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=49052"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=49052"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}