skip to main content
Résultats 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Versions multiples

Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987

Shinoda, Juichi ; Tugué, Tosiyuki ; Slaman, Theodore A.

Plusieurs versions trouvées
Il y a 2 versions

2
Infinity and Truth
Infinity and Truth
Infinity and Truth
Material Type:
Livre
Ajouter à Mon espace

Infinity and Truth

Chitat Chong ; C. T Chong; Qi Feng; Theodore A Slaman

World Scientific Publishing Co. Pte Ltd., 2014

Accessible en ligne

3
Notes on Forcing Axioms
Notes on Forcing Axioms
Notes on Forcing Axioms
Material Type:
Livre
Ajouter à Mon espace

Notes on Forcing Axioms

Stevo Todorcevic ; Chitat Chong; Qi Feng; Theodore A Slaman; W Hugh Woodin; Yue Yang

World Scientific Publishing Co. Pte Ltd., 2014

Accessible en ligne

4
Computational Prospects of Infinity
Computational Prospects of Infinity
Computational Prospects of Infinity
Material Type:
Livre
Ajouter à Mon espace

Computational Prospects of Infinity

Workshop on Computational Prospects of Infinity ; Chi-Tat Chong; Chitat Chong; Qi Feng; Theodore A Slaman

World Scientific

Accessible en ligne

5
Forcing, iterated ultrapowers, and Turing degrees
Material Type:
Livre
Ajouter à Mon espace

Forcing, iterated ultrapowers, and Turing degrees

Chong, Chi-Tat (1949-....) ; Feng, Qi (19..-....) ; Slaman, Theodore A ; Woodin, W. Hugh ; Yang, Yue (19..-....)

New Jersey : World Scientific, 2016

Disponible(Obtenir)

6
Material Type:
Versions multiples

Infinity and truth

Workshop on infinity and truth 2011 Singapour. ; Chong, Chi-Tat (1949-....) ; Feng, Qi (19..-....) ; Slaman, Theodore A. ; Woodin, W. Hugh

Plusieurs versions trouvées
Il y a 2 versions

7
E-recursion, forcing and C*-algebras
Material Type:
Livre
Ajouter à Mon espace

E-recursion, forcing and C*-algebras

Chong, Chi-Tat (1949-....) ; Feng, Qi (19..-....) ; Slaman, Theodore A.

New Jersey N.J. London Singapore etc. : World Scientific, 2014

Voir les exemplaires(Obtenir)

8
Material Type:
Revue
Ajouter à Mon espace

Journal of mathematical logic

Slaman, Theodore A. ; Chong, Chi-Tat (1949-....) ; Woodin, W. Hugh

Singapore : World Scientific, 2001

Voir les exemplaires  et autres localisations(Obtenir)

9
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
Material Type:
Acte de conférence
Ajouter à Mon espace

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

Meeting on mathematical logic and its applications 87 1987 Kyôto, Japon. ; Shinoda, Juichi (1948-1998) ; Slaman, Theodore A. ; Tugué, Tosiyuki (1926-....) ; Kyôto University, Research Institute for Mathematical Sciences

Berlin New York : Springer-Verlag, 1989

Voir les exemplaires(Obtenir)

10
Mathematical Logic and Applications
Mathematical Logic and Applications
Material Type:
Livre
Ajouter à Mon espace

Mathematical Logic and Applications

Juichi Shinoda ; Juichi Shinoda; Theodore Allen Slaman; Toshiyuki Tugué

Springer Berlin Heidelberg, 1989

Accessible en ligne

11
Material Type:
Article
Ajouter à Mon espace

Algebraic Aspects of the Computably Enumerable Degrees

Slaman, Theodore A. ; Soare, Robert I.

Proceedings of the National Academy of Sciences of the United States of America, 17 January 1995, Vol.92(2), pp.617-621 [Revue évaluée par les pairs]

Texte intégral disponible

12
Material Type:
Article
Ajouter à Mon espace

Algebraic aspects of the computably enumerable degrees

Slaman, Theodore ; Soare, Robert

Proceedings of the National Academy of Sciences of the United States of America, Jan 17, 1995, Vol.92(2), p.617 [Revue évaluée par les pairs]

Texte intégral disponible

13
Material Type:
Article
Ajouter à Mon espace

RANDOM REALS, THE RAINBOW RAMSEY THEOREM, AND ARITHMETIC CONSERVATION

Conidis, Chris J. ; Slaman, Theodore A.

The Journal of Symbolic Logic, 1 March 2013, Vol.78(1), pp.195-206 [Revue évaluée par les pairs]

Texte intégral disponible

14
Material Type:
Article
Ajouter à Mon espace

THE SLAMAN-WEHNER THEOREM IN HIGHER RECURSION THEORY

Greenberg, Noam ; Montalbán, Antonio ; Slaman, Theodore A.

Proceedings of the American Mathematical Society, 1 May 2011, Vol.139(5), pp.1865-1869 [Revue évaluée par les pairs]

Texte intégral disponible

15
Material Type:
Article
Ajouter à Mon espace

Σ n -Bounding and Δ n -Induction

Slaman, Theodore A.

Proceedings of the American Mathematical Society, 1 August 2004, Vol.132(8), pp.2449-2456 [Revue évaluée par les pairs]

Texte intégral disponible

16
Material Type:
Article
Ajouter à Mon espace

Low Upper Bounds of Ideals

Kučera, Antonín ; Slaman, Theodore A.

The Journal of Symbolic Logic, 1 June 2009, Vol.74(2), pp.517-534 [Revue évaluée par les pairs]

Texte intégral disponible

17
Material Type:
Article
Ajouter à Mon espace

Turing Incomparability in Scott Sets

Kučera, Antonín ; Slaman, Theodore A.

Proceedings of the American Mathematical Society, 1 November 2007, Vol.135(11), pp.3723-3731 [Revue évaluée par les pairs]

Texte intégral disponible

18
Material Type:
Article
Ajouter à Mon espace

Relative to Any Nonrecursive Set

Slaman, Theodore A.

Proceedings of the American Mathematical Society, 1 July 1998, Vol.126(7), pp.2117-2122 [Revue évaluée par les pairs]

Texte intégral disponible

19
Material Type:
Article
Ajouter à Mon espace

Extension of Embeddings in the Computably Enumerable Degrees

Slaman, Theodore A. ; Soare, Robert I.

Annals of Mathematics, 1 July 2001, Vol.154(1), pp.1-43 [Revue évaluée par les pairs]

Texte intégral disponible

20
Material Type:
Article
Ajouter à Mon espace

A Splitting Theorem for n - REA Degrees

Shore, Richard A. ; Slaman, Theodore A.

Proceedings of the American Mathematical Society, 1 December 2001, Vol.129(12), pp.3721-3728 [Revue évaluée par les pairs]

Texte intégral disponible

Résultats 1 2 3 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (2)
  2. Articles  (35)
  3. Livres  (7)
  4. Revues  (1)
  5. Plus d’options open sub menu

Sujet 

  1. Mathematics  (31)
  2. Philosophy -- Logic -- Logical topics  (21)
  3. Philosophy  (19)
  4. Mathematics -- Mathematical expressions -- Mathematical theorems  (17)
  5. Philosophy -- Logic -- Logical theorems  (13)
  6. Mathematics -- Mathematical expressions -- Mathematical functions  (12)
  7. Mathematics -- Mathematical analysis -- Recursion  (8)
  8. Mathematics -- Mathematical procedures -- Approximation  (7)
  9. Mathematics -- Pure mathematics -- Arithmetic  (6)
  10. Mathematics -- Pure mathematics -- Discrete mathematics  (6)
  11. Mathematics -- Mathematical analysis -- Mathematical induction  (5)
  12. Mathematics -- Logic -- Logical topics  (5)
  13. Mathematics -- Pure mathematics -- Algebra  (4)
  14. Philosophy -- Logic -- Logical topics -- Oracles  (3)
  15. Linguistics -- Language -- Phonology  (3)
  16. Logic, Symbolic and mathematical  (2)
  17. Logique mathématique  (2)
  18. Behavioral sciences -- Psychology -- Cognitive psychology  (2)
  19. Forcing (mathématiques)  (2)
  20. Education -- Formal education -- Pedagogy  (2)
  21. Mathematics -- Mathematical expressions -- Mathematical functions -- Oracles  (2)
  22. Mathematics -- Mathematical expressions -- Mathematical theorems -- Oracles  (2)
  23. Applied sciences -- Materials science -- Metallurgy  (2)
  24. Unsolvability (Mathematical logic)  (1)
  25. Model theory  (1)
  26. Théorie des modèles  (1)
  27. Récursivité, Théorie de la  (1)
  28. Forcing (Model theory)  (1)
  29. Logique mathématique. Actes de congrès  (1)
  30. Récursivité  (1)
  31. Théorie ensemble  (1)
  32. Non-résolubilité (logique mathématique)  (1)
  33. Logique symbolique et mathématique. Actes de congrès  (1)
  34. Logique multivaluée  (1)
  35. Ensembles, Théorie axiomatique des. Actes de congrès  (1)
  36. Mathématiques. Périodiques  (1)
  37. C*-algèbres  (1)
  38. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1990  (8)
  2. 1990 à 1995  (6)
  3. 1996 à 2000  (12)
  4. 2001 à 2011  (12)
  5. Après 2011  (6)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré