Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

Resource data



Ver

Recursive logic frames
Shelah, Saharon
Väänänen, Jouko
Location: http://arxiv.org/abs/math/0405016

We define the concept of a logic frame, which extends the concept of an abstract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the set of axioms are recursively coded. A recursive logic frame is called recursively (countably) compact, if every recursive (respectively, countable) finitely consistent theory has a model. We show that for logic frames built from the cardinality quantifiers ''there exists at least lambda'' recursive compactness always implies countable compactness. On the other hand we show that a recursively compact extension need not be countably compact.

Belongs to: arXiv

Descargar SCORM

¡Sea el primero en solicitar este recurso!

Para poder solicitar este recurso debe identificarse como usuario de la biblioteca

Users rating

No hay ninguna valoración para este recurso. Sea el primero en valorar este recurso.

Detalles del recurso

Recursive logic frames
Id. 570319
Titulo Recursive logic frames
Autor(es) Shelah, Saharon
Väänänen, Jouko
Location http://arxiv.org/abs/math/0405016
Versión 1.0
Estado Final
Descripción We define the concept of a logic frame, which extends the concept of an abstract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the set of axioms are recursively coded. A recursive logic frame is called recursively (countably) compact, if every recursive (respectively, countable) finitely consistent theory has a model. We show that for logic frames built from the cardinality quantifiers ''there exists at least lambda'' recursive compactness always implies countable compactness. On the other hand we show that a recursively compact extension need not be countably compact.
Palabras clave Mathematics - Logic
Tipo de recurso Texto Narrativo
Tipo de Interactividad Expositivo
Nivel de Interactividad muy bajo
Audiencia Estudiante
Profesor
Autor
Estructura Atomic
Coste no
Copyright
Requerimientos técnicos Browser: Any
Fecha de contribución 27-mar-2007
Contacto