Preservation Theorems for AE-Sentences

Volver a la Vista simple
dc.conicet.fuenteCrossref
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca
dc.conicet.organizacionUniversidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física
dc.conicet.organizacionUniversidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.produccionid13161661
dc.contributor.authorCastaño, Diego Nicolás
dc.contributor.authorCampercholi, Miguel Alejandro Carlos
dc.contributor.authorVaggione, Diego Jose
dc.date.accessioned2026-07-07T14:54:52Z
dc.date.available2026-07-07T14:54:52Z
dc.date.issued2025-09-10
dc.date.updated2026-06-26T10:37:01Z
dc.description.abstractAn AE-sentence is a sentence of the form ∀x1 ... xn∃! z1 ... zm α(x, z), where α is a finiteconjunction of equations. Given an arbitrary quasivariety Q, we give a purely semantical characterizationof when a classK ⊆ Qwith S(K) = Q is axiomatizable relative to Q by AE-sentences. Along the way,we also characterize axiomatizability by generalized AE-sentences, which are of the form described above,except that both the number of existential quantifiers and of equations in α are allowed to be infinite. Thearticle concludes with an analysis of how the main theorems can be improved in the context of finitelygenerated quasivarieties.es
dc.description.filFil: Castaño, Diego Nicolás. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina
dc.description.filFil: Campercholi, Miguel Alejandro Carlos. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina
dc.description.filFil: Vaggione, Diego Jose. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina
dc.formatapplication/pdfes
dc.identifier.citationCastaño, Diego Nicolás; Campercholi, Miguel Alejandro Carlos; Vaggione, Diego Jose; Preservation Theorems for AE-Sentences; Cambridge University Press; Journal of Symbolic Logic; 10-9-2025; 1-17es
dc.identifier.institucionalCONICET
dc.identifier.issn0022-4812es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/291111
dc.journal.ciudadNueva Yorkes
dc.journal.pagination1-17es
dc.journal.paisEstados Unidoses
dc.journal.titleJournal of Symbolic Logices
dc.language.isoenges
dc.publisherCambridge University Presses
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/https://www.cambridge.org/core/product/identifier/S002248122510128X/type/journal_article
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1017/jsl.2025.10128
dc.rightsinfo:eu-repo/semantics/restrictedAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectAE-SENTENCEes
dc.subjectINTERSECTION PROPERTYes
dc.subjectPRESERVATION THEORYes
dc.subjectQUASIVARIETIESes
dc.subject.classificationMatemática Puraes
dc.subject.classificationMatemáticases
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titlePreservation Theorems for AE-Sentenceses
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.e94c7ab6-a67f-48e4-b182-603d1eefb4cb_B.pdf
Tamaño:
259.27 KB
Formato:
Adobe Portable Document Format
Solicitar

Colecciones

Articulos(INMABB)
Volver a la Vista simple