Artículo
Läuchli's completeness theorem from a topos-theoretic perspective
Fecha de publicación:
04/2010
Editorial:
Springer
Revista:
Applied Categorical Structures
ISSN:
0927-2852
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
We prove a variant of Läuchli's completeness theorem for intuitionistic predicate calculus. The formulation of the result relies on the observation (due to Lawvere) that Läuchli's theorem is related to the logic of the canonical indexing of the atomic topos of ℤ-sets. We show that the process that transforms Kripke-counter-models into Läuchli-counter-models is (essentially) the inverse image of a geometric morphism. Completeness follows because this geometric morphism is an open surjection.
Palabras clave:
LÄUCHLI'S COMPLETENESS THEOREM
,
TOPOS THEORY
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(CCT - LA PLATA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Citación
Menni, Matías; Läuchli's completeness theorem from a topos-theoretic perspective; Springer; Applied Categorical Structures; 18; 2; 4-2010; 185-197
Compartir
Altmétricas