- 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
Toward useful type-free theories. I
Journal of Symbolic Logic 49 (1):75-111 (1984)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Solomon Feferman. Toward useful type-free theories I. The journal of symbolic logic, vol. 49, pp. 75–111., pp. 237–287.).Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):342-345.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Review: Solomon Feferman, Transfinite Recursive Progressions of Axiomatic Theories. [REVIEW]A. Ehrenfeucht & S. Feferman - 1967 - Journal of Symbolic Logic 32 (4):530-531.
Feferman Solomon. Degrees of unsolvability associated with classes of formalized theories. [REVIEW]Hartley Rogers - 1962 - Journal of Symbolic Logic 27 (1):85-86.
Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman.Michael Rathjen - 2016 - Journal of Symbolic Logic 81 (2):742-754.
In Memoriam: Solomon Feferman (1928–2016).Charles Parsons & Wilfried Sieg - 2017 - Bulletin of Symbolic Logic 23 (3):337-344.
S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic.Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
Solomon Feferman. Reflecting on incompleteness. The journal of symbolic logic, vol. 56, pp. 1–49.Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):345-347.
Solomon Feferman. Systems of predicative analysis. The journal of symbolic logic, Bd. 29 Heft 1 , S. 1–30.Kurt Schütte - 1966 - Journal of Symbolic Logic 31 (4):660.
Review: Solomon Feferman, Computation on Abstract Data Types. The Extensional Approach, with an Application to Streams. [REVIEW]Jeffery Zucker - 2002 - Bulletin of Symbolic Logic 8 (4):538-542.
Analytics
Added to PP
2009-01-28
Downloads
295 (#146,613)
6 months
46 (#184,227)
2009-01-28
Downloads
295 (#146,613)
6 months
46 (#184,227)
Historical graph of downloads
Citations of this work
Philosophy in Science: Can philosophers of science permeate through science and produce scientific knowledge?Thomas Pradeu, Mael Lemoine, Mahdi Khelfaoui & Yves Gingras - 2024 - British Journal for the Philosophy of Science 75 (2).
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
Ordinal type theory.Jan Plate - 2025 - Inquiry: An Interdisciplinary Journal of Philosophy 68 (7):2344-2400.
Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2019 - Australasian Journal of Philosophy 98 (1):153-177.
What Counts as Evidence for a Logical Theory?Ole Thomassen Hjortland - 2019 - Australasian Journal of Logic 16 (7):250-282.
References found in this work
Paradoxes of grounding in semantics.Hans G. Herzberger - 1970 - Journal of Philosophy 67 (6):145-167.
A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16-18):247-257.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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