Wednesday, July 23, 2014

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía


Reflections on an extensionality theorem.

1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario
    registrado en Universia

  Descargar recurso

Detalles del recurso

Pertenece a: Project Euclid (Hosted at Cornell University Library)  

Descripción:

Autor(es): Hugly, Philip - 

Id.: 980563

Idioma: English  - 

Versión: 1.0

Estado: Final

Tipo:  application/pdf - 

Palabras clave03A05 - 

Tipo de recurso: Text  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: Copyright 1980 University of Notre Dame

Formatos:  application/pdf - 

Requerimientos técnicos:  Browser: Any - 

Relación: [References] 0029-4527
[References] 1939-0726

Fecha de contribución: 23-sep-2011

Contacto:

Localización:
* Notre Dame J. Formal Logic 21, no. 1 (1980), 45-50
* doi:10.1305/ndjfl/1093882938


Otros recursos de la misma colección

  1. Forcing with Sequences of Models of Two Types We present an approach to forcing with finite sequences of models that uses models of two types. Thi...
  2. A Bounded Jump for the Bounded Turing Degrees We define the bounded jump of $A$ by $A^{b}=\{x\in \omega \mid \exists i\leq x[\varphi_{i}(x)\downar...
  3. Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts For a function $f$ with domain $[X]^{n}$ , where $X\subseteq\mathbb{N}$ , we say that $H\subseteq X$...
  4. Positive Model Theory and Amalgamations We continue the analysis of foundations of positive model theory as introduced by Ben Yaacov and Poi...
  5. BCK is not Structurally Complete We exhibit a simple inference rule, which is admissible but not derivable in BCK, proving that BCK i...

Valoración de los usuarios

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

Busque un recurso