Logic Symposia, Hakone, 1979, 1980

Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

AvG.H. Müller,G. Takeuti

Häftad, Engelska, 1981

Del 891 i serien Lecture Notes in Mathematics

427 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1981-11-01
Mått:155 x 235 x 23 mm
Vikt:616 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:398
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540111610

Utforska kategorier

Innehållsförteckning

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.

Du kanske också är intresserad av

Del 328

Decidable Theories

J.R. Büchi, D. Siefkes, G.H. Müller, D. Siefkes

Häftad

429 kr

Del 8

Axiomatic Set Theory

G. Takeuti, W.M. Zaring

Häftad

904 kr

Del 500

ISILC - Proof Theory Symposion

J. Diller, G.H. Müller

Häftad

374 kr

Del 1

Introduction to Axiomatic Set Theory

G. Takeuti, W.M. Zaring

Häftad

956 kr

Del 891

Nonlinear Time Series Analysis

Ruey S. Tsay, Rong Chen

Inbunden

1 475 kr

Higher Set Theory

G.H. Müller, D.S. Scott

Häftad

534 kr

Signerad!

Del 7

SIGNERAD - En sjunde brigad

Denise Rudberg

Inbunden

259 kr

Del 891

Advances in Data-Driven Computing and Intelligent Systems

Swagatam Das, Snehanshu Saha, Carlos A. Coello Coello, Jagdish C. Bansal

Häftad

2 117 kr

Del 891

Grand Tour

Mike Rendell

Häftad

106 kr

Del 891

proceedings of the 16th Annual Conference of China Electrotechnical Society

Jinghan He, Jinghan He, Yaohua Li, Qingxin Yang, Xidong Liang

4 113 kr