ฉันรู้ว่าคำถามที่ว่า "มีสูตรสั่งซื้อครั้งแรกมีรูปแบบใด" ไม่สามารถตัดสินใจได้โดยทั่วไป
ใครสามารถให้ลิงค์หรือหนังสือที่ให้คำตอบกับแบบจำลองอัน จำกัด ได้ ถ้าฉันมีสูตรการสั่งซื้อครั้งแรกมันจะตัดสินใจได้หรือไม่ว่ามีรูปแบบ จำกัด หรือไม่? ฉันค่อนข้างมั่นใจว่าคำถามนี้เป็นที่รู้จักกันดี แต่ฉันไม่รู้ด้วยซ้ำว่าจะเริ่มค้นหาคำตอบได้ที่ไหน (ตัวอย่างเช่นฉันคาดว่ามันจะอยู่ใน "องค์ประกอบของทฤษฎีแบบ จำกัด " ของ Libkin แต่ดูเหมือนว่าฉันไม่สามารถหามันได้)
ส่วนที่สองของคำถามของฉันคือ: มีข้อ จำกัด ที่ทราบกันดีว่าปัญหานั้นตัดสินใจได้หรือไม่?
ตัวอย่างเช่นปัญหาอาจกลายเป็น decidable สำหรับสูตรลำดับที่หนึ่งที่มีภาคแสดงเท่านั้น หรือเมื่อเรามีภาคคำนามบวกกับความสัมพันธ์ที่สืบต่อกันมา แต่ฉันไม่สามารถจินตนาการอัลกอริทึมในการตัดสินใจว่ามีโมเดล (จำกัด ) อยู่เหนือข้อ จำกัด เหล่านั้นหรือไม่