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

446 kr

Beställningsvara. Skickas inom 10-15 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 891

Grand Tour

Mike Rendell

E-bok

2022

110 kr

Del 891

Advances in Data-Driven Computing and Intelligent Systems

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

Häftad, 2024

2 203 kr

Pavel Krömer, Hong Zhang, Yongquan Liang, Jeng-Shyang Pan - Proceedings of the Fifth Euro-China Conference on Intelligent Data Analysis and Applications, Häftad

Del 891

Proceedings of the Fifth Euro-China Conference on Intelligent Data Analysis and Applications

Pavel Krömer, Hong Zhang, Yongquan Liang, Jeng-Shyang Pan

Häftad, 2018

2 269 kr

Del 891

Enteric Nervous System

Stuart Brierley, Marcello Costa

Häftad, 2018

1 817 kr

Del 891

High-Performance Computing and Big Data Analysis

Lucio Grandinetti, Seyedeh Leili Mirtaheri, Reza Shahbazian

Häftad, 2019

573 kr

Del 891

Grand Tour

Mike Rendell

E-bok

2022

111 kr

Del 891

proceedings of the 16th Annual Conference of China Electrotechnical Society

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

4 282 kr