Some Results in Aczel-Feferman Logic and Set Theory

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,766

External links

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

Through your library

Analytics

Added to PP
2015-12-02

Downloads
26 (#444,111)

6 months
1 (#386,989)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references

Citations of this work

Toward Useful Type-Free Theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.

Add more citations

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.
Algorithmic Uses of the Feferman–Vaught Theorem.J. A. Makowsky - 2004 - Annals of Pure and Applied Logic 126 (1-3):159-213.
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.
Relating Quine's NF to Feferman's EM.Andrea Cantini - 1999 - Studia Logica 62 (2):141-162.
Logic and Methodology, Center Stage1.Anita Burdman Feferman & Solomon Feferman - 2010 - Philosophia Scientiae 14 (1):159-168.