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: 93,779

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 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (19):269-276.
Eine äquivalente formalisierung der logik Von Feferman und Aczel.Martin Kühnrich - 1983 - Mathematical Logic Quarterly 29 (11):565-568.
Some Results and Problems in The Modal Set Theory MST.Jan Krajíček - 1988 - Mathematical Logic Quarterly 34 (2):123-134.
Bounded finite set theory.Laurence Kirby - 2021 - Mathematical Logic Quarterly 67 (2):149-163.
On the regular extension axiom and its variants.Robert S. Lubarsky & Michael Rathjen - 2003 - Mathematical Logic Quarterly 49 (5):511.
A Non‐Boolean Version of Feferman‐Vaught's Theorem.R. Lavendhomme & Th Lucas - 1985 - Mathematical Logic Quarterly 31 (19‐20):299-308.
Maarten Wicher Visser Bunder. Set theory based on combinatory logic. Dissertation Amsterdam 1969, 80 pp. + 3 pp. of corrections. [REVIEW]Jonathan P. Seldin - 1970 - Journal of Symbolic Logic 35 (1):147-148.
Feferman on Foundations: Logic, Mathematics, Philosophy.Gerhard Jäger & Wilfried Sieg (eds.) - 2017 - Cham: Springer.
Feferman on Set Theory: Infinity up on Trial.Peter Koellner - 2017 - In Gerhard Jäger & Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Cham: Springer.
Some Basic Results in the Theory of ω-Stable Theories.Williams K. Forrest - 1979 - Mathematical Logic Quarterly 25 (33):513-520.

Analytics

Added to PP
2013-12-01

Downloads
16 (#908,022)

6 months
5 (#838,466)

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