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
:
>
Search Results
Catalogue Display
Catalogue Display
Previous Title
.
Conference in Mathematical Logic — London ’70
.
Bookmark this Record
Catalogue Record 47780
.
.
LibraryThing
.
.
Google Books
.
.
Amazon Books
.
Catalogue Information
Catalogue Record 47780
.
Reviews
Catalogue Record 47780
.
British Library
Resolver for RSN-47780
Google Scholar
Resolver for RSN-47780
WorldCat
Resolver for RSN-47780
Catalogo Nazionale SBN
Resolver for RSN-47780
GoogleBooks
Resolver for RSN-47780
ICTP Library
Resolver for RSN-47780
.
Share Link
Jump to link
Catalogue Information
Field name
Details
Dewey Class
510
Title
Conference in Mathematical Logic — London ’70 ([EBook] /) / edited by Wilfrid Hodges.
Added Personal Name
Hodges, Wilfrid
editor.
Other name(s)
SpringerLink (Online service)
Publication
Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 1972.
Physical Details
X, 358 p. : online resource.
Series
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
Links to Related Works
Subject References:
Mathematics
.
Mathematics, general
.
Authors:
Hodges, Wilfrid
.
Corporate Authors:
SpringerLink (Online service)
.
Series:
Lecture Notes in Mathematics
.
Classification:
510
.
.
ISBD Display
Catalogue Record 47780
.
Tag Display
Catalogue Record 47780
.
Related Works
Catalogue Record 47780
.
Marc XML
Catalogue Record 47780
.
Add Title to Basket
Catalogue Record 47780
.
Catalogue Information 47780
Beginning of record
.
Catalogue Information 47780
Top of page
.
Download Title
Catalogue Record 47780
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Reviews
This item has not been rated.
Add a Review and/or Rating
47780
1
47780
-
2
47780
-
3
47780
-
4
47780
-
5
47780
-
Quick Search
Search for