Methods in Mathematical Logic
Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
Published on 1. June 1985
Book
Paperback/Softback
X, 410 pages
978-3-540-15236-1 (ISBN)
Description
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.
More details
Series
Edition
1985 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
X, 410 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 23 mm
Weight
628 gr
ISBN-13
978-3-540-15236-1 (9783540152361)
DOI
10.1007/BFb0075303
Schweitzer Classification
Content
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.