LIBERO WebOPAC Visualizza Catalogo (W561)

Catalogue Information
Nome campo	dettagli
Dewey Class	510
Titolo	Conference in Mathematical Logic — London ’70 ([EBook] /) / edited by Wilfrid Hodges.
Added Personal Name	Hodges, Wilfrid editor.
Other name(s)	SpringerLink (Online service)
Pubblicazione	Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 1972.
Physical Details	X, 358 p. : online resource.
Serie	Lecture Notes in Mathematics 0075-8434 ; ; 255
ISBN	9783540371625
Contents note	Inductive definitions and analogues of large cardinals -- Compact injectives and Non-Standard Analysis -- Non-axiomatizability results in infinitary languages for higher-order structures -- ? 1 1 models and ? 1 1 -categoricity -- Infinitary properties, local functors, and systems of ordinal functions -- Logics containing S4 without the finite model property -- An ?-calculus system for first-order S4 -- Craig's interpolation theorem for modal logics -- A note on models and submodels of arithmetic -- An application of ultra-products to prime rings with polynomial identities -- Embedding nondistributive lattices in the recursively enumerable degrees -- Direct powers with distinguished diagonal -- Solution of problems of choquet and puritz -- Some B. Russell's sprouts (1903 – 1908) -- On models of arithmetic -- -definability in set theory -- Initial segments and implications for the structure of degrees -- Abstracts of contributed papers.
System details note	Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site	http://dx.doi.org/10.1007/BFb0059533
Link alle Opere Legate	Riferimenti soggetto: . Mathematics . Mathematics, general . Authors: Hodges, Wilfrid . Corporate Authors: SpringerLink (Online service) . Series: Lecture Notes in Mathematics . Classification: 510 .

Visualizza Catalogo

Conference in Mathematical Logic — London ’70

Reviews