Polynomial time logic: Inability to express
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Polynomial time logic: Inability to express
|
| Id. |
423323 |
| Titulo |
Polynomial time logic: Inability to express |
| Autor(es) |
Shelah, Saharon
|
| Localización |
http://arxiv.org/abs/math/9807179
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Here we deal with the logic of [GuSh 533], which tries to capture polynomial
time (for finite models). There it is proved that the logic cannot say much on
models with equality only. Here we prove that it cannot say much on models for
which we expect it cannot say much, like random enough graphs. This is the
result of having a general criterion.
|
| 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 |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
