Nesta apresentação, relembraremos as definições de espaço de Hilbert e introduziremos definições necessárias para apresentar o Teorema de Solèr, bem como comentar a demonstração para o caso de espaços vetoriais sobre corpos.
Games are an important tool in mathematics and logic, providing a clear and intuitive understanding of the notions they define or characterize. In the area of descriptive set theory, which is the branch of logic which is concerned with studying definable sets of real numbers and the pathologies they may or may not possess, the development and study of games which characterize classes of functions has been a rich area of research. Such games first appeared in the seminal work of Wadge in the 1970s, and have had significant and far-reaching advances in recent decades.
In this talk, we will review some of these games and the classes they characterize. In the process, we will also give a brief introduction to descriptive set theory, including the Baire space - which, loosely speaking, is how a set theorist views the real numbers - and its Borel hierarchy.
Apresentamos um sistema baseado em diagramas de Venn apropriado para a identificação de igualdades válidas (verdadeiras para todos os conjuntos) na Álgebra Booleana.