| Title: |
On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames |
| Authors: |
Skvortsov, Dmitrij |
| Publisher Information: |
Oxford University Press |
| Publication Year: |
2006 |
| Collection: |
HighWire Press (Stanford University) |
| Subject Terms: |
Original Papers |
| Description: |
The article presents general results on non-axiomatizability for superintuitionistic predicate logics. In particular, the logics of all well-ordered, all dually well-ordered, and all dually well-founded Kripke frames (in the semantics with nested and with constant domains) are Π 1 1-hard, and the logic of all Kripke frames of finite height is not recursively axiomatizable (although it is known to be Π 2 0-arithmetical). A result on Kripke-incompleteness is stated as well. |
| Document Type: |
text |
| File Description: |
text/html |
| Language: |
English |
| Relation: |
http://logcom.oxfordjournals.org/cgi/content/short/exl031v1; http://dx.doi.org/10.1093/logcom/exl031 |
| DOI: |
10.1093/logcom/exl031 |
| Availability: |
http://logcom.oxfordjournals.org/cgi/content/short/exl031v1; https://doi.org/10.1093/logcom/exl031 |
| Rights: |
Copyright (C) 2006, Oxford University Press |
| Accession Number: |
edsbas.C85AF5F8 |
| Database: |
BASE |