Some Results in Aczel-Feferman Logic and Set Theory

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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: 91,672

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

Some Results in Aczel‐Feferman Logic and Set Theory.M. W. Bunder - 1982 - Mathematical Logic Quarterly 28 (19):269-276.
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.
Algorithmic uses of the Feferman–Vaught Theorem.J. A. Makowsky - 2004 - Annals of Pure and Applied Logic 126 (1-3):159-213.
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.
Forcing under Anti‐Foundation Axiom: An expression of the stalks.Sato Kentaro - 2006 - Mathematical Logic Quarterly 52 (3):295-314.
Alfred Tarski, Life and Logic.Anita Burdman Feferman & Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
In the Light of Logic.Solomon Feferman - 1998 - New York and Oxford: Oxford University Press.
An argument for finsler-Aczel set theory.Adam Rieger - 2000 - Mind 109 (434):241-253.
On the regular extension axiom and its variants.Robert S. Lubarsky & Michael Rathjen - 2003 - Mathematical Logic Quarterly 49 (5):511.
Relating Quine's NF to Feferman's EM.Andrea Cantini - 1999 - Studia Logica 62 (2):141-162.
Monotone inductive definitions in a constructive theory of functions and classes.Shuzo Takahashi - 1989 - Annals of Pure and Applied Logic 42 (3):255-297.
Logic and Methodology, Center Stage.Anita Burdman Feferman & Solomon Feferman - 2010 - Philosophia Scientiae 14 (1):159-168.

Analytics

Added to PP
2015-12-02

Downloads
28 (#566,976)

6 months
2 (#1,186,462)

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