On the methods of mechanical non-theorems (latest version)
On the methods of mechanical non-theorems (latest version)
On the methods of mechanical non-theorems (latest version)
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Bibliography<br />
[Aan71]<br />
[Aan83]<br />
S.O. Aanderaa. <strong>On</strong> <strong>the</strong> decision problem for fomulas in which all disjunctions are<br />
binary. In Proc. 2nd Scandinavian Logic Symp., volume 48, pages 1–18, 1971.<br />
S.O. Aanderaa. <strong>On</strong> <strong>the</strong> solvability <strong>of</strong> <strong>the</strong> extended ∀∃ ∧ ∃∀∗ ackermann class with<br />
identity. In Logic and Machines, pages 270–284, 1983.<br />
[AGM + 98] H. Andréka, S. Givant, S. Mikulás, I. Németi, and A. Simon. Notions <strong>of</strong> density that<br />
imply representability in algebraic logic. Ann. Pure Appl. Logic, 91(2-3):93–190, 1998.<br />
[AL73] S.O. Aanderaa and H.R. Lewis. Prefix classes <strong>of</strong> krom formulas. J. Symb. Log.,<br />
38(4):628–642, 1973.<br />
[AM94]<br />
[ANS01]<br />
[ASN01]<br />
[B¨60]<br />
[Ber59]<br />
[Ber66]<br />
[BG04]<br />
[BGG97]<br />
H. Andréka and R.D. Maddux. Representations for small relation algebras. Notre<br />
Dame Journal <strong>of</strong> Formal Logic, 35(4):550–562, 1994.<br />
H. Andreka, I. Nemeti, and I. Sain. Algebraic logic. In D. Gabbay and F. Guen<strong>the</strong>r,<br />
editors, Handbook <strong>of</strong> Philosophical Logic, volume 2, pages 133–247. 2001.<br />
H. Andréka, I. Sain, and I. Németi. Algebraic logic. In Handbook <strong>of</strong> Philosophical<br />
Logic, Vol 2, volume 2, pages 133–247. Kluwer Academic Publishers, 2001.<br />
J. R. Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für ma<strong>the</strong>matische<br />
Logik und Grundlagen der Ma<strong>the</strong>matik, 6:66–92, 1960.<br />
P. Bernays. Über eine natürliche erweiterung des relationenkalküls. In A. Heyting,<br />
editor, Constuctivity in ma<strong>the</strong>rmatics, pages 1–14, Amsterdam, 1959. North-Holland.<br />
R. Berger. The undecidability <strong>of</strong> <strong>the</strong> domino problem. Memoirs American Ma<strong>the</strong>matical<br />
Society, 66:1966, 1966.<br />
A. Blumensath and E. Grädel. Finite presentations <strong>of</strong> infinite structures: Automata<br />
and interpretations. Theory Comput. Syst., 37(6):641–674, 2004.<br />
E. Börger, E. Grädel, and Y. Gurevich. The Classical Decision Problem. Perspectives in<br />
Ma<strong>the</strong>matical Logic. Springer-Verlag, 1997.<br />
[BHMV94] V. Bruyére, G. Hansel, C. Michaux, and R. Villemaire. Logic and p-recognizable sets<br />
<strong>of</strong> integers. Bulletin <strong>of</strong> <strong>the</strong> Belgian Ma<strong>the</strong>matical Society, 1:191–238, 1994. Available<br />
from http://www.emis.de/<br />
journals/BBMS/Bulletin/bul942/BRU.PDF.<br />
103