Logic Symposia, Hakone, 1979, 1980

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

Häftad, Engelska, 1981

AvG.H. Müller,G. Takeuti,T. Tugue,G. H. Müller

549 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1981-11-01
Mått155 x 235 x 23 mm
Vikt616 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Mathematics
Antal sidor398
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540111610

Tillhör följande kategorier

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

Decidable Theories

Decidable Theories

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

559 kr

ISILC - Proof Theory Symposion

ISILC - Proof Theory Symposion

J. Diller, G.H. Müller, G. H. Müller, G. H. Mller

479 kr

Higher Set Theory

Higher Set Theory

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

699 kr

Axiomatic Set Theory

Axiomatic Set Theory

G. Takeuti, W.M. Zaring, W. M. Zaring, Gaisi Takeuti

1 179 kr

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

G. Takeuti, W.M. Zaring, W. M. Zaring

1 179 kr

Study of Time

Study of Time

J. T. Fraser, F. C. Haber, G. H. Müller

1 389 kr

ISILC - Logic Conference

ISILC - Logic Conference

G. H. Müller, A. Oberschelp, K. Potthoff, G. H. Mller

699 kr

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

G. H. Müller, M. M. Richter

629 kr

Liken vi begravde

Bokrea

Liken vi begravde

119 kr329 kr

Grönsaker A-Ö : recept och bruksanvisning

Bokrea

Grönsaker A-Ö : recept och bruksanvisning

179 kr399 kr