- 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 Generalization of a Theorem of H. Friedman
Mathematical Logic Quarterly 31 (14-18):221-225 (1985)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
A Generalization of a Theorem of H. Friedman.C. Dimitracopoulos - 1985 - Mathematical Logic Quarterly 31 (14‐18):221-225.
Envelopes, indicators and conservativeness.Andrés Cordón-Franco, Alejandro Fernández-Margarit & F. Félix Lara-Martín - 2006 - Mathematical Logic Quarterly 52 (1):51-70.
A generalization of lindenbaum's theorem for predicate calculi.Konrad Schultz - 1984 - Mathematical Logic Quarterly 30 (9‐11):165-168.
A proof-theoretic analysis of collection.Lev D. Beklemishev - 1998 - Archive for Mathematical Logic 37 (5-6):275-296.
Correction to: Generalization of Shapiro’s theorem to higher arities and noninjective notations.Dariusz Kalociński & Michał Wrocławski - 2023 - Archive for Mathematical Logic 62 (1):289-290.
An admissible generalization of a theorem on countable ¹ 1 sets of reals with applications.M. Makkai - 1977 - Annals of Mathematical Logic 11 (1):1.
A generalization of the Keisler-Morley theorem to recursively saturated ordered structures.Shahram Mohsenipour - 2007 - Mathematical Logic Quarterly 53 (3):289-294.
On a problem of H. Friedman and its solution by T. Prucnal.P. Wojtylak - 2004 - Reports on Mathematical Logic:69-86.
A constructive proof of the Peter‐Weyl theorem.Thierry Coquand & Bas Spitters - 2005 - Mathematical Logic Quarterly 51 (4):351-359.
Analytics
Added to PP
2015-12-02
Downloads
26 (#597,650)
6 months
1 (#1,721,226)
2015-12-02
Downloads
26 (#597,650)
6 months
1 (#1,721,226)
Historical graph of downloads
Citations of this work
Unifying the model theory of first-order and second-order arithmetic via WKL 0 ⁎.Ali Enayat & Tin Lok Wong - 2017 - Annals of Pure and Applied Logic 168 (6):1247-1283.
The self-embedding theorem of WKL0 and a non-standard method.Kazuyuki Tanaka - 1997 - Annals of Pure and Applied Logic 84 (1):41-49.
Open days in set theory and arithmetic, Jachranka, Poland, 1986.Roman Kossak & Marian Srebrny - 1987 - Journal of Symbolic Logic 52 (3):888-894.
References found in this work
An introduction to recursively saturated and resplendent models.Jon Barwise & John Schlipf - 1976 - Journal of Symbolic Logic 41 (2):531-536.
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-xdvnm uwo