The decision problem for restricted universal quantification in set theory and the axiom of foundation

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):143-156 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380110

Links

PhilArchive



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

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

The decision problem for restricted universal quantification in set theory and the axiom of foundation.Franco Parlamento & Alberto Policriti - 1992 - Mathematical Logic Quarterly 38 (1):143-156.
Expressing infinity without foundation.Franco Parlamento & Alberto Policriti - 1991 - Journal of Symbolic Logic 56 (4):1230-1235.
The Decidability of the Class and the Axiom of Foundation.Dorella Bellè & Franco Parlamento - 2001 - Notre Dame Journal of Formal Logic 42 (1):41-53.
The Decidability of the $ \forall^*\exists$ Class and the Axiom of Foundation.Dorella Bellè & Franco Parlamento - 2001 - Notre Dame Journal of Formal Logic 42 (1):41-53.
Dependent Choices and Anti-Foundation.Hisato Muraki - 2002 - Mathematical Logic Quarterly 48 (4):607-623.
Bargaining with reasonable aspirations.Johann K. Brunner - 1994 - Theory and Decision 37 (3):311-321.
Lévy hierarchy in weak set theories.Jiří Hanika - 2008 - Journal of Philosophical Logic 37 (2):121 - 140.
Forcing with the Anti‐Foundation axiom.Olivier Esser - 2012 - Mathematical Logic Quarterly 58 (1-2):55-62.
Kripke-Platek Set Theory and the Anti-Foundation Axiom.Michael Rathjen - 2001 - Mathematical Logic Quarterly 47 (4):435-440.
Conditional Preference and Causal Expected Utility.Brad Armendt - 1988 - In W. L. Harper & B. Skyrms (eds.), Causation in Decision, Belief Change, and Statistics, vol. II. Kluwer Academic Publishers. pp. 3-24.
Decidability of ∀*∀‐Sentences in Membership Theories.Eugenio G. Omodeo, Franco Parlamento & Alberto Policriti - 1996 - Mathematical Logic Quarterly 42 (1):41-58.
Connections between axioms of set theory and basic theorems of universal algebra.H. Andréka, Á Kurucz & I. Németi - 1994 - Journal of Symbolic Logic 59 (3):912-923.
A foundation for causal decision theory.Brad Armendt - 1986 - Topoi 5 (1):3-19.
Restriction by Noncontraction.Elia Zardini - 2016 - Notre Dame Journal of Formal Logic 57 (2):287-327.
On the significance of choice sets with incompatibilities.Vivian Charles Walsh - 1967 - Philosophy of Science 34 (3):243-250.

Analytics

Added to PP
2016-02-04

Downloads
29 (#550,291)

6 months
4 (#787,709)

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