UID:
edoccha_9958071901102883
Format:
1 online resource (389 p.)
ISBN:
0-08-096043-X
Series Statement:
Studies in logic and the foundations of mathematics ; volume 120
Content:
This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.
Note:
Chiefly English, some French.
,
Front Cover; Logic Colloquium '84; Copyright Page; Preface; Contents; Chapter 1. Some Results on Open and Diophantine Induction; Chapter 2. Situations, Sets and the Axiom of Foundation; Chapter 3. Ultrafiters on Definable Sets of Arithmetic; Chapter 4. Tarski's Problem and Pfaffian Functions; Chapter 5. Situation Schemata and Systems of Logic Related to Situation Semantics; Chapter 6. Effective Construction of Models; Chapter 7. Twenty Years of p-adic Model Theory; Chapter 8. Malaise et Guérison; Chapter 9. On the Lengths of Proofs of Finitistic Consistency Statements in First Order Theories
,
Chapter 10. On Categorical TheoriesChapter 11. Finite Homogeneous Rings of Odd Characteristic; Chapter 12. Substructure Lattices of Models of Peano Arithmetic; Chapter 13. Decidable Theories of Valuated Abelian Groups; Chapter 14. Complete Universal Locally Finite Groups of Large Cardinality; Chapter 15. p-χo-Categorial Structures; Chapter 16. On Sentences Interpretable in Systems of Arithmetic; Chapter 17. On the Model Theory of Exponential Fields (Survey); Chapter 18. Bounded Arithmetic Formulas and Turing Machines of Constant Attention
,
English
Additional Edition:
ISBN 0-444-87999-4
Language:
English
