Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Card Display
Catalogue Card Display
RAK
Title: Conference in Mathematical Logic — London ’70 ([EBook] /) / edited by Wilfrid Hodges. Dewey Class: 510 Added Personal Name: Hodges, Wilfrid. editor. Publication: Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer,, 1972. Other name(s): SpringerLink (Online service) Physical Details: X, 358 p. : online resource. Series: Lecture Notes in Mathematics,0075-8434 ;; 255 ISBN: 9783540371625 System details note: Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users) 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. ------------------------------ *** There are no holdings for this record *** -----------------------------------------------
Quick Search
Search for