bokomslag Logic Symposia, Hakone, 1979, 1980
Filosofi & religion

Logic Symposia, Hakone, 1979, 1980

G H Mller G Takeuti T Tugue

Pocket

609:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 398 sidor
  • 1981
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.

  • Författare: G H Mller, G Takeuti, T Tugue
  • Format: Pocket/Paperback
  • ISBN: 9783540111610
  • Språk: Engelska
  • Antal sidor: 398
  • Utgivningsdatum: 1981-11-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K