Feferman S. and Kreisel G.. Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society, vol. 72 , pp. 480–485.Feferman Solomon. Persistent and invariant formulas for outer extensions. Logic and foundations of mathematics, Dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff Publishing, Groningen 1968, pp. 29–52; also Compositio mathematica, vol. 20 , p. 29–52 [Book Review]

Journal of Symbolic Logic 37 (4):764-765 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
Changes of language in the development of mathematics.Ladislav Kvasz - 2000 - Philosophia Mathematica 8 (1):47-83.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,138,312)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references