Logic Colloquium '84 - 1st Edition - ISBN: 9780444879998, 9780080960432

Logic Colloquium '84

1st Edition

Editors: J.B. Paris A.J. Wilkie G.M. Wilmers
eBook ISBN: 9780080960432
Imprint: North Holland
Published Date: 1st January 1986
Tax/VAT will be calculated at check-out Price includes VAT (GST)
20% off
20% off
20% off
14.99
11.99
19.95
15.96
18.95
15.16
Unavailable
Price includes VAT (GST)
DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

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.

Table of Contents

Some Results on Open and Diophantine Induction (Z. Adamowicz). Situations, Sets and the Axiom of Foundation (J. Barwise). Ultrafilters on Definable Sets in Arithmetic (P. Clote). Tarski's Problem and Pfaffian Functions (L. van den Dries). Situation Schemata and Systems of Logic Related to Situation Semantics (J.E. Fenstad). Effective Construction of Models (J.F. Knight). Twenty Years of p-adic Model Theory (A. Macintyre). Malaise et Guérison (B. Poizat). On the Length of Proofs of Finitistic Consistency Statements in First Order Theories (P. Pudlák). On Categorical Theories (J. Saffe). Finite Homogeneous Rings of Odd Characteristic (D. Saracino and C. Wood). Substructure Lattices of Models of Peano Arithmetic (J.H. Schmerl). Decidable Theories of Valuated Abelian Groups (P.H. Schmitt). Complete Universal Locally Finite Groups of Large Cardinality (S. Thomas). P-Xo-Categorical Structures (C. Toffalori). On Sentences Interpretable in Systems of Arithmetic (A.J. Wilkie). On the Model Theory of Exponential Fields (Survey) (H. Wolter). Bounded Arithmetic Formulas and Turing Machines of Constant Alternation (A. Woods).

Details

Language:
English
Copyright:
© North Holland 1986
Published:
Imprint:
North Holland
eBook ISBN:
9780080960432

About the Editor

J.B. Paris

A.J. Wilkie

G.M. Wilmers