Asset Details
Do you wish to reserve the book?
On Q
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
On Q
Do you wish to request the book?
On Q
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Journal Article
On Q
2017
Overview
In this paper we study the theory Q. We prove a basic result that says that, in a sense explained in the paper, Q can be split into two parts. We prove some consequences of this result. (i) Q is not a poly-pair theory. This means that, in a strong sense, pairing cannot be defined in Q. (ii) Q does not have the Pudlák Property. This means that there two interpretations of S21 in Q which do not have a definably isomorphic cut. (iii) Q is not sententially equivalent with PA-. This tells us that we cannot do much better than mutual faithful interpretability as a measure of sameness of Q and PA-. We briefly consider the idea of characterizing Q as the minimal-in-some-sense theory of some kind modulo some equivalence relation. We show that at least one possible road towards this aim is closed.
Publisher
Springer Nature B.V
Subject
We currently cannot retrieve any items related to this title. Kindly check back at a later time.