Some Results in Aczel‐Feferman Logic and Set Theory

Mathematical Logic Quarterly 28 (19):269-276 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19820281902

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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

Eine äquivalente formalisierung der logik Von Feferman und Aczel.Martin Kühnrich - 1983 - Mathematical Logic Quarterly 29 (11):565-568.
A functorial property of the Aczel-Buchholz-Feferman function.Andreas Weiermann - 1994 - Journal of Symbolic Logic 59 (3):945-955.
Review: Dag Prawitz, J. E. Fenstad, Ideas and Results in Proof Theory. [REVIEW]Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (2):232-234.
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
An Algebraic Theory of Structured Objects.Chrysafis Hartonas - 1997 - Notre Dame Journal of Formal Logic 38 (1):65-80.
An argument for finsler-Aczel set theory.Adam Rieger - 2000 - Mind 109 (434):241-253.
Logic and Methodology, Center Stage.Anita Burdman Feferman & Solomon Feferman - 2010 - Philosophia Scientiae 14 (1):159-168.
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.
Anita Burdman Feferman and Solomon Feferman, Alfred Tarski: Life and Logic.Manuel Bremer - 2009 - Philosophy in Review 29 (6):404.
Anti-admissible sets.Jacob Lurie - 1999 - Journal of Symbolic Logic 64 (2):407-435.
In the Light of Logic.Solomon Feferman - 1998 - New York and Oxford: Oxford University Press.
Review of S. Feferman's in the light of logic. [REVIEW]Andrew Arana - 2005 - Mathematical Intelligencer 27 (4).

Analytics

Added to PP
2013-12-01

Downloads
13 (#1,039,189)

6 months
2 (#1,203,099)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.

Add more citations

References found in this work

No references found.

Add more references