Dalam makalah lokakarya tahun 1999 "Model Metrik PCF" , Martín Escardó menunjukkan bahwa adalah mungkin untuk memberikan interpretasi sederhana PCF dalam kategori ruang ultrametrik lengkap dan peta non-luas.
Dia menunjukkan bahwa model ini memadai, dan dapat memodelkan penambahan konstruk batas waktu (yaitu, operator yang akan menjalankan argumennya untuk sejumlah langkah terbatas, dan menghasilkan jawaban atau memberi sinyal kesalahan jika gagal diakhiri di dalam batas waktu). Dia kemudian menyarankan bahwa akan wajar untuk menyelidiki apakah model metrik sepenuhnya abstrak sehubungan dengan batas waktu PCF +.
- Adakah yang menyelidiki ini, dan jika demikian, apa jawabannya?
- Apakah batas waktu PCF + memiliki fungsi yang sama dengan mesin Turing, termasuk pada tipe yang lebih tinggi?
(Sebagai tambahan, bagaimana Anda memasukkan aksen ke dalam teks? Saya telah menghilangkan aksen dari nama depan dan belakangnya. EDIT: Nama tetap. Saya meninggalkan tanda kurung ini sehingga komentar pada pos terus dibuat merasakan.)