Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540111610, 9783540386339

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Boolean valued combinatorics

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980 ◽

10.1007/bfb0090983 ◽

1981 ◽

pp. 117-153 ◽

Cited By ~ 1

Author(s):

Kanji Namba

Download Full-text

The Hahn-Banach theorem and a restricted inductive definition

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980 ◽

10.1007/bfb0090989 ◽

1981 ◽

pp. 359-394

Author(s):

Mariko Yasugi

Keyword(s):

Inductive Definition ◽

Banach Theorem

Download Full-text

Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980 ◽

10.1007/bfb0090980 ◽

1981 ◽

pp. 67-79 ◽

Cited By ~ 1

Author(s):

Shôji Maehara

Keyword(s):

Initial Segment ◽

Transfinite Induction ◽

Number Class

Download Full-text

Intuitionistic theories and toposes

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980 ◽

10.1007/bfb0090988 ◽

1981 ◽

pp. 323-358 ◽

Cited By ~ 1

Author(s):

Tadahiro Uesu

Download Full-text

Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980 ◽

10.1007/bfb0090984 ◽

1981 ◽

pp. 155-174

Author(s):

Hiroakira Ono ◽

Akira Nakamura

Keyword(s):

Finite Automata ◽

Order Theory ◽

Two Dimensional ◽

First Order ◽

First Order Theory

Download Full-text

Sections and envelopes of type 2 objects

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980 ◽

10.1007/bfb0090985 ◽

1981 ◽

pp. 175-188

Author(s):

Juichi Shinoda

Download Full-text

A representation for Spector second order classes in computation theories on two types

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980 ◽

10.1007/bfb0090977 ◽

1981 ◽

pp. 31-47

Author(s):

Ken Hirose ◽

Fujio Nakayasu

Keyword(s):

Second Order

Download Full-text

Various kinds of Aronszajn tree with no subtree of a different kind

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980 ◽

10.1007/bfb0090975 ◽

1981 ◽

pp. 1-21

Author(s):

Masazumi Hanazawa

Keyword(s):

Aronszajn Tree

Download Full-text

Heyting valued universes of intuitionistic set theory

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980 ◽

10.1007/bfb0090986 ◽

1981 ◽

pp. 189-306 ◽

Cited By ~ 6

Author(s):

Gaisi Takeuti ◽

Satoko Titani

Keyword(s):

Set Theory ◽

Intuitionistic Set Theory

Download Full-text

Homogeneous formulas and definability theorems

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980 ◽

10.1007/bfb0090982 ◽

1981 ◽

pp. 109-116

Author(s):

Nobuyoshi Motohashi

Download Full-text

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Boolean valued combinatorics

The Hahn-Banach theorem and a restricted inductive definition

Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class

Intuitionistic theories and toposes

Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata

Sections and envelopes of type 2 objects

A representation for Spector second order classes in computation theories on two types

Various kinds of Aronszajn tree with no subtree of a different kind

Heyting valued universes of intuitionistic set theory

Homogeneous formulas and definability theorems

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980
Latest Publications