skip to content
Logic symposia, Hakone 1979, 1980 : proceedings of a conference held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 Preview this item
ClosePreview this item
Checking...

Logic symposia, Hakone 1979, 1980 : proceedings of a conference held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Author: Gert H Müller; Gaisi Takeuti; Tosiyuki Tugué
Publisher: Berlin ; Heidelberg ; New York : Springer, 1981.
Series: Lecture notes in mathematics, vol. 891.
Edition/Format:   book_printbook : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Gert H Müller; Gaisi Takeuti; Tosiyuki Tugué
ISBN: 3540111611 9783540111610
OCLC Number: 438752377
Description: XI, 394 str. ; 24 cm.
Contents: Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- Axiom systems of nonstandard set theory.- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class.- On the length of proofs in a formal system of recursive arithmetic.- Homogeneous formulas and definability theorems.- Boolean valued combinatorics.- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata.- Sections and envelopes of type 2 objects.- Heyting valued universes of intuitionistic set theory.- Independence of a problem in elementary analysis from set theory.- Intuitionistic theories and toposes.- The Hahn-Banach theorem and a restricted inductive definition.
Series Title: Lecture notes in mathematics, vol. 891.
Responsibility: G. H. Müller, G. Takeuti, T. Tugué, eds.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/438752377>
library:oclcnum"438752377"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:contributor
schema:datePublished"1981"
schema:editor
schema:editor
schema:editor
schema:exampleOfWork<http://worldcat.org/entity/work/id/866351617>
schema:inLanguage"en"
schema:isPartOf
schema:name"Logic symposia, Hakone 1979, 1980 : proceedings of a conference held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980"
schema:publication
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.