Solomon Feferman. A language and axioms for explicit mathematics. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–139. - Solomon Feferman. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224.

1984 ◽  
Vol 49 (1) ◽  
pp. 308-311
Author(s):  
G. R. Renardel de Lavalette ◽  
A. S. Troelstra
Keyword(s):  
New York ◽  
Publishing Company ◽  
Mathematical Society ◽  
Foundations Of Mathematics ◽  
North Holland Publishing Company ◽  
Australian Mathematical Society ◽  
North Holland Publishing ◽  
Lecture Notes ◽  
Research Institute

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

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