LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	511.3
Title	Logic Symposia Hakone 1979, 1980 ([EBook] :) : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / / edited by Gert H. Müller, Gaisi Takeuti, Tosiyuki Tugué.
Added Personal Name	Müller, Gert H. editor.
	Takeuti, Gaisi editor.
	Tugué, Tosiyuki editor.
Other name(s)	SpringerLink (Online service)
Publication	Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 1981.
Physical Details	XIV, 398 p. : online resource.
Series	Lecture Notes in Mathematics 0075-8434 ; ; 891
ISBN	9783540386339
Contents note	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.
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/BFb0090974
Links to Related Works	Subject References: Logic . Mathematical logic . Mathematical Logic and Foundations . Mathematics . Authors: Müller, Gert H. . Takeuti, Gaisi . Tugué, Tosiyuki . Corporate Authors: SpringerLink (Online service) . Series: Lecture Notes in Mathematics . Classification: 511.3 .

Catalogue Display

Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 /

Reviews