Reflections On An Extensionality Theorem

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: inglés -

Versión: 1.0

Estado: Final

Tipo: application/pdf -

Palabras clave: 03A05 -

Tipo de recurso: Text -

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante - Profesor - Autor -

Estructura: Atomic

Coste: no

Copyright: sí

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 del mismo autor(es)

Otros recursos de la misma colección

General Models and Entailment Semantics for Independence Logic We develop a semantics for independence logic with respect to what we will call general models. We t...
Galvin’s “Racing Pawns” Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle We show that the fact that the first player (“white”) wins every instance of Galvin’s “racing pawns”...
Degrees of Categoricity and the Hyperarithmetic Hierarchy We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of E. Fokina, I....
Complementation in Representable Theories of Region-Based Space Through contact algebras we study theories of mereotopology in a uniform way that clearly separates ...
Lattices of Theories in Languages without Equality If $\mathbf{S}$ is a semilattice with operators, then there is an implicational theory $\mathscr{Q}$...

Valoración de los usuarios

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