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, Band 1130) - Softcover

 
9783540152361: 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, Band 1130)
Softcover
ISBN 10: 3540152369 ISBN 13: 9783540152361
Verlag: Springer, 2009

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
3540152369
ISBN 13 
9783540152361
Einband
Taschenbuch
Anzahl der Seiten
416
Herausgeber
Di Prisco Carlos Augusto
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387152363: Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Math Logic (Lecture Notes in Mathematics)

Vorgestellte Ausgabe

ISBN 10:  0387152369 ISBN 13:  9780387152363
Verlag: Springer Verlag, 1985
Softcover