Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 /
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.
Main Authors: | Müller, Gert H. editor., Takeuti, Gaisi. editor., Tugué, Tosiyuki. editor., SpringerLink (Online service) |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
1981
|
Subjects: | Mathematics., Logic., Mathematical logic., Mathematical Logic and Foundations., |
Online Access: | http://dx.doi.org/10.1007/BFb0090974 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 /
by: Müller, Gert H. editor., et al.
Published: (1981) -
Logic Year 1979–80 [electronic resource] : The University of Connecticut, USA /
by: Lerman, Manuel. editor., et al.
Published: (1981) -
Logic Year 1979–80 [electronic resource] : The University of Connecticut, USA /
by: Lerman, Manuel. editor., et al.
Published: (1981) -
Cabal Seminar 79–81 [electronic resource] : Proceedings, Caltech-UCLA Logic Seminar 1979–81 /
by: Kechris, Alexander S. editor., et al.
Published: (1983) -
Cabal Seminar 79–81 [electronic resource] : Proceedings, Caltech-UCLA Logic Seminar 1979–81 /
by: Kechris, Alexander S. editor., et al.
Published: (1983)