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

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

by G.H. Muller
     
 

ISBN-10: 3540111611

ISBN-13: 9783540111610

Pub. Date: 11/30/1981

Publisher: Springer Berlin Heidelberg

Product Details

ISBN-13:
9783540111610
Publisher:
Springer Berlin Heidelberg
Publication date:
11/30/1981
Series:
Lecture Notes in Mathematics Series, #891
Edition description:
1981
Pages:
398
Product dimensions:
9.21(w) x 6.14(h) x 0.84(d)

Table of 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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >