Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1-6, 1983 / edited by Carlos Augusto Di Prisco.

Format:

Book

Contributor:

Prisco, Carlos Augusto Di, editor.

SpringerLink (Online service)

Series:

Lecture Notes in Mathematics, 0075-8434 ; 1130.

Lecture Notes in Mathematics, 0075-8434 ; 1130

Language:

English

Subjects (All):

Logic, Symbolic and mathematical.

Mathematical Logic and Foundations.

Local Subjects:

Mathematical Logic and Foundations.

Physical Description:

1 online resource (X, 410 pages).

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985.

System Details:

text file PDF

Contents:

Failure of interpolation for quantifiers of monadic type

Approximation to truth and theory of errors

Partition relations in arithmetic

On the axiomatizability of sets in a class theory

Applications of model theory to real algebraic geometry

On the space (?)?

The model extension theorems for ?3-theories

Completeness theorems for the general theory of stochastic processes

A barren extension

Proof functional connectives

Ultraproducts and categorical logic

Problems in taxonomy, a floating log

Counting problems in bounded arithmetic

Definable ultrafilters and elementary end extensions

On the axiomatization of PRC-fields

Formalizations of certain intermediate logics Part I

Types in class set theories

Generic extensions which do not ADD random reals.

Other Format:

Printed edition:

ISBN:

9783540394143

Access Restriction:

Restricted for use by site license.