Andrej Bauer: Parametrizirana realizabilnost

Datum objave: 16. 1. 2024
Seminar za temelje matematike in teoretično računalništvo
četrtek
18
januar
Ura:
10.00 - 12.00
Lokacija:
Jadranska 21, 3.07

Povzetek: Parametrizirana delna kombinatorna algebra (ppca) je kot običajna delna kombinatorna algebra, v kateri je aplikacija dodatno parametrizirana z elementi izbrane množice. Primer take algebre je parametrizirana prva Kleenejeva algebra, katere elementi so (kode) Turingovih strojev in parametri oraklji iz izbrane množice. Vsaka parametrizirana delna kombinatorna algebra je kombinatorno polna, iz nje pa lahko zgradimo tripos z relacijo konsekvence, katere realizatorji delujejo enakomerno glede na množico parametrov. Iz triposa izpeljemo parametrizirani realizabilnostni topos, ki je v nekaterih pogledi podoben običajnim realizabilnostnim toposem in precej različen v drugih.