Can I read Choiceless Polynomial Time Logic Analysis on EtoBox?
Choiceless Polynomial Time Logic Analysis by Glomse is a document available to read on EtoBox.
What is Choiceless Polynomial Time Logic Analysis about?
This document presents research on the choiceless polynomial time logic (CPTime). It defines CPTime as capturing properties computable in polynomial time without arbitrary choices. The document proves several things about CPTime: 1) It defines a system of partial isomorphisms to show when CPTime cannot express properties on models; 2) It applies this to show random graphs satisfy a 0-1 law for CPTime, proving properties cannot be expressed; 3) It relates the definitions to a prior paper on the topic. The do
- Author
- Glomse
- Language
- EN