Repositorio de producción científica de la Universidad de Sevilla

Espacios de modelos de teoría de conjuntos

 

Advanced Search
 
Opened Access Espacios de modelos de teoría de conjuntos
Cites
Show item statistics
Icon
Export to
Author: Vahí Serrano, Ángel
Department: Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
Date: 1993
Published in: Fragmentos de Filosofía, 3, 217-232
Document type: Article
Abstract: La proliferación de modelos de teoría axiomática de conjuntos (ZF ó ZFE), que la técnica de forcing y los nuevos axiomas han hecho posible, nos pone en situación de estudiar sistemáticamente las interrelaciones entre modelos y familias de modelos, con objeto de desentrañar aspectos teóricos y sentar las bases de nuevos desarrollos de la semántica y la teoría de modelos de los lenguajes y teorías formales. La teoría de toposes aporta instrumentos útiles a tal fin. En el artículo se presentan algunas propuestas en este sentido. The proliferation of models of axiomatic set theory (ZF or ZFC}, possible by forcing techniques and new axioms, lea ves a situation in which we can sistematically research interrelations of models and models families, in order to work out theoretical aspects and to put the basis for new developments of semantic and model theory of formal languages and theories. Toposes theory settles useful tools toward this aim. This paper shows sorne proposals in this line.
Size: 714.2Kb
Format: PDF

URI: http://hdl.handle.net/11441/28650

This work is under a Creative Commons License: 
Atribución-NoComercial-SinDerivadas 4.0 España

This item appears in the following Collection(s)