Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part I. Studies in logic and the foundations of mathematics, vol. 64. North-Holland Publishing Company, Amsterdam and London 1971, VI + 508 pp. - L. Henkin, J. D. Monk, and A. Tarski. Cylindric set algebras and related structures. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 1–129. - H. Andréka and I. Németi. On cylindric-relativized set algebras. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 131–315.

1985 ◽  
Vol 50 (1) ◽  
pp. 234-237
Author(s):  
Roger Maddux
Keyword(s):  
New York ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
Cylindric Algebras ◽  
North Holland Publishing Company ◽  
Alfred Tarski ◽  
North Holland Publishing ◽  
Lecture Notes ◽  
Cylindric Set Algebras

S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic and the foundations of mathematics, vol. 109, NorthHolland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 171–196. - Solomon Feferman. Monotone inductive definitions. The L. E. J. Brouwer centenary symposium, Proceedings of the conference held in Noordwijkerhout, 8–13 June, 1981, edited by A. S. Troelstra and D. van Dalen, Studies in logic and the foundations of mathematics, vol. 110, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 77–89. - S. Feferman and G. Jäger. Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis. The journal of symbolic logic, vol. 48 (1983), pp. 63–70.

1994 ◽  
Vol 59 (2) ◽  
pp. 668-670
Author(s):  
Helmut Pfeiffer
Keyword(s):  
New York ◽  
Fixed Point ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
Symbolic Logic ◽  
Theoretical Studies ◽  
North Holland Publishing Company ◽  
Inductive Definitions ◽  
North Holland Publishing ◽  
Lecture Notes

Reviews - Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. VIII–IX. - Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 3–35. - Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 39–74. - Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 77–87. - Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 89–91. - Index. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 93–98.

1959 ◽  
Vol 24 (2) ◽  
pp. 167-169 ◽  
Author(s):  
Martin Davis
Keyword(s):  
Elementary Theory ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
North Holland Publishing Company ◽  
Alfred Tarski ◽  
North Holland Publishing ◽  
General Method

Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the finite frame property in Boolean semantics. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 32–39. - Jaakko Hintikka and Veikko Rantala. Systematizing definability theory. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 40–62. - Herman Ruge Jervell. Conservative endextensions and the quantifier ‘there exist uncountably many.’Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 63–80. - Per Martin-Löf. About models for intuitionistic type theories and the notion of definitional equality. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 81–109. - Henrik Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 110–143. - Arto Salomaa. On some decidability problems concerning developmental languages. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 144–153.

1978 ◽  
Vol 43 (2) ◽  
pp. 373-376 ◽  
Author(s):  
S. K. Thomason
Keyword(s):  
New York ◽  
Modal Logic ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
Kit Fine ◽  
North Holland Publishing Company ◽  
The Third ◽  
Inductive Definitions ◽  
Finite Frame ◽  
North Holland Publishing
Sign in / Sign up

Export Citation Format

Share Document