Constructivism in Mathematics, Vol 2

A.S. Troelstra (u. a.)

ISBN 10: 0444703586 / ISBN 13: 9780444703583

Published by Elsevier Science, 1988

About this Item

Constructivism in Mathematics, Vol 2 | A.S. Troelstra (u. a.) | Buch | Einband - fest (Hardcover) | Englisch | 1988 | Elsevier Science | EAN 9780444703583 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.

Seller Inventory # 126699762

Bibliographic Details

• Title: Constructivism in Mathematics, Vol 2
• Publisher: Elsevier Science
• Publication Date: 1988
• Language: English
• ISBN 10: 0444703586
• ISBN 13: 9780444703583
• Binding: Buch
• Condition: Neu
• Dimensions: 233W x 152H x 229D millimeters 233 millimeters width by 152 millimeters height by 229 millimeters depth
• Weight: 1140 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras.

The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The text then examines proof theory of intuitionistic logic, theory of types and constructive set theory, and choice sequences.

The book elaborates on semantical completeness, sheaves, sites, and higher-order logic, and applications of sheaf models. Topics include a derived rule of local continuity, axiom of countable choice, forcing over sites, sheaf models for higher-order logic, and complete Heyting algebras.

The publication is a valuable reference for mathematicians and researchers interested in mathematics and logic.

Review

The favourable impression from the first volume is fully confirmed by this one. It introduces quite a number of notions, modern methods and results, with supporting reference to the literature... contains an extensive bibliography. -- B. van Rootselaar, Zentralblatt für Mathematik