dc.creator | Cordón Franco, Andrés | es |
dc.creator | Fernández Margarit, Alejandro | es |
dc.creator | Lara Martín, Francisco Félix | es |
dc.date.accessioned | 2021-04-09T07:49:00Z | |
dc.date.available | 2021-04-09T07:49:00Z | |
dc.date.issued | 2007 | |
dc.identifier.citation | Cordón Franco, A., Fernández Margarit, A. y Lara Martín, F.F. (2007). A Note on Σ₁-Maximal Models. The Journal of Symbolic Logic, 72 (3), 1072-1078. | |
dc.identifier.issn | 0022-4812 | es |
dc.identifier.uri | https://hdl.handle.net/11441/106902 | |
dc.description.abstract | Let T be a recursive theory in the language of first order Arithmetic. We prove that if T extends: (a) the scheme of parameter free Δ₁-minimization (plus exp), or (b) the scheme of parameter free Π₁-induction, then there are no Σ₁-maximal models with respect to T. As a consequence, we obtain a new proof of an unpublished theorem of Jeff Paris stating that Σ₁-maximal models with respect to IΔ₀ + exp do not satisfy the scheme of Σ₁-collection BΣ₁. | es |
dc.description.sponsorship | Ministerio de Educación y Ciencia MTM2005-08658 | es |
dc.description.sponsorship | Junta de Andalucía TIC-137 | es |
dc.format | application/pdf | es |
dc.format.extent | 7 | es |
dc.language.iso | eng | es |
dc.publisher | Association for Symbolic Logic | es |
dc.relation.ispartof | The Journal of Symbolic Logic, 72 (3), 1072-1078. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | A Note on Σ₁-Maximal Models | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | MTM2005-08658 | es |
dc.relation.projectID | TIC-137 | es |
dc.relation.publisherversion | https://www.jstor.org/stable/27588586?seq=1#metadata_info_tab_contents | es |
dc.journaltitle | The Journal of Symbolic Logic | es |
dc.publication.volumen | 72 | es |
dc.publication.issue | 3 | es |
dc.publication.initialPage | 1072 | es |
dc.publication.endPage | 1078 | es |
dc.contributor.funder | Ministerio de Educación y Ciencia (MEC). España | es |
dc.contributor.funder | Junta de Andalucía | es |