Viggo Stoltenberg-Hansen

Viggo Stoltenberg-Hansen, born 1942, professor at Uppsala University, Department of Mathematics, is a Swedish mathematician/logician and expert on domain theory and recursion theory (also known as computability theory). Viggo received his PhD in Mathematics (titled "On Priority Arguments In Friedberg Theories") from University of Toronto in 1973.

Work on domain theory

Viggo Stoltenberg-Hansen and John Tucker developed in the early 1980s a general method of domain representations of topological algebras.

Viggo is the main author of the textbook "Mathematical Theory of Domains", Cambridge University Press, 1994 (coauthored by I. Lindström and E. Griffor), and also of a set of Marktoberdorf summer school lecture notes on domain theory.

Work on effective domains

Viggo Stoltenberg-Hansen and John Tucker made a thorough analysis of the computability associated to effective algebras and continuity of homomorphisms between such.

Some References

  1. V Stoltenberg-Hansen and J V Tucker, Effective algebras, in S Abramsky, D Gabbay and T Maibaum (eds.), Handbook of Logic in Computer Science, Volume IV: Semantic Modelling, Oxford University Press (1995), pp357–526.
  2. V Stoltenberg-Hansen and J V Tucker, Computable rings and fields, in E Griffor (ed.), Handbook of Computability Theory, Elsevier (1999), pp363–447.



Stub icon

This article about a Swedish mathematician is a stub. You can help Wikipedia by expanding it.

Read other articles:

Vladimir Tsyplakov

Belarusian ice hockey player (1969–2019) Ice hockey player Vladimir Tsyplakov Tsyplakov stretching before a Los Angeles Kings gameBorn (1969-04-18)18 April 1969Inta, Soviet UnionDied 14 December 2019(2019-12-14) (aged 50)Height 6 ft 2 in (188 cm)Weight 203 lb (92 kg; 14 st 7 lb)Position Left wingShot LeftPlayed for Los Angeles KingsBuffalo SabresNational team  BelarusNHL Draft 59th overall, 1995Los Angeles KingsPlaying career 1988–2005 Vla...

 

Mosul

Disambiguazione – Se stai cercando altri significati, vedi Mosul (disambigua). Mosulcittà(KU) Mûsil‎(AR) الموصل‎ Mosul – Veduta LocalizzazioneStato Iraq GovernatoratoNinive DistrettoMosul TerritorioCoordinate36°02′N 43°07′E / 36.033333°N 43.116667°E36.033333; 43.116667 (Mosul)Coordinate: 36°02′N 43°07′E / 36.033333°N 43.116667°E36.033333; 43.116667 (Mosul) Altitudine223 m s.l.m. Superficie180 km² Ab...

 

Cronos (film)

1992 film by Guillermo del Toro For the 1985 film, see Chronos (film) CronosTheatrical release posterDirected byGuillermo del ToroWritten byGuillermo del ToroProduced byArthur H. GorsonBertha NavarroAlejandro SpringallBernard L. NussbaumerStarring Federico Luppi Ron Perlman Claudio Brook Margarita Isabel Tamara Shanath Narrated byJorge Martínez de HoyosCinematographyGuillermo NavarroEdited byRaúl DávalosMusic byJavier ÁlvarezProductioncompaniesFondo de Fomento CinematográficoInstituto Me...

Whirlpool

Whirlpool CorporationJenisPublik (NYSE: WHR)IndustriRetailKantorpusatBenton Harbor, Michigan, Amerika SerikatWilayah operasiSeluruh duniaTokohkunciJeff M. Fettig(CEO)Pendapatan$18.769 jutaTotal aset$15.544 jutaSitus webwww.whirlpoolcorp.com Whirlpool Corporation (NYSE: WHR) adalah sebuah perusahaan publik asal Amerika Serikat yang bergerak di industri retail.[1] Saat ini, markas pusat Whirlpool Corporation terletak di 2000 North M-63, Benton Harbor, Michigan, dan dipimpin oleh CEO Jef...

 

350th Fighter Group

350th Fighter GroupEmblem of the 350th Fighter GroupActive1942–1945Country United StatesBranchUnited States Army Air ForceTypeFighterEngagementsEuropean theater of World War IIDecorationsDistinguished Unit CitationMilitary unit The 350th Fighter Group was an air combat unit of the United States Army Air Force formed in 1942 and inactivated in 1945. The fighter group consisted of 345th, 346th and 347th Fighter Squadron. The group was formed in England in 1942 flying Bell P-39 Airacobra...

 

Jennifer M. Johnson

American television writer, producer This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: Jennifer M. Johnson – news · newspapers · books · scholar · JSTOR (January 2012) (Learn how and when to remov...

Rem parkir

Rem parkir (atau dalam bahasa umum yakni Rem Tangan) adalah sebuah sistem pengereman pada Kendaraan bermotor, khususnya kendaraan roda empat maupun lebih. Rem Parkir umumnya berfungsi untuk menahan mobil bergerak dalam posisi kemiringan jalan yang miring, terutama dalam keadaan menanjak maupun menurun. Fungsi rem parkir ini dapat digunakan sebagai pengganti rem utama jika mobil dalam kondisi berhenti yang cukup lama, semisal dalam kondisi kemacetan atau saat parkir. Setiap mobil, truk, maupun...

 

S.C.U. Torreense

Association football club in Portugal Football clubS.C.U. TorreenseFull nameSport Clube União TorreenseShort nameTorreense SCUTFounded1 May 1917; 107 years ago (1 May 1917)GroundEstádio Manuel Marques, Torres VedrasCapacity12,000PresidentJosé SebastiãoManagerTulipaLeagueLiga Portugal 22022–23Liga Portugal 2, 9thWebsiteClub website Home colours Away colours Current season Sport Clube União Torreense is a Portuguese sports club, best known for its association football sectio...

 

大字 (数字)

この項目には、一部のコンピュータや閲覧ソフトで表示できない文字が含まれています（詳細）。 数字の大字（だいじ）は、漢数字の一種。通常用いる単純な字形の漢数字（小字）の代わりに同じ音の別の漢字を用いるものである。 概要 壱万円日本銀行券（「壱」が大字） 弐千円日本銀行券（「弐」が大字） 漢数字には「一」「二」「三」と続く小字と、「壱」「�...

乌克兰总理

 烏克蘭總理Прем'єр-міністр України烏克蘭國徽現任杰尼斯·什米加尔自2020年3月4日任命者烏克蘭總統任期總統任命首任維托爾德·福金设立1991年11月后继职位無网站www.kmu.gov.ua/control/en/（英文） 乌克兰 乌克兰政府与政治系列条目 宪法 政府 总统 弗拉基米尔·泽连斯基 總統辦公室 国家安全与国防事务委员会 总统代表（英语：Representatives of the President of Ukraine） 总...

 

دون كولمان

  لمعانٍ أخرى، طالع دون كولمان (توضيح). هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أبريل 2019) دون كولمان معلومات شخصية الميلاد 4 مايو 1928   بونكا سيتي  تاريخ الوفاة 30 يناير 2017 (88 سنة)   مواطنة الولايات ال�...

 

Amy Austria

Filipino actress This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: Amy Austria – news · newspapers · books · scholar · JSTOR (August 2022) (Learn how and when to remove this message) In this Phili...

Серафимы

Для термина «Серафим» см. также другие значения. Серафимыивр. שְׂרָפִים‎ Серафимы, поддерживающие престол Бога (миниатюра XIV века) Толкование имени «пылающий», «огненный» Имя на других языках лат. seraphi[m]др.-греч. σεραφίμ Характерные черты шесть крыльев, обычно красно...

 

أولمن

أولمن    شعار   الإحداثيات 50°12′31″N 6°58′47″E / 50.208611111111°N 6.9797222222222°E / 50.208611111111; 6.9797222222222   [1] تقسيم إداري  البلد ألمانيا[2]  التقسيم الأعلى منطقة كوخم-تسل  خصائص جغرافية  المساحة 28.74 كيلومتر مربع (31 ديسمبر 2017)[3]  ارتفاع 452 متر  عدد ...

 

Rodrigo Duterte

President of the Philippines from 2016 to 2022 DU30 and Duterte redirect here. For his presidential campaign stylized as DU30, see Rodrigo Duterte 2016 presidential campaign. For others with the surname, see Duterte (surname). In this Philippine name, the middle name or maternal family name is Roa and the surname or paternal family name is Duterte. His Excellency[a]Rodrigo Roa DuterteKGCROfficial portrait, 201616th President of the PhilippinesIn officeJune 30, 2016 –&#...

Music of The Lord of the Rings film series

Operatic film score cycle The Lord of the RingsOperatic film score cycle by Howard ShoreRelatedThe HobbitTextJ. R. R. Tolkien, Philippa Boyens, Fran Walsh, Howard ShoreLanguageEnglish, Old English, fictional languages (Sindarin, Quenya, Khuzdul, Black Speech, Adunaic)Composed2000 (2000)–2004Movements90 movements (in three parts) for the live-to-projection cycleScoringsopranoboy sopranoaltotenor (Symphony)male choir (Fellowship of the Ring)mixed choirboy choirHobbit Bandsymphony or...

 

FC LNZ Cherkasy

Football clubLNZFull nameFootball Club LNZ CherkasyFounded2006GroundCentral StadiumCapacity10,321OwnerAndriy PoltavetsDirectorVasyl HrechanyiHead coachAndrés CarrascoLeagueUkrainian Premier League2023–247th of 16WebsiteClub website Home colours Away colours Football Club LNZ Cherkasy (Ukrainian: Футбольний клуб «ЛНЗ» Черкаси) is a Ukrainian professional football club based in Cherkasy. The club is owned by LNZ Group.[1] History The club was created in 2006...

 

Star Wars: Jedi Knight

Series of video games Video game seriesStar Wars: Jedi KnightThe logo for Jedi Knight games, used in Jedi Outcast and Jedi AcademyGenre(s)First-person shooter, third-person shooterDeveloper(s)LucasArtsRaven SoftwarePublisher(s)LucasArtsActivisionPlatform(s)Microsoft Windows, MS-DOS, Macintosh, PlayStation, Linux, GameCube, Mac OS X, Xbox, Nintendo Switch, PlayStation 4First releaseStar Wars: Dark Forces1995Latest releaseStar Wars Jedi Knight: Jedi Academy2003Parent seriesStar Wars video games...

Aldo Melani

Questa voce sull'argomento calciatori italiani è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Aldo MelaniNazionalità Italia Calcio RuoloAttaccante Termine carriera1940 CarrieraSquadre di club1 1929-1936 Pistoiese61 (3)1937-1938 Pistoia9 (1)1939-1940 Aglianese? (?) 1 I due numeri indicano le presenze e le reti segnate, per le sole partite di campionato.Il simbolo → indica un tras...

 

Imolese Calcio 1919 2018-2019

Voce principale: Imolese Calcio 1919. Imolese Calcio 1919Stagione 2018-2019Sport calcio Squadra Imolese Allenatore Alessio Dionisi All. in seconda Massimiliano Sigolo Presidente Lorenzo Spagnoli Serie C3º (semifinale dei play-off) Coppa ItaliaSecondo turno Coppa Italia Serie CQuarti di finale Maggiori presenzeCampionato: Carini (38)Totale: Carini (46) Miglior marcatoreCampionato: Lanini (14)Totale: Lanini (18) StadioRomeo Galli (1 560) Abbonati131 Maggior numero di spettatori1...