Resource data
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 |
sí
|
| Requerimientos técnicos |
Browser: Any |
| Fecha de contribución |
27-mar-2007 |
| Contacto |
|
|