- 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
Works by Werner Markwald
9 found
Order:
- Spector Clifford. Recursive well-orderings.Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):412-413.
- Schütte Kurt. Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen. Mathematische Annalen, Bd. 127 , S. 15–32. [REVIEW]Werner Markwald - 1954 - Journal of Symbolic Logic 19 (3):217-218.
- Kleene S. C.. On the forms of predicates in the theory of constructive ordinals . American journal of mathematics, Bd. 77 , S. 405–428. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):410-411.
- Kleene S. C.. Hierarchies of number-theoretic predicates. Bulletin of the American Mathematical Society, Bd. 61 , S. 193–213. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):411-412.
- Kleene S. C.. Arithmetical predicates and function quantifiers. Transactions of the American Mathematical Society, Bd. 79 , S. 312–340. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):409-410.
- Review: Clifford Spector, Recursive Well-Orderings. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):412-413.
- Review: S. C. Kleene, Arithmetical Predicates and Function Quantifiers. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):409-410.
- Review: S. C. Kleene, Hierarchies of Number-Theoretic Predicates. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):411-412.
- Review: S. C. Kleene, On the Forms of Predicates in the Theory of Constructive Ordinals (Second Paper). [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):410-411.
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-68866f4b87-dxklk uwo