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