- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Weak axioms of determinacy and subsystems of analysis I: δ20 games
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):481-491 (1990)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
On a Property of Matrices for Subsystems of IC+.Dolph Ulrich - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):193-194.
On subsystems of the system J1 of Arruda and Da Costa.Igor Urbas - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (2):95-106.
Quasilinear Posets and some Subsystems Of Dummett's LC.Pierluigi Minari - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):257-266.
Gentzen Games.Herman Ruge Jervell - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (25-28):431-439.
Dependence of Some Axioms of Rose.Zane Parks - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):189-192.
The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (1-2):29-32.
Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):169-176.
Concerning the Axioms of Ackermann's Set Theory.Wojciech Buszkowski - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):63-70.
Comparison of the axioms of local and global universality.Marco Forti & Furio Honsell - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (13‐16):193-196.
Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):443-444.
Analytics
Added to PP
2016-02-04
Downloads
44 (#351,290)
6 months
5 (#836,975)
2016-02-04
Downloads
44 (#351,290)
6 months
5 (#836,975)
Historical graph of downloads
Citations of this work
Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives.Kentaro Sato - 2020 - Annals of Pure and Applied Logic 171 (3):102754.
Δ 0 3 -determinacy, comprehension and induction.MedYahya Ould MedSalem & Kazuyuki Tanaka - 2007 - Journal of Symbolic Logic 72 (2):452-462.
Determinacy of Wadge classes and subsystems of second order arithmetic.Takako Nemoto - 2009 - Mathematical Logic Quarterly 55 (2):154-176.
Reverse mathematics: the playground of logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Reverse mathematics and initial intervals.Emanuele Frittaion & Alberto Marcone - 2014 - Annals of Pure and Applied Logic 165 (3):858-879.
References found in this work
The method of alternating chains.J. W. Addison - 1965 - In The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 1--16.
Uniformly defined descending sequences of degrees.Harvey Friedman - 1976 - Journal of Symbolic Logic 41 (2):363-367.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-2nz2h uwo