Logic Symposia Hakone 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan March 21 24, 1979 and February 4 7, 1980
Zapisane w:
| organizacja autorów: | , |
|---|---|
| Kolejni autorzy: | , , |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in mathematics
891 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Actes de deux congrès : symposia on the foundations of mathematics, "Proj. no. 234002('79)" et "Proj. no. 434007 ('80)" organisés respectivement du 21 au 24 mars 1979 et du 4 au 7 février, à Gôra, Hakone (Japon) Préface en japonais Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic Symposia, Hakone, 1979, 1980, proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980, ed. by G.H. Müller, G. Takeuti, and T. Tugué, 1981, Berlin [etc.], Springer-Verlag, 1 vol. (XI-394 p.), Lecture notes in mathematics, 0-387-11161-1 • Logic Symposia, Hakone, 1979, 1980, Texte imprimé, 9783662168387 |
Spis treści:
- 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.