Andrej Bauer: Parametrizirana realizabilnost

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.