Second-order logic and foundations of mathematics

Bulletin of Symbolic Logic

Volumn 7, Issue 4, 2001, Pages 504-520

  Väänänen, Jouko ^a  

^a UNIVERSITY OF HELSINKI   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035733098     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/2687796     Document Type: Article

References (16)

1. ∞ω, Annals of Mathematical Logic, vol. 4 (1972), pp. 309-340.
2. LEON HENKIN, Completeness in the theory of types, The Journal of Symbolic Logic, vol. 15 (1950), pp. 81-91.
3. JAAKKO HINTIKKA, Reductions in the theory of types, Acta Philos. Fenn., vol. 8 (1955), pp. 57-115.
4. _, The principles of mathematics revisited, Cambridge University Press, Cambridge, 1996, with an appendix by Gabriel Sundu.
5. G. KREISEL, Informal rigour and completeness proofs, Proceedings of the international colloquium in the philosophy of science, London, 1965 (Imre Lakatos, editor), vol. 1. North-Holland Publishing Co., Amsterdam, 1967, pp. 138-157.
6. PER LINDSTRÖM, On extensions of elementary logic, Theoria, vol. 35 (1969), pp. 1-11.
7. _, A note on weak second order logic with variables for elementarily definable relations, The proceedings of the Bertrand Russell memorial conference (Uldum, 1971), Bertrand Russell Memorial Logic Conference, Leeds, 1973, pp. 221-233.
8. RICHARD MONTAGUE, Auction of higher-order logic, Theory of models (Proceedings of the 1963 international symposium Berkeley), North-Holland, Amsterdam, 1965, pp. 251-264.
9. _, Set theory and higher-order logic, Formal systems and recursive functions (Proceedings of the eighth logic colloquium, Oxford, 1963), North-Holland, Amsterdam, 1965. pp. 131-148.
10. ANDRZEJ MOSTOWSKI, Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic, Essays on the foundations of mathematics, Magnes Press, Hebrew University, Jerusalem, 1961, pp. 269-286.
11. STEWART SHAPIRO, Foundations without foundationalism, A case for second-order logic, Oxford Science Publications, The Clarendon Press Oxford University Press, New York, 1991.
12. ε-saturated models, the main gap, Israel Journal of Mathematics, vol. 43 (1982), no. 4, pp. 324-356.
13. _, The spectrum problem. II. Totally transcendental and infinite depth, Israel Journal of Mathematics, vol. 41 (1982), no. 4, pp. 357-364.
14. STEPHEN G. SIMPSON, Subsystems of second order arithmetic, Springer-Verlag, Berlin.
15. ALFRED TARSKI, A decision method for elementary algebra and geometry, RAND Corporation, Santa Monica, California, 1948.
16. JOUKO VÄÄNÄNEN, Set-theoretic definability of logics, Model-theoretic logics, Springer, New York, 1985, pp. 599-643.