Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 /

Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Logic Colloquium San Sebastián, Spain
Otros Autores: Larrazabal, Jesús M. (Editor ), Lascar, D. (Daniel), 1942- (Editor ), Mint͡s, G. E. (Editor ), Cooper, S. B. (S. Barry)
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Cambridge : Ithaca, NY : Cambridge University Press ; Association for Symbolic Logic, [2016]
Colección:Lecture notes in logic ; 12.
Temas:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et mathématique > Congrès.
MATHEMATICS > General.
Logic, Symbolic and mathematical
Conference papers and proceedings
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ii 4500
001 EBSCO_ocn982287949
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cnu|||unuuu
008 170413s2016 enka ob 100 0 eng d
040 |a N$T  |b eng  |e rda  |e pn  |c N$T  |d EBLCP  |d N$T  |d OCLCF  |d UKAHL  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO 
020 |a 9781316754238  |q (electronic bk.) 
020 |a 1316754235  |q (electronic bk.) 
035 |a (OCoLC)982287949 
050 4 |a QA9.A1 
072 7 |a MAT  |x 000000  |2 bisacsh 
082 0 4 |a 511.3  |2 23 
049 |a UAMI 
111 2 |a Logic Colloquium  |d (1996 :  |c San Sebastián, Spain) 
245 1 0 |a Logic Colloquium '96 :  |b proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 /  |c edited by J.M. Larrazabal, D. LAscar, G. Mints. 
264 1 |a Cambridge :  |b Cambridge University Press ;  |a Ithaca, NY :  |b Association for Symbolic Logic,  |c [2016] 
264 4 |c ©2016 
300 |a 1 online resource :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Lecture notes in logic ;  |v 12 
504 |a Includes bibliographical references. 
588 0 |a Online resource; title from PDF title page (EBSCO, viewed April 18, 2017). 
505 8 |a 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 
505 8 |a 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 
505 0 |a 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)] 
505 8 |a 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 
505 8 |a 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 
520 |a Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Logic, Symbolic and mathematical  |v Congresses. 
650 6 |a Logique symbolique et mathématique  |v Congrès. 
650 7 |a MATHEMATICS  |x General.  |2 bisacsh 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
655 7 |a Conference papers and proceedings  |2 fast 
700 1 |a Larrazabal, Jesús M.,  |e editor. 
700 1 |a Lascar, D.  |q (Daniel),  |d 1942-  |e editor. 
700 1 |a Mint͡s, G. E.,  |e editor. 
700 1 |a Cooper, S. B.  |q (S. Barry) 
830 0 |a Lecture notes in logic ;  |v 12. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475856  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH34211146 
938 |a Askews and Holts Library Services  |b ASKH  |n AH32658257 
938 |a Askews and Holts Library Services  |b ASKH  |n AH32588626 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL4812292 
938 |a EBSCOhost  |b EBSC  |n 1475856 
994 |a 92  |b IZTAP 

Ejemplares similares