Recursion on the Countable Functionals, D. Normann
Автор: Wengenroth Jochen Название: Derived Functors in Functional Analysis ISBN: 3540002367 ISBN-13(EAN): 9783540002369 Издательство: Springer Цена: 4884.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The text contains for the first time in book form the state of the art of homological methods in functional analysis like characterizations of the vanishing of the derived projective limit functor or the functors Ext1 (E, F) for Fr chet and more general spaces. The researcher in real and complex analysis finds powerful tools to solve surjectivity problems e.g. on spaces of distributions or to characterize the existence of solution operators.The requirements from homological algebra are minimized: all one needs is summarized on a few pages. The answers to several questions of V.P. Palamodov who invented homological methods in analysis also show the limits of the program.
Описание: In particular, fully abstract models have been found for various kinds of languages with local variables [8,13-16], and a fully complete games model of the polymorphic language System F has been constructed by Hughes [59].
Автор: Sergei S. Goncharov Название: Countable Boolean Algebras and Decidability ISBN: 030611061X ISBN-13(EAN): 9780306110610 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes the Russian research covering the structure and algorithmic properties of Boolean algebras from the algebraic and model-theoretic points of view. This text presents results as well as a selection of open questions on Boolean algebras. It features discussions of the Kottonen algebras in enrichments by ideals and automorphisms.
Автор: Sacks Название: Higher Recursion Theory ISBN: 1107168430 ISBN-13(EAN): 9781107168435 Издательство: Cambridge Academ Рейтинг: Цена: 21542.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This introduction to higher recursion theory is essential reading for all researchers in the field. It is divided into four parts: hyperarithmetic sets, metarecursion, -recursion, and E-recursion.
Автор: Hinman Название: Recursion-Theoretic Hierarchies ISBN: 1107168244 ISBN-13(EAN): 9781107168244 Издательство: Cambridge Academ Рейтинг: Цена: 23918.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas can be derived, making the common themes clear.
Автор: V. Kolmanovskii; A. Myshkis Название: Applied Theory of Functional Differential Equations ISBN: 0792320131 ISBN-13(EAN): 9780792320135 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Provides an introduction to the properties of functional differential equations and their applications in diverse fields such as immunology, nuclear power generation, heat transfer, signal processing, medicine and economics. This book deals with problems and methods relating to systems having a memory (hereditary systems).
Автор: Fenstad Название: General Recursion Theory ISBN: 1107168163 ISBN-13(EAN): 9781107168169 Издательство: Cambridge Academ Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents a unified and coherent account of general recursion theory. The main core of the book gives an account of the general theory of computations, then the author moves on to show how computation theories connect and unify other parts of recursion theory.
Автор: Shoenfield Название: Recursion Theory ISBN: 1107168082 ISBN-13(EAN): 9781107168084 Издательство: Cambridge Academ Рейтинг: Цена: 17424.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An introduction to recursion theory that will prepare the reader for the study of advanced monographs and the current literature on the topic. The clarity and focus of this text makes it an ideal instrument for teaching and self-study.
Автор: Klaus Ambos-Spies; Gert H. M?ller; Gerald E. Sacks Название: Recursion Theory Week ISBN: 3540527729 ISBN-13(EAN): 9783540527725 Издательство: Springer Рейтинг: Цена: 4884.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings contain research and survey papers on recursion theory, with emphasis on degree theory, computational complexity theory, generalized recursion theory and recursive mathematics.
Автор: Heinz-Dieter Ebbinghaus; Gert H. M?ller; Gerald E. Название: Recursion Theory Week ISBN: 3540156739 ISBN-13(EAN): 9783540156734 Издательство: Springer Рейтинг: Цена: 6981.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Kechris Название: Ordinal Definability and Recursion Theory ISBN: 1107033403 ISBN-13(EAN): 9781107033405 Издательство: Cambridge Academ Рейтинг: Цена: 26136.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Ordinal Definability and Recursion Theory is the third in a series of four books presenting the seminal papers from the Caltech-UCLA `Cabal Seminar` with extensive unpublished material, new papers on related topics, and discussion of research developments since the publication of the original volumes.
Автор: Rogers, H. Название: Theory of recursive functions and effective computability / ISBN: 0262680521 ISBN-13(EAN): 9780262680523 Издательство: MIT Press Рейтинг: Цена: 8465.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: (Reprint of the 1967 edition)
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
