- 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
A General Theorem on Existence Theorems
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):435-452 (1981)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
A General Theorem on Existence Theorems.Martin Stein - 1981 - Mathematical Logic Quarterly 27 (25‐30):435-452.
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem.R. E. Hodel - 2005 - Archive for Mathematical Logic 44 (4):459-472.
Some theorems on structural entailment relations.Janusz Czelakowski - 1983 - Studia Logica 42 (4):417 - 429.
A Rejection System for the First-Degree Formulae of some Relevant Logics.Ross T. Brady - 2008 - Australasian Journal of Logic 6:55-69.
General covariance from the perspective of noether's theorems.Harvey Brown & Katherine Brading - 2002 - Fenomenologia. Diálogos Possíveis Campinas: Alínea/Goiânia: Editora da Puc Goiás 79:59-86.
Canonization theorems and applications.Saharon Shelah - 1981 - Journal of Symbolic Logic 46 (2):345-353.
Which set existence axioms are needed to prove the cauchy/peano theorem for ordinary differential equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.
Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
Analytics
Added to PP
2015-12-02
Downloads
23 (#637,895)
6 months
1 (#1,428,112)
2015-12-02
Downloads
23 (#637,895)
6 months
1 (#1,428,112)
Historical graph of downloads
References found in this work
Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.
Interpretation of analysis by means of constructive functionals of finite types.Georg Kreisel - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 101--128.
Interpretations of Heyting's arithmetic—An analysis by means of a language with set symbols.Martin Stein - 1980 - Annals of Mathematical Logic 19 (1-2):1-31.
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-6d9b7f7c4c-67rzb uwo