Pôsteres
Segue em anexo o livro de abstracts de pôsteres
Induced morphisms between Heyting-valued models
José Goudet Alvim, IME-USP
Arthur Francisco Schwerz Cahali, IME-USP
Hugo Luiz Mariano, IME-USP
On logical and order-theoretical properties of C ∞-rings and C ∞-fields
Jean Cerqueira Berni, IME-USP
Rodrigo Figueiredo, IME-USP
Hugo Luiz Mariano, IME-USP
Partitions in Topological Spaces
Rodrigo Rey Carvalho, IME-USP
Lúcia Renato Junqueira, IME-USP
Martin's Axiom and some of its consequences
Giovanni Castro Cergol, UFABC
On Infinite Games and Category Theory
Matheus Duzi, ICMC-USP
Variations on selective principles and games
Juan Francisco Camasca Fernandez, ICMC-USP
Leando Fiorini Aurichi, ICMC-USP
Does set theory really ground arithmetic truth?
Alfredo Roque Freire, UNB
Constructing non-classical models of ZF
Santiago Jockwich, Unicamp
Giorgio Venturi,Unicamp
Ultraproducts and Ramsey’s Theorem
Henrique de Almeida Lecco, ICMC-USP
Leandro Fiorini Aurichi,ICMC-USP
Generic points in finite topologies
Renato Leme, Unicamp
The Banach-Mazur game and products of Baire spaces
Gabriel Andre Asmat Medina, ICMC-USP
Leandro Aurichi, ICMC-USP
Sheaf-like categories and applications to Continuous Logic
Caio de Andrade Mendes, IME-USP
Hugo Luiz Mariano, IME-USP
Connecting Abstract Logics and adjunctions between on between Institutions and Π-Institutions
Gabriel Bittencourt Rios, IME-USP
Daniel de Almeida Souza, IME-USP
Darllan Conceição Pinto, UFBA
Hugo Luiz Mariano, IME-USP
On superrings of polynomials and algebraically closed multifields
Kaique Matias de Andrade Roberto, IME-USP
Hugo Luiz Mariano, IME-USP
On the c0(I)-extension property for linearly ordered compacta
Victor dos Santos Ronchim, IME-USP
Daniel Victor Tausk, IME-USP
A strictly crescent hierarchy which characterize all borelians
Hugo Valadão, Unicamp
Determinacy of finitely decidable infinite games and example using infinite chess
Mahan Vaz, Unicamp