Abstract
Under set-theoretic hypotheses, it is proved by Magidor and Malitz that logic with the Magidor-Malitz quantifier in the Ki-interpretation is recursively axiomatizable. It is shown here, under no additional set- theoretic hypotheses, that this logic cannot be axiomatized by finitely many schemata.
| Original language | English |
|---|---|
| Pages (from-to) | 1-13 |
| Number of pages | 13 |
| Journal | Notre Dame Journal of Formal Logic |
| Volume | 31 |
| Issue number | 1 |
| DOIs | |
| State | Published - 1990 |
Fingerprint
Dive into the research topics of 'The nonaxiomatizability of (Formula Presented) by finitely many schemata'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver