Galois theory for combinatory algebras and its application to recursion theory

Metadata Label Value
Author(s): Gloor, Oliver Patrik Andreas
Publisher: Unknown
Citation:

Gloor, Oliver Patrik Andreas. Galois theory for combinatory algebras and its application to recursion theory. (1995). http://dx.doi.org/10.3929/ethz-a-001494903

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (144.08KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Galois theory for combinatory algebras and its application to recursion theory
Author(s) Gloor, Oliver Patrik Andreas
Publication Place Zürich
Publication Date 1995
Notes Diss. Math. Wiss. ETH Zürich, Nr. 11095, 1995. Ref.: E. Engeler ; Korref.: G. Jäger
Varying Title Galois theory for combinatory algebras
Language English
DOI http://dx.doi.org/10.3929/ethz-a-001494903
Subject(s) Fundamental Bases, Logic, Philosophy of Mathematics
Pure Mathematics (Algebra, Geometry, Topology, Number Theory)
Keyword(s) GALOIS THEORY
COMBINATORY LOGIC
MATHEMATICS
RECURSION THEORY
Description File Name MIME Type Size
Abstract   eth-39919-01.pdf application/pdf 144.08KB
Abstract Views and Downloads
Views 94  abstracts
Downloads 37  downloads

Abstract Views and Downloads by Country
Views 41  abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
China Views 18  abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Czech Republic Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Nigeria Views abstracts
Downloads downloads
Norway Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
South Africa Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Wed, 18 Feb 2009, 14:55:37 CET