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

 
9783540152361: Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983: 1130
Brossura
ISBN 10: 3540152369 ISBN 13: 9783540152361
Casa editrice: Springer, 2009

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2009
Lingua
Inglese
ISBN 10 
3540152369
ISBN 13 
9783540152361
Rilegatura
Copertina flessibile
Numero di pagine
416
Redattore
Di Prisco Carlos Augusto
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9780387152363: Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Math Logic

Edizione in evidenza

ISBN 10:  0387152369 ISBN 13:  9780387152363
Casa editrice: Springer Verlag, 1985
Brossura