- 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 Gödel Theorem on Network Complexity Lower Bounds
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):377-384 (1986)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
A Gödel Theorem on Network Complexity Lower Bounds.C. P. Schnorr - 1986 - Mathematical Logic Quarterly 32 (19‐24):377-384.
A Gödel theorem for an infinite-valued. Erweiterter Aussagenkalkül.Alan Rose - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):89-90.
Bounds in the Turing reducibility of functions.Karol Habart & K. Habart - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):423-430.
On a Subtheory of the Bernays-Gödel Set Theory.Jannis Manakos - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):413-414.
A Proof of a Theorem of Tennenbaum.Paul E. Howard - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):111-112.
A theorem on cocongruence of rings.Daniel A. Romano - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):87-88.
Vaught Sentences and the Covering Theorem.David W. Kueker - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):221-228.
A General Theorem on Existence Theorems.Martin Stein - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):435-452.
A Note on a Theorem of H. FRIEDMAN.C. Dimitracopoulos & J. Paris - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):13-17.
A form of herbrand's theorem.Theodore Hailperin - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):107-120.
Analytics
Added to PP
2015-12-02
Downloads
24 (#155,087)
6 months
3 (#1,723,834)
2015-12-02
Downloads
24 (#155,087)
6 months
3 (#1,723,834)
Historical graph of downloads
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-7g5mb uwo