ในเอกสารการประชุมเชิงปฏิบัติการปี 1999 ของเขา"A Metric Model of PCF" , MartínEscardóแสดงให้เห็นว่ามันเป็นไปได้ที่จะให้การตีความที่ง่ายของ PCF ในหมวดหมู่ของช่องว่าง ultrametric สมบูรณ์และแผนที่ nonexpansive
เขาแสดงแบบจำลองนี้ว่าเพียงพอและสามารถจำลองแบบการเพิ่มการหมดเวลาใช้งานได้ (เช่นผู้ดำเนินการที่จะเรียกใช้อาร์กิวเมนต์สำหรับขั้นตอนจำนวน จำกัด และให้คำตอบหรือส่งสัญญาณข้อผิดพลาดหากไม่สามารถยุติภายใน การ จำกัด เวลา) จากนั้นเขาก็แนะนำว่าจะเป็นเรื่องธรรมดาที่จะตรวจสอบว่าแบบจำลองเมตริกเป็นนามธรรมอย่างสมบูรณ์เกี่ยวกับการหมดเวลา PCF +
- มีใครตรวจสอบเรื่องนี้และถ้าเป็นเช่นนั้นคำตอบคืออะไร?
- การหมดเวลา PCF + ตระหนักถึงฟังก์ชั่นเดียวกับเครื่องทัวริงรวมถึงประเภทที่สูงขึ้นหรือไม่
(นอกจากคุณจะใส่สำเนียงลงในข้อความได้อย่างไรฉันได้ลดสำเนียงจากชื่อและนามสกุลของเขาแก้ไข: ชื่อคงที่ฉันออกจากวงเล็บนี้เพื่อให้ความคิดเห็นในโพสต์ยังคงดำเนินต่อไป ความรู้สึก.)