Automorphisms of the lattice of recursively enumerable sets / Peter Cholak

Public ISBD Titre : Automorphisms of the lattice of recursively enumerable sets Type de document : texte imprimé Auteurs : Peter Cholak, Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1995 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 541 Importance : 151 p. ISBN/ISSN/EAN : 978-0-8218-2601-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D25 Recursively (computably) enumerable sets and degrees Mots-clés : lattice of recursively enumerable sets  high extension theorems  automorphism  principal filters Index. décimale : Mem Automorphisms of the lattice of recursively enumerable sets [texte imprimé] / Peter Cholak, Auteur . - Providence, R.I. : American Mathematical Society, 1995 . - 151 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 541) . ISBN : 978-0-8218-2601-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D25 Recursively (computably) enumerable sets and degrees Mots-clés : lattice of recursively enumerable sets  high extension theorems  automorphism  principal filters Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19646	Mem/541	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

The role of true finiteness in the admissible recursively enumerable degrees / Greenberg, Noam

Public ISBD Titre : The role of true finiteness in the admissible recursively enumerable degrees Type de document : texte imprimé Auteurs : Greenberg, Noam, Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2006 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 854 Importance : vi, 99 p ISBN/ISSN/EAN : 978-0-8218-3885-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D25 Recursively (computably) enumerable sets and degrees 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D60 Computability and recursion theory on ordinals, admissible sets, etc. Mots-clés : recursion theory  recursively enumerable sets  finite Index. décimale : Mem The role of true finiteness in the admissible recursively enumerable degrees [texte imprimé] / Greenberg, Noam, Auteur . - Providence, R.I. : American Mathematical Society, 2006 . - vi, 99 p. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 854) . ISBN : 978-0-8218-3885-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D25 Recursively (computably) enumerable sets and degrees 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D60 Computability and recursion theory on ordinals, admissible sets, etc. Mots-clés : recursion theory  recursively enumerable sets  finite Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19097	Mem/854	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

---

page 1/1