Skip to content
You are not logged in |Login  
     
Limit search to available items
Record:   Prev Next
Resources
More Information
Bestseller
BestsellerE-book
Conference Logic Colloquium (1996 : San Sebastián, Spain)

Title Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / edited by J.M. Larrazabal, D. LAscar, G. Mints.

Publication Info. Cambridge : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2016]
©2016

Item Status

Description 1 online resource : illustrations.
Physical Medium polychrome
Description text file
Series Lecture notes in logic ; 12
Lecture notes in logic ; 12.
Bibliography Includes bibliographical references.
Contents 1 Introduction2 Proof-theoretic tools; 3 Real numbers in G[sub(2)]A[sub(i)sup(w)];4 Sequences and series in G[sub(2)]A[sub(i)sup(w)]: Convergence with moduli involved;5 The rate of growth caused by sequences of instances of analytical principles whose proofs rely on arithmetical comprehension; 5. 1 (PCM2) and the convergence of bounded monotone sequences of real numbers; 5.2 The principle (GLB) every sequence of real numbers in R[sub(+)] has a greatest lower bound; 5.3 [sub(1)sup(0)]-CA and [sub(1)sup(0)]-AC
5.4 The Bolzano- Weierstrab property for bounded sequences in R[sup(d)] (for every fixed d)5.5 The Arzela-Ascoli lemma; 5.6 The existence of lim sup and lim inf for bounded sequences in R; 6 References; Satisfaction classes and automorphisms of models of PA; 1 Introduction; 2 Recursive saturation and satisfaction classes; 3 Minimal satisfaction classes and s-ultrapowers; 4 Examples and counterexamples; 5 References; Free monoid completeness of the Lambek calculus allowing empty premises; Introduction; 1 Lambek calculus allowing empty premises; 2 Free monoid models; 3 Quasimodels
Cover; Half-title; Series information; Title page; Copyright information; Preface; Table of contents; The Logical Foundations of Discourse Interpretation; 1 Motivations for Dynamic Semantics; 1.1 Pronominal Anaphora; 1.2 Temporal Anaphora; 2 Dynamic Semantics and Basic DRT; 3 DRT[sub(1)]-DRT with events; 4 Beyond Dynamic Semantics; 4.1 Temporal Anaphora; 4.2 The Contextual Treatment of Definites; 4.3 Lexical Ambiguity; 4.4 Prepositional and Concept Anaphora; 5 Beyond Dynamic Semantics: SDRT[sub(0)]; 6 Reasons to be dissatisfied with SDRT[sub(0)]
7 An Intensional Theory of Discourse Interpretation: SDRT[sub(1)]8 More Information Packaging: SDRT[sub(3)]; 9 Conclusion; 10 References; Complete Sets and Structure in Subrecursive Classes; 1 Introduction; 2 Preliminaries; 2.1 Reductions; 2.1.1 Oracle Turing Machines; 2.2 Adaptive and Non-Adaptive; 2.2.1 Reductions; 2.3 Resource Bounded Measure; 2.4 Completeness and Degrees; 2.5 Complexity of Instances; 3 Degrees of Complete Sets; 4 Isomorphism; 5 Measure Theory; 6 Sparse Complete Sets; 7 Redundant Information; 8 Instance Complexity; 8.1 Complete sets and instance complexity
9 Post's Program Revisited9.1 Completeness; 9.1.1 Mitoticity; 9.1.2 Autoreducibility; 10 References; Kernels and cohomology groups for some finite covers; 1 Introduction; 1.1 Finite covers; 1.2 Kernels; 1.3 Derivations; 2 Projective spaces; 2.1 Kernels; 2.2 Cohomology groups; 3 Grassmannians of a disintegrated set; 3.1 Kernels; 3.2 Cohomology groups; 3.3 The case p = 2; 4 References; On "star" schemata of Kossak and Paris; Introduction; 1 Preliminaries; 2 The main results; 3 Generic matrices; 4 Coding sets by generic matrices; 5 The extension; 6 References; Arithmetizing proofs in analysis
Summary Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain.
Local Note eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject Logic, Symbolic and mathematical -- Congresses.
Logic, Symbolic and mathematical.
MATHEMATICS -- General.
Genre/Form Electronic books.
Conference papers and proceedings.
Conference papers and proceedings.
Added Author Larrazabal, Jesús M., editor.
Lascar, D. (Daniel), 1942- editor.
Mint͡s, G. E., editor.
Cooper, S. B. (S. Barry)
ISBN 9781316754238 (electronic book)
1316754235 (electronic book)