Logic Colloquium '84 ( Studies in Logic and the Foundations of Mathematics )

Publication series ：Studies in Logic and the Foundations of Mathematics

Author： Paris   J. B.;Wilkie   A. J.;Wilmers   G. M.  

Publisher： Elsevier Science‎

Publication year： 2011

E-ISBN: 9780080960432

P-ISBN(Paperback): 9780444879998

P-ISBN(Hardback):  9780444879998

Subject： O1-0 mathematical theory

Language： ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

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.

Chapter

Front Cover

pp.：  1 – 4

Logic Colloquium '84

pp.：  4 – 5

Copyright Page

pp.：  5 – 10

Preface

pp.：  8 – 12

Contents

pp.：  10 – 8

Chapter 1. Some Results on Open and Diophantine Induction

pp.：  12 – 32

Chapter 2. Situations, Sets and the Axiom of Foundation

pp.：  32 – 48

Chapter 3. Ultrafiters on Definable Sets of Arithmetic

pp.：  48 – 70

Chapter 4. Tarski's Problem and Pfaffian Functions

pp.：  70 – 102

Chapter 5. Situation Schemata and Systems of Logic Related to Situation Semantics

pp.：  102 – 116

Chapter 6. Effective Construction of Models

pp.：  116 – 132

Chapter 7. Twenty Years of p-adic Model Theory

pp.：  132 – 166

Chapter 8. Malaise et Guérison

pp.：  166 – 176

Chapter 9. On the Lengths of Proofs of Finitistic Consistency Statements in First Order Theories

pp.：  176 – 208

Chapter 10. On Categorical Theories

pp.：  208 – 218

Chapter 11. Finite Homogeneous Rings of Odd Characteristic

pp.：  218 – 236

Chapter 12. Substructure Lattices of Models of Peano Arithmetic

pp.：  236 – 256

Chapter 13. Decidable Theories of Valuated Abelian Groups

pp.：  256 – 288

Chapter 14. Complete Universal Locally Finite Groups of Large Cardinality

pp.：  288 – 314

Chapter 15. p-χo-Categorial Structures

pp.：  314 – 340

Chapter 16. On Sentences Interpretable in Systems of Arithmetic

pp.：  340 – 354

Chapter 17. On the Model Theory of Exponential Fields (Survey)

pp.：  354 – 366

Chapter 18. Bounded Arithmetic Formulas and Turing Machines of Constant Attention

pp.：  366 – 390

The users who browse this book also browse


No browse record.