| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910809486603321 |
|
|
Titolo |
Proceedings of the 12th Asian Logic Conference : Wellington, New Zealand, 15-20 December, 2011 / / edited by Rod Downey, Victoria University, New Zealand, Jorg Brendle, Kobe University, Japan, Robert Goldblatt, Victoria University, New Zealand, Byunghan Kim, Yonsei University, Korea |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore, : World Scientific Pub. Co., 2013 |
|
New Jersey : , : World Scientific, , [2013] |
|
�2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (viii, 337 pages) : illustrations (some color) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Conference proceedings. |
Asia |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Preface; Contents; Resolute Sequences in Initial Segment Complexity G. Barmpalias and R. G. Downey; 1. Introduction; 1.1. Formal expressions of resoluteness; 1.2. Resoluteness and complexity; 2. Resoluteness and sparseness; 3. Jump inversion with K-resolute sequences; 4. Completely resolute and resolute-free degrees; Acknowledgments; References; Approximating Functions and Measuring Distance on a Graph W. Calvert, R. Miller and J. Chubb Reimann; 1. Introduction; 2. Reducibilities on Functions; 3. Functions Approximable from Above; 4. The Distance Function in Computable Graphs |
5. Related TopicsAcknowledgments; References; Carnap and McKinsey: Topics in the Pre-History of Possible-Worl Semantics M. J. Cresswell; 1. The `metalinguistic' approach to the logical modalities; 2. Carnap validity; 3. Quine/Carnap validity; 4. Meaning postulates; 5. Classes of models; 6. McKinsey's `syntactical' interpretation; 7. Restricted substitution functions; References; Limits to Joining with Generics and Randoms A. R. Day and D. D. Dzhafarov; 1. Introduction; 2. A non- |
|
|
|
|
|
|
|
|
|
|
|
joining theorem for generics; 3. Extensions to other forcing notions; 4. A non-joining theorem for randoms |
AcknowledgementsReferences; Freedom & Consistency M. Detlefsen; 1. Introduction; 2. Freedom & Consistency; 3. The Futility Argument; 4. Premise 2; 5. Premise 3; 6. Conclusion; References; A van Lambalgen Theorem for Demuth Randomness D. Diamondstone, N. Greenberg and D. Turetsky; 1. Introduction; 1.1. Partial relativization vs. full relativization; 1.2. Survey of van Lambalgen's theorem for various randomness notions; 1.3. Notation; 2. A van Lambalgen theorem for Demuth randomness; 3. Does a stronger version of van Lambalgen's theorem hold for Demuth randomness?; References |
Faithful Representations of Polishable Ideals S. Gao1. Introduction; 2. Faithful representations for abelian Polish groups; 3. Faithful representations for Polishable ideals; Acknowledgment; References; Further Thoughts on Definability in the Urysohn Sphere I. Goldbring; 1. Introduction; 2. Finitely Definable Sets; 3. Arbitrary Definable Sets; 4. Special Definable Functions; References; Simple Completeness Proofs for Some Spatial Logics of the Real Line I. Hodkinson; 1. Introduction; 2. Definitions; 2.1. Syntax - L-formulas; 2.2. Kripke semantics; 2.3. Linear orders; 2.4. Linear models |
3. Construction of linear models3.1. Lexicographic sums; 3.2. Intervals of R; 3.3. Shuffles; 4. The logic of R with; 5. The logic of R with and; 6. The logic of R with [ ] and; 7. Conclusion; Acknowledgments; References; On a Question of Csima on Computation-Time Domination X. Hua, J. Liu and G. Wu; 1. Introduction; 2. Requirements and basic strategy; 3. Construction; 4. Verification; References; A Generalization of Beth Model to Functionals of High Types F. Kachapova; 1. Introduction; 2. Definitions; 2.1. Definition of Beth model; 2.2. Facts about Beth models |
3. Axiomatic Theories L and Ls |
|
|
|
|
|
|
Sommario/riassunto |
|
The Asian Logic Conference is one of the largest meetings, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910970779903321 |
|
|
Autore |
Logan Joy |
|
|
Titolo |
Aconcagua : the invention of mountaineering on America's highest peak / / Joy Logan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Tucson, : University of Arizona Press, c2011 |
|
|
|
|
|
|
|
ISBN |
|
1-299-19177-0 |
0-8165-0231-5 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (264 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mountaineering - Argentina - Aconcagua, Mount |
Aconcagua, Mount (Argentina) Description and travel |
Aconcagua, Mount (Argentina) Discovery and exploration |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction: Recuperating bodies, recovering texts -- "They all want to be Indiana Jones": travel literature and modernity -- No longer the lettered city: San Martín and the touristic imagination -- Indigenous identities: the mummy, the mountaineer, and re-ethnification -- Fashioning adventure: creating mountaineering in the 1980's -- Local heroics: militarisms and democratizations -- Matters of life and death: mountain guides, nation, and memorialization -- The dream weaver: performing gender, adventure, and mountaineering -- Plaza de Mulas: memory, musealization, and the global -- Conclusion: Final debriefs. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Aconcagua is the highest mountain in the Americas and the tallest mountain in the world outside of the Himalayas. Located in the Andes Mountains of Argentina, near the city of Mendoza, Aconcagua has been luring European mountain climbers since 1883, when a German ge-ologist nearly reached the mountain's summit. (A Swiss climber finally made the ascent in 1897.) In this fascinating book, Joy Logan explores the many impacts of mountaineering's "discovery" of Aconcagua including its effect on how local indigenous history is understood. The consequences still resonate today, as the region has become a magnet for "adventure travelers," with about 7,000 climbers and trekkers from all over the world visiting each year. Having done fieldwork on |
|
|
|
|
|
|
|
|
|
|
Aconcagua for six years, Logan offers keen insights into how the invention of mountaineering in the nineteenth century--and adventure tourism a century later--have both shaped and been shaped by local and global cultural narratives. She examines the roles and functions of mountain guides, especially in regard to notions of gender and nation; re-reads the mountaineering stories forged by explorers, scientists, tourism officials, and the gear industry; and considers the distinctions between foreign and Argentine climbers (some of whom are celebrities in their own right). In Logan's revealing analysis, " Aconcagua" is emblematic of the tensions produced by modernity, nation-building, tourism development, and re-ethnification. The evolution of mountain climbing on Aconcagua registers seismic shifts in attitudes toward adventure, the national, and the global. With an eye for detail and a flair for description, Logan invites her readers onto the mountain and into the lives it supports. |
|
|
|
|
|
| |