Contents: Recursive Enumerability and the Jump Operator; On the Degrees Less Than 0'; A Simple Set Which Is Not Effectively Simple; The Recursively Enumerable Degrees Are Dense; Metarecursive Sets (with G Kreisel); Post's Problem, Admissible Ordinals and Regularity; On a Theorem of Lachlan and Marli
Selected logic papers
โ Scribed by Gerald E Sacks
- Publisher
- World Scientific
- Year
- 1999
- Tongue
- English
- Leaves
- 449
- Series
- World Scientific series in 20th century mathematics, vol. 6
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
In this volume, five papers are collected that give a good sample of the problems and the results characterizing some recent trends and advances in this theory. Some of them are devoted to the improvement of a general abstract knowledge of the behaviour of elastic bodies, while the others mainly deal with more applicative topics. The first paper entitled "Collected Results on Finite Amplitude Plane Waves in Deformed Mooney-Rivlin Materials" by Ph. Boulanger and M. Hayes gives a complete and systematic exposition of a body of selected results concerning the propagation of finite-amplitude plane waves in a deformed Mooney-Rivlin material. C.O. Horgan's paper entitled "Decay Estimates for Boundary Value Problems in Linear and Nonlinear Continuum Mechanics" provides a review of recent results concerning the decay at large spatial distance of solutions to (systems of) elliptic partial differential equations. In the third paper "On the Traction Problem in Incompressible Linear Elasticity for Unbounded Domains" by R. Russo and G. Starita, the well-posedness (existence, uniqueness and continuous dependence of solutions upon the data) of the traction problem in incompressible linear elasticity for three-dimensional exterior domains is proved in the class of solutions with finite energy. The paper contributed by T. Valent "An Abstract Perturbation Problem with Symmetries Suggested by Live Boundary Problems in Elasticity" deals with an abstract formulation for boundary problems with symmetries, and with a study of a general perturbation problem with symmetries. The fifth paper "Maximum Principles in Classical Elasticity" by L.T. Wheeler, owes its interest to a wide discussion of the applications of maximum principles for scalar-valued functions to classical theory of elasticity 1. On the Degrees Less Than 0', Ann. Math. 77 (1963) 211-231 -- 2. Recursive Enumerability and the Jump Operator, Trans. Amer. Math. Soc. 108 (1963) 223-239 -- 3. Recursively Enumerable Degrees are Dense, Ann. Math. 80 (1964) 300-312 -- 4. Simple Set Which is Not Effectively Simple, Proc. Amer. Math. Soc. 15 (1964) 51-55 -- 5. Metarecursive Sets / G. E. Sacks and Georg Kreisel, J. Symbolic Logic 30 (1965) 318-338 -- 6. Post's Problem, Admissible Ordinals, and Regularity, Trans. Amer. Math. Soc. 124 (1966) 1-23 -- 7. On a Theorem of Lachlan and Martin, Proc. Amer. Math. Soc. 18 (1967) 140-141 -- 8. Minimal Hyperdegree / G. E. Sacks and Robin O. Gandy, Fundamenta Math. 61 (1967) 215-223
๐ SIMILAR VOLUMES
<p>This volume brings together those papers of mine which may be of interest not only to various specialists but also to philosophers. Many of my writings in mathematics were motivated by epistemological considerations; some papers originated in the critique of certain views that at one time dominat
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.<BR>Five invited papers by prominent researchers give a consolidated view of the recent developments in first-orde
<p><P>This volume brings together a selection of the most philosophically significant papers of Arthur Pap. As Sanford Shieh explains in the Introduction to this volume, Papโs work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact