- 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 Paul Axt
17 found
Order:
- Enumeration and the Grzegorczyk Hierarchy.Paul Axt - 1963 - Mathematical Logic Quarterly 9 (1-4):53-65.
- (1 other version)Iteration of Primitive Recursion.Paul Axt - 1965 - Mathematical Logic Quarterly 11 (3):253-255.
- A. H. Lachlan. Recursive real numbers. The journal of symbolic logic, vol. 28 no. 1 , pp. 1–16.Paul Axt - 1965 - Journal of Symbolic Logic 30 (2):256.
- (1 other version)Decision problems associated with complete deterministic normal systems.Paul Axt & W. E. Singletary - 1969 - Mathematical Logic Quarterly 15 (19):299-304.No categories
- R. S. Lehman. On primitive recursive real numbers. Fundamenta mathematicae, vol. 49 , pp. 105–118.Paul Axt - 1962 - Journal of Symbolic Logic 27 (2):245-246.
- Note on the 3‐Recursive Functions.Paul Axt - 1961 - Mathematical Logic Quarterly 7 (7-10):97-98.
- Norman Shapiro. Functions which remain partial recursive under all similarity transformations. The journal of symbolic logic, vol. 28 no. 1 , pp. 17–19.Paul Axt - 1968 - Journal of Symbolic Logic 32 (4):527.
- (1 other version)On deterministic normal systems.Paul Axt & W. E. Singletary - 1969 - Mathematical Logic Quarterly 15 (4‐5):49-62.No categories
- Bereczki Ilona. Lösung eines Markovschen Problems betreffs einer Ausdehnung des Begriffes der elementaren Funktion. German with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 3 , pp. 197–218. [REVIEW]Paul Axt - 1954 - Journal of Symbolic Logic 19 (2):122-122.
- D. L. Kreider and R. W. Ritchie. Predictably computable functionals and definition by recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 65–80. [REVIEW]Paul Axt - 1968 - Journal of Symbolic Logic 33 (2):298-299.
- Markwald W.. Zur Eigenschaft primitiv-rekursiver Funktionen, unendlich viele Werte anzunehmen. Fundamerita mathematicae, vol. 42 , pp. 166–167. [REVIEW]Paul Axt - 1958 - Journal of Symbolic Logic 23 (1):48-48.
- Péter Rózsa. Die beschränkt-rekursiven Funktionen und die Ackermannsche Majorisierungsmethode. Publicationes mathematicae , vol. 4 no. 3–4 , pp. 362–375. [REVIEW]Paul Axt - 1957 - Journal of Symbolic Logic 22 (4):376-376.
- Péter Rózsa. Graphschemata und rekursive Funktionen. Dialectica, vol. 12 , pp. 373–393; also Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique no. 34, Éditions du Griffon, Neuch'tel 1959, pp. 169–189.Péter Rósza. Über die Partiell-rekursivität der durch Graphschemata definierten zahlentheoretischen Funktionen. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös nominatae, Sectio mathematica, vol. 2 , pp. 41–48. [REVIEW]Paul Axt - 1962 - Journal of Symbolic Logic 27 (1):83-83.
- Péter Rózsa. Rekursive Definitionen, wobei frühere Funktionswerte von variabler Anzahl verwendet werden. Publicationes mathematicae , vol. 3 , pp. 33–70. [REVIEW]Paul Axt - 1955 - Journal of Symbolic Logic 20 (2):176-176.
- Review: Norman Shapiro, Functions which Remain Partial Recursive Under all Similarity Transformations. [REVIEW]Paul Axt - 1967 - Journal of Symbolic Logic 32 (4):527-527.Export citation
Bookmark - Robert W. Ritchie. Classes of recursive functions based on Ackermann's function. Pacific journal of mathematics, vol. 15 , pp. 1027–1044. [REVIEW]Paul Axt - 1966 - Journal of Symbolic Logic 31 (4):654-654.
- Shoenfield J. R.. The class of recursive functions. Proceedings of the American Mathematical Society, vol. 9 , pp. 690–692. [REVIEW]Paul Axt - 1959 - Journal of Symbolic Logic 24 (3):238-239.
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-667477cd97-2pm92 dc2