These notes are devoted to the study of some classical problems in the Geometry of Banach spaces. The novelty lies in the fact that their solution relies heavily on techniques coming from Descriptive Set Theory. Thecentralthemeisuniversalityproblems.Inparticular,thetextprovides an exposition of the ...
Set Theory Chapter First Online:01 January 2012 pp 143–168 Cite this chapter A Logical Introduction to Proof 4782Accesses Abstract Many of the most important ideas in mathematics are expressed in terms of sets. In this chapter we will investigate the operations and relations on sets that are ...
Magidor,The evolution of large cardinal axioms in set theory, inHigher Set Theory, Lecture Notes in Math.669, Springer-Verlag, Berlin, 1978, pp. 99–275. K. Kunen,Saturated ideals, J. Symb. Logic43 (1978), 65–76. CrossRef M. Magidor,On reflecting stationary sets, J. Symb. Logic...
explaining how set theory may be used to represent semantic networks, and of course showing how set theory provides the foundation for the statement of mathematical theorems. The material in this podcast might help in providing some lecture material to help inspire students to study these key conce...
Chi Tat Chong和Liang Yu的Recursion Theory:Computational Aspects of Definability。非常厚的一本书，虽然...
Axiomatic set theory divests symbols and words such as ∈, ⊆, and “set” of their usual meanings and investigates how certain relations between the meaningless symbols and words imply certain other relations. From: Handbook of Analysis and Its Foundations, 1997 ...
Lecture Notes in Mathematics(共523册), 这套丛书还有 《Algebraic Groups and Lie Groups With Few Factors》《Introduction to Lie Groups and Transformation Groups》《D-Modules, Representation Theory, and Quantum Groups》《Delay Differential Equations and Dynamical Systems》《Singularity Theory, Rod Theory,...
In set theory, a maximality principle is a principle that asserts some maximality property of the universe of sets or some part thereof. Set theorists have formulated a variety of maximality principles in order to settle statements left undecided by current standard set theory. In addition, philoso...
[22] V. G. Drinfel'd, On some unsolved problems in quantum group theory, in: Quantum Groups (Leningrad 1990), Lecture Notes in Math. 1510, Springer, Berlin (1992), 1–8. [23] P. Etingof and S. Gelaki, A method of construction of finite-dimensional triangular semisimple Hopf algebras...
Countable models of set theoriesWe consider the question on the number of decidable models of a decidable theory. By the theorem on omitting recursive types, a decidable theory having an undecidable prime model has a countable set of decidable nonisomorphic models; moreover, the family of all...