TULIPS – The Utrecht Logic in Progress Series

Upcoming Talks

2023

Partial Combinatory Algebras, between realizability and oracle computation

Abstract: Starting with a bit of history of the notion of PCAs (or “Schönfinkel Algebras”), we examine their role as building blocks of various notions of realizability. An extremely important construction is that of the “realizability topos RT(A)” on a PCA A. Immediately, notions from pure topos theory start to find their way into the study of PCAs. It will be argued that PCAs stand on the threshold between topos theory and abstract higher order computability theory (à la Longley-Normann). Particularly forceful is the work of Takeyuki Kihara.

Time: 16.00 – 17.30

Location: Stijlkamer (Janskerkhof 13, room 0.06)

 

Title and Abstract TBA

​Time: 15.30 – 17.00

Location: Stijlkamer (Janskerkhof 13, room 0.06)

 

Title and Abstract TBA

​Time: 15.30 – 17.00

Location: Ravensteynzaal (Kromme Nieuwegracht 80, room 1.06)

 

Title and Abstract TBA

​Time: 15.30 – 17.00

Location: Ravensteynzaal (Kromme Nieuwegracht 80, room 1.06)

 

  • June 29, Marie Duží (Ostrava)

Title and Abstract TBA

​Time: 15.30 – 17.00

Location: Stijlkamer (Janskerkhof 13, room 0.06)

 

 

TRANSLATE with x

var LanguageMenu; var LanguageMenu_keys=[“ar”,”bg”,”ca”,”zh-CHS”,”zh-CHT”,”cs”,”da”,”nl”,”en”,”et”,”fi”,”fr”,”de”,”el”,”ht”,”he”,”hi”,”mww”,”hu”,”id”,”it”,”ja”,”tlh”,”ko”,”lv”,”lt”,”ms”,”mt”,”no”,”fa”,”pl”,”pt”,”ro”,”ru”,”sk”,”sl”,”es”,”sv”,”th”,”tr”,”uk”,”ur”,”vi”,”cy”]; var LanguageMenu_values=[“Arabic”,”Bulgarian”,”Catalan”,”Chinese Simplified”,”Chinese Traditional”,”Czech”,”Danish”,”Dutch”,”English”,”Estonian”,”Finnish”,”French”,”German”,”Greek”,”Haitian Creole”,”Hebrew”,”Hindi”,”Hmong Daw”,”Hungarian”,”Indonesian”,”Italian”,”Japanese”,”Klingon”,”Korean”,”Latvian”,”Lithuanian”,”Malay”,”Maltese”,”Norwegian”,”Persian”,”Polish”,”Portuguese”,”Romanian”,”Russian”,”Slovak”,”Slovenian”,”Spanish”,”Swedish”,”Thai”,”Turkish”,”Ukrainian”,”Urdu”,”Vietnamese”,”Welsh”]; var LanguageMenu_callback=function(){ }; var LanguageMenu_popupid=’__LanguageMenu_popup’;

TRANSLATE with
COPY THE URL BELOW
Back

EMBED THE SNIPPET BELOW IN YOUR SITE
Enable collaborative features and customize widget: Bing Webmaster Portal

var intervalId = setInterval(function () { if (MtPopUpList) { LanguageMenu = new MtPopUpList(); var langMenu = document.getElementById(LanguageMenu_popupid); var origLangDiv = document.createElement(“div”); origLangDiv.id = “OriginalLanguageDiv”; origLangDiv.innerHTML = “ORIGINAL: “; langMenu.appendChild(origLangDiv); LanguageMenu.Init(‘LanguageMenu’, LanguageMenu_keys, LanguageMenu_values, LanguageMenu_callback, LanguageMenu_popupid); window[“LanguageMenu”] = LanguageMenu; clearInterval(intervalId); } }, 1);