Conference in Mathematical Logic - London '70 / edited by Wilfrid Hodges.

Format:

Book

Contributor:

Hodges, Wilfrid, editor.

SpringerLink (Online service)

Series:

Lecture Notes in Mathematics, 0075-8434 ; 255.

Lecture Notes in Mathematics, 0075-8434 ; 255

Language:

English

Subjects (All):

Mathematics.

Mathematics, general.

Local Subjects:

Mathematics, general.

Physical Description:

1 online resource (X, 358 pages).

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1972.

System Details:

text file PDF

Contents:

Inductive definitions and analogues of large cardinals

Compact injectives and Non-Standard Analysis

Non-axiomatizability results in infinitary languages for higher-order structures

? 1 1 models and ? 1 1 -categoricity

Infinitary properties, local functors, and systems of ordinal functions

Logics containing S4 without the finite model property

An ?-calculus system for first-order S4

Craig's interpolation theorem for modal logics

A note on models and submodels of arithmetic

An application of ultra-products to prime rings with polynomial identities

Embedding nondistributive lattices in the recursively enumerable degrees

Direct powers with distinguished diagonal

Solution of problems of choquet and puritz

Some B. Russell's sprouts (1903 - 1908)

On models of arithmetic

-definability in set theory

Initial segments and implications for the structure of degrees

Abstracts of contributed papers.

Other Format:

Printed edition:

ISBN:

9783540371625

Access Restriction:

Restricted for use by site license.