๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

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

โฌ‡  Acquire This Volume

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


Selected Logic Papers
โœ Gerald E. Sacks ๐Ÿ“‚ Library ๐Ÿ“… 1999 ๐Ÿ› WS ๐ŸŒ English

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 Papers in Logic and Foundations
โœ Karl Menger (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 1979 ๐Ÿ› Springer Netherlands ๐ŸŒ English

<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

Automated Deduction in Classical and Non
โœ Gilles Dowek (auth.), Ricardo Caferra, Gernot Salzer (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 2000 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

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

The Limits of Logical Empiricism: Select
โœ Alfons Keupink, Sanford Shieh (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 2006 ๐Ÿ› Springer ๐ŸŒ English

<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