Review: S. Feferman, G. Kreisel, Persistent and Invariant Formulas Relative to Theories of Higher Order; Solomon Feferman, Persistent and Invariant Formulas for Outer Extensions [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

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

Through your library

My notes

Similar books and articles

Review: Azriel Levy, A Hierarchy of Formulas in Set Theory. [REVIEW]Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (3):473-474.
Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Program constructions that are safe for bisimulation.Johan Van Benthem - 1998 - Studia Logica 60 (2):311-330.
Two notes on abstract model theory. I. properties invariant on the range of definable relations between structures.Solomon Feferman with with R. L. Vaught - manuscript
Kreisel's 'Unwinding Program'.Solomon Feferman - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 247--273.
Review: Georges Kreisel, La Predicativite. [REVIEW]Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (1):79-80.
Review: R. O. Gandy, G. Kreisel, W. W. Tait, Set Existence. [REVIEW]Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (2):232-233.
Review: Solomon Feferman, Ordinals and Functionals in Proof Theory. [REVIEW]Georg Kreisel - 1975 - Journal of Symbolic Logic 40 (4):625-626.
Logic and Methodology, Center Stage.Anita Burdman Feferman & Solomon Feferman - 2010 - Philosophia Scientiae 14 (1):159-168.
Invariant Version of Cardinality Quantifiers in Superstable Theories.Alexander Berenstein & Ziv Shami - 2006 - Notre Dame Journal of Formal Logic 47 (3):343-351.
Book Reviews: Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge.Walter Carnielli - 2006 - Logic and Logical Philosophy 15 (1):91-96.
Review of S. Feferman's in the light of logic. [REVIEW]Andrew Arana - 2005 - Mathematical Intelligencer 27 (4).
Anita Burdamn-Feferman, Solomon Feferman, Alfred Tarski. Życie i logika, przeł. Joanna Golińska-Pilarek, Marian Srebrny, Warszawa 2009, ss. 475. [REVIEW]Bożena Czarnecka-Rej - 2011 - Roczniki Filozoficzne:79-84.

Analytics

Added to PP
2013-11-22

Downloads
9 (#1,253,837)

6 months
5 (#639,314)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references