Immerman-Vardi উপপাদ্য বলে যে, PTIME (অথবা পি) অবিকল ভাষায় বর্গ প্রথম অর্ডার লজিক এর একটি বাক্য দ্বারা বর্ণিত যে করা যাবে একসঙ্গে একটি নির্দিষ্ট বিন্দু অপারেটর সঙ্গে, আদেশ স্ট্রাকচার ক্লাস শেষ। ফিক্সড পয়েন্ট অপারেটর হয় হয় কমপক্ষে স্থির-পয়েন্ট (ইমারম্যান এবং ভার্দি দ্বারা বিবেচিত), বা মুদ্রাস্ফীতি স্থায়ী-পয়েন্ট হতে পারে। (স্টিফান ক্রিয়েটজার, সর্বনিম্ন এবং মুদ্রাস্ফীতির স্থির-পয়েন্ট যুক্তির এক্সপ্রেসিভ সমতুল্যতা , খাঁটি এবং প্রয়োগযুক্ত লজিকের এ্যানালস 130 61-78, 2004)।
ইউরি গুরেভিচ অনুমান করেছিলেন যে পিটিটাইম ( লজিক এবং কম্পিউটার বিজ্ঞানের চ্যালেঞ্জ, তাত্ত্বিক কম্পিউটার বিজ্ঞানের বর্তমান ট্রেন্ডস, এড। ইগন বোয়ারগার, 1-55, কম্পিউটার সায়েন্স প্রেস, 1988) ক্যাপচার করার কোনও যুক্তি নেই , আর মার্টিন গ্রোহ বলেছেন যে তিনি কম নিশ্চিত ( একটি লজিক ক্যাপচারিং পিটিটাইমের জন্য কোয়েস্ট , ফোকস ২০০৮)।
স্থির-পয়েন্ট অপারেটরটি পুনরাবৃত্তির শক্তি ক্যাপচার করতে বোঝায়। স্থির-পয়েন্টগুলি শক্তিশালী, তবে সেগুলি প্রয়োজনীয় তা আমার কাছে স্পষ্ট নয়।
এমন কি কোনও অপারেটর এক্স আছে যা স্থির-পয়েন্টের উপর ভিত্তি করে নয়, যেমন FOL + এক্স পিটিটাইমের একটি (বৃহত্তর) টুকরো ক্যাপচার করে?
সম্পাদনা: যতদূর আমি বুঝতে পারি, লিনিয়ার যুক্তি কেবলমাত্র এমন স্ট্রাকচার সম্পর্কে বিবৃতি প্রকাশ করতে পারে যা বেশ সীমাবদ্ধ ফর্মযুক্ত। আমি আদর্শভাবে একটি যুক্তির একটি রেফারেন্স বা একটি স্কেচ দেখতে চাই যা স্থির বিন্দুগুলি এড়িয়ে গিয়ে সম্পর্কযুক্ত কাঠামোর যথেচ্ছ সেটগুলির বৈশিষ্ট্য প্রকাশ করতে পারে। আমি যদি রৈখিক যুক্তির অভিব্যক্তিপূর্ণ শক্তি সম্পর্কে ভুল হয়ে থাকে তবে একটি পয়েন্টার বা ইঙ্গিতটি স্বাগত জানানো হবে।