Abstract
We study a notion of realizability with a local operator JJ which was first considered by A.M. Pitts in his thesis [7]. Using the Suslin–Kleene theorem, we show that the representable functions for this realizability are exactly the hyperarithmetical (Δ11) functions.
We show that there is a realizability interpretation of nonstandard arithmetic, which, despite its classical character, lives in a very non-classical universe, where the Uniformity Principle holds and König's Lemma fails. We conjecture that the local operator gives a useful indexing of the hyperarithmetical functions.
We show that there is a realizability interpretation of nonstandard arithmetic, which, despite its classical character, lives in a very non-classical universe, where the Uniformity Principle holds and König's Lemma fails. We conjecture that the local operator gives a useful indexing of the hyperarithmetical functions.
Original language | English |
---|---|
Pages (from-to) | 237-243 |
Number of pages | 7 |
Journal | Theoretical Computer Science |
Volume | 546 |
Issue number | 27 |
DOIs | |
Publication status | Published - 2014 |
Keywords
- Temperature-responsive gelling hydrogel
- PCLA-PEG-PCLA
- In vitro release
- Pharmacokinetics
- Celecoxib
- Biocompatibility