Harrington, Leu

Leo Anthony Harrington
Engleză  Leo Anthony Harrington
Data nașterii 17 mai 1946( 17.05.1946 ) (76 de ani)
Țară
Sfera științifică teoria modelelor și teoria mulțimilor
Loc de munca
Alma Mater
consilier științific Gerald Sacks [d]
Premii și premii Lector Gödel [d] ( 1995 )
Site-ul web math.berkeley.edu/~leo/
 Fișiere media la Wikimedia Commons

Leo Anthony Harrington ( ing.  Leo Anthony Harrington ; născut la 17 mai 1946 SUA ) este un matematician american, profesor la Universitatea din California din Berkeley [1] , specialist în teorii ale computabilității , modelelor și mulțimilor [2] .

Note

  1. Leo Anthony Harrington | Departamentul de Matematică de la Universitatea din California  Berkeley . math.berkeley.edu. Preluat: 2 octombrie 2018.
  2. The Mathematics Genealogy Project - Leo Harrington , archive.li  (2 iulie 2014). Preluat la 2 octombrie 2018.
  3. Paris, J.; Harrington, L. A Mathematical Incompleteness in Peano Arithmetic / Barwise, J,. — Manual de logică matematică. - Olanda de Nord, 1977. - S. 1133-1142.
  4. Relația dintre principiul Kanamori-McAloon și teorema Paris-Harrington | Sciweavers  (engleză) . www.sciweavers.org. Preluat: 2 octombrie 2018.
  5. Gyesik Lee. Relația dintre principiul Kanamori-McAloon și teorema Paris-Harrington  //  Teorie matematică și practică computațională. — Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. — P. 310–323 . — ISBN 9783642030727 , 9783642030734 . - doi : 10.1007/978-3-642-03073-4_32 .
  6. Harrington, L. Analytic Determinacy and 0# // Journal of Symbolic Logic. - 1978. - Emisiune. 43 , nr 4 . — S. 685–693 . — P.  https://www.jstor.org/stable/2273508 . - doi : 10.2307/2273508 .
  7. Leo Harrington, Saharon Shelah. Indecidibilitatea gradelor enumerabile recursiv (EN) // Buletin (New Series) al Societății Americane de Matematică. - 1982-01. - T. 6 , nr. 1 . — p. 79–80 . — ISSN 1088-9485 0273-0979, 1088-9485 . - doi : 10.1090/S0273-0979-1982-14970-9 .

Link -uri