Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983 (Lecture Notes in Mathematics 1130)

Di Prisco, Carlos A., editor

ISBN 10: 3540152369 / ISBN 13: 9783540152361

Editore: Springer, 1985

Riguardo questo articolo

Price has been reduced by 10% until Monday, Oct. 20 (sale item) 410 pp., Paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Codice articolo ZB1297778

Dati bibliografici

• Titolo: Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983 (Lecture Notes in Mathematics 1130)
• Editore: Springer
• Data di pubblicazione: 1985
• Lingua: Inglese
• ISBN 10: 3540152369
• ISBN 13: 9783540152361
• Rilegatura: Brossura
• Condizione: Very Good

Descrizione articolo

Contenuti

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.