Del 891 i serien Lecture Notes in Mathematics

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

579 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.

Mer från samma författare

Del 328

Decidable Theories

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

Häftad, 1973

579 kr

Del 500

ISILC - Proof Theory Symposion

J. Diller, G.H. Müller

Häftad, 1976

509 kr

Higher Set Theory

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

Häftad, 1978

719 kr

Mer från samma serie

Del 1250

Stochastic Processes - Mathematics and Physics II

Sergio Albeverio, Philippe Blanchard, Ludwig Streit

Häftad, 1987

509 kr

Algèbre Locale, Multiplicités

Jean-Pierre Serre

Häftad, 1975

439 kr

Del 1402

Nonlinear Hyperbolic Problems

Claude Carasso, Pierre Charrier, Bernard Hanouzet, Jean-Luc Joly

Häftad, 1989

509 kr

Luigi Ambrosio, Luis A. Caffarelli, Michael G. Crandall, Lawrence C. Evans, Nicola Fusco, Bernard Dacorogna, Paolo Marcellini - Calculus of Variations and Nonlinear Partial Differential Equations, Häftad

Del 1927

Calculus of Variations and Nonlinear Partial Differential Equations

Luigi Ambrosio, Luis A. Caffarelli, Michael G. Crandall, Lawrence C. Evans, Nicola Fusco, Bernard Dacorogna, Paolo Marcellini

Häftad, 2007

719 kr

Del 2299

Topics Surrounding the Combinatorial Anabelian Geometry of Hyperbolic Curves II

Yuichiro Hoshi, Shinichi Mochizuki

Häftad, 2022

799 kr

From Hahn-Banach to Monotonicity

Stephen Simons

Häftad, 2008

719 kr

Del 2070

Probabilistic Group Theory, Combinatorics, and Computing

Alla Detinko, Dane Flannery, Eamonn O'Brien

Häftad, 2013

509 kr

Del 2191

Leavitt Path Algebras

Gene Abrams, Pere Ara, Mercedes Siles Molina

Häftad, 2017

869 kr

Index and Other Useful Information

A. Dold, B. Eckmann

Häftad, 2013

719 kr

Del 1965

Geometric Properties of Banach Spaces and Nonlinear Iterations

Charles Chidume

Häftad, 2009

719 kr

Du kanske också är intresserad av

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 869 kr

Del 891

Grand Tour

Mike Rendell

Häftad, 2022

139 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 949 kr

Del 891

Strukturwandel der Öffentlichkeit

Jürgen Habermas

Häftad, 1990

339 kr

Del 891

Enteric Nervous System

Stuart Brierley, Marcello Costa

Häftad, 2018

2 359 kr

Del 891

High-Performance Computing and Big Data Analysis

Lucio Grandinetti, Seyedeh Leili Mirtaheri, Reza Shahbazian

Häftad, 2019

749 kr

Del 891

Buero des Reichspraesidenten 1919-1934

Klaus-Dieter Weber

Häftad, 2001

1 909 kr

Del 891

Enteric Nervous System

Stuart Brierley, Marcello Costa

Inbunden, 2016

2 359 kr

Del 328

Decidable Theories

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

Häftad, 1973

579 kr

Del 891

Advanced Computational Intelligence in Healthcare-7

Ilias Maglogiannis, Sheryl Brahnam, Lakhmi C. Jain

Inbunden, 2020

1 479 kr

Del 891 i serien Lecture Notes in Mathematics

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

579 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.