| Description |
1 online resource : illustrations |
| Series |
Lecture notes in logic ; 12 |
|
Lecture notes in logic ; 12.
|
| 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 |
| Bibliography |
Includes bibliographical references |
| Notes |
Online resource; title from PDF title page (EBSCO, viewed April 18, 2017) |
| Subject |
Logic, Symbolic and mathematical -- Congresses
|
|
MATHEMATICS -- General.
|
|
Logic, Symbolic and mathematical
|
| Genre/Form |
Conference papers and proceedings
|
| Form |
Electronic book
|
| Author |
Larrazabal, Jesús M., editor.
|
|
Lascar, D. (Daniel), 1942- editor.
|
|
Mint︠s︡, G. E., editor.
|
|
Cooper, S. B. (S. Barry)
|
| ISBN |
9781316754238 |
|
1316754235 |
|
