Jens E. Fenstad. General recursion theory. An axiomatic approach. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, XI + 225 pp.

1982 ◽  
Vol 47 (3) ◽  
pp. 696-698
Author(s):  
Douglas Cenzer
Keyword(s):  
New York ◽  
Mathematical Logic ◽  
Recursion Theory ◽  
Axiomatic Approach

G. Metakides and A. Nerode. Recursion theory and algebra. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 209–219. - Iraj Kalantari and Allen Retzlaff. Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces. The journal of symbolic logic, vol. 42 no. 4 (for 1977, pub. 1978), pp. 481–491. - Iraj Kalantari. Major subspaces of recursively enumerable vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 293–303. - J. Remmel. A r-maximal vector space not contained in any maximal vector space. The journal of symbolic logic, vol. 43 (1978), pp. 430–441. - Allen Retzlaff. Simple and hyperhypersimple vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 260–269. - J. B. Remmel. Maximal and cohesive vector spaces. The journal of symbolic logic, vol. 42 no. 3 (for 1977, pub. 1978), pp. 400–418. - J. Remmel. On r.e. and co-r.e. vector spaces with nonextendible bases. The journal of symbolic logic, vol. 45 (1980), pp. 20–34. - M. Lerman and J. B. Remmel. The universal splitting property: I. Logic Colloquim '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 181–207. - J. B. Remmel. Recursively enumerable Boolean algebras. Annals of mathematical logic, vol. 15 (1978), pp. 75–107. - J. B. Remmel. r-Maximal Boolean algebras. The journal of symbolic logic, vol. 44 (1979), pp. 533–548. - J. B. Remmel. Recursion theory on algebraic structures with independent sets. Annals of mathematical logic, vol. 18 (1980), pp. 153–191. - G. Metakides and J. B. Remmel. Recursion theory on orderings. I. A model theoretic setting. The journal of symbolic logic, vol. 44 (1979), pp. 383–402. - J. B. Remmel. Recursion theory on orderings. II. The journal of symbolic logic, vol. 45 (1980), pp. 317–333.

1986 ◽  
Vol 51 (1) ◽  
pp. 229-232
Author(s):  
Henry A. Kierstead
Keyword(s):  
New York ◽  
Mathematical Logic ◽  
Vector Space ◽  
Recursion Theory ◽  
Boolean Algebras ◽  
Vector Spaces ◽  
Symbolic Logic ◽  
Recursively Enumerable ◽  
North Holland Publishing ◽  
And Algebra

Bertrand Russell. My mental development. A reprint of IX 82(1). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 1–20; also third edition, Tudor Publishing Company, New York 1951, pp. 1-20; also paper-bound reprint of the third edition, Harper Torchbooks, Harper & Row, Publishers, New York, Evanston, and London, 1963, Vol. I, pp. 1-20. - Hans Reichenbach. Bertrand Russell's logic. A reprint of IX 76(2). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 21–54; also ibid. 1951, pp. 21-54; also ibid. 1963, Vol. I, pp. 21-54. - Morris Weitz. Analysis and the unity of Russell's philosophy. A reprint of IX 77(1). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 55–121; also ibid. 1951, pp. 55-121; also ibid. 1963, Vol. I, pp. 55-121. - Kurt Göde. Russell's mathematical logic. A reprint of XI 75. The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 123–153; also ibid. 1951, pp. 123-153; also ibid. 1963, Vol. I, pp. 123-153. - James Feibleman. A reply to Bertrand Russell's introduction to the second edition of The principles of mathematics. A reprint of IX 77(2). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 155–174; also ibid. 1951, pp. 155-174; also ibid. 1963, Vol. I, pp. 155-174. - G.E. Moore. Russell's “theory of descriptions.” A reprint of IX 78(1). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 175–225; also ibid. 1951, pp. 175-225; also ibid. 1963, Vol. I, pp. 175-225. - Max Black. Russell's philosophy of language. A reprint of IX 78(2). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 227–255; also ibid. 1951, pp. 227-255; also ibid. 1963, Vol. I, pp. 227-255. - Philip P. Wiener. Method in Russell's work on Leibniz. A reprint of IX 82(2). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 257–276; also ibid. 1951, pp. 257-276; also ibid. 1963, Vol. I, pp. 257-276. - Ernest Nagel. Russell's philosophy of science. A reprint of IX 79. The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 317–349; also ibid. 1951, pp. 317-349; also ibid. 1963, Vol. I, pp. 317-349. - Andrew Paul Ushenko. Russell's critique of empiricism. A reprint of IX 80. The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 385–417; also ibid. 1951, pp. 385-417; also ibid. 1963, Vol. I, pp. 385-417.

1969 ◽  
Vol 34 (3) ◽  
pp. 495-496
Author(s):  
Ann S. Ferebee
Keyword(s):  
New York ◽  
Mathematical Logic ◽  
Philosophy Of Science ◽  
Philosophy Of Language ◽  
Mental Development ◽  
Publishing Company ◽  
Bertrand Russell ◽  
Hans Reichenbach ◽  
The Third ◽  
Theory Of Descriptions

J. C. Shepherdson. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 285–308. - J. C. Shepherdson. Computational complexity of real functions. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 309–315. - A. J. Kfoury. The pebble game and logics of programs. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 317–329. - R. Statman. Equality between functionals revisited. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 331–338. - Robert E. Byerly. Mathematical aspects of recursive function theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 339–352.

1990 ◽  
Vol 55 (2) ◽  
pp. 876-878
Author(s):  
J. V. Tucker
Keyword(s):  
New York ◽  
Computational Complexity ◽  
Recursive Function ◽  
Function Theory ◽  
Recursion Theory ◽  
Foundations Of Mathematics ◽  
Real Functions ◽  
Pebble Game ◽  
Logics Of Programs
Sign in / Sign up

Export Citation Format

Share Document