In this paper we explore the connections between the monadic second-order theory of one successor (MSO[<] for short) and the theories of ?-layered structures for time granularity. We first prove that the decision problem for MSO[<] and that for a suitable first-order theory of the upward unbounded layered structure are inter-reducible. Then, we show that a similar result holds for suitable chain variants of the MSO theory of the totally unbounded layered structure (this allows us to solve some decision problems (...) about theories of time granularity left open by Franceschet et al. [FRA 06]). (shrink)

Este relato apresenta recorte da experiência de estágio supervisionado de História no Colégio de Aplicação da Universidade Federal de Santa Catarina (UFSC), em 2018, na turma 2B do ensino médio. De modo específico, trata da metodologia utilizada nas aulas para debater sobre o período da Primeira República no Brasil (1889-1930). Tal metodologia foi centrada no trabalho com diferentes fontes: o samba enredo da escola Imperatriz Leopoldinense, Liberdade! Liberdade! Abra as asas sobre nós (1989); o Hino da Proclamação da República e (...) a pintura (1890), A Redenção de Cam (1895). Essas obras foram utilizadas para compreender determinado contexto histórico, do auge do pensamento racialista na esfera pública e representativo de um projeto de nação que se pretendia branca. A experiência de interpretar as referidas fontes permitiu compreender o contexto de transição entre o império e a república e questionar ideias internalizadas que se apresentam como naturais em relação a cultura afro-brasileira na história do Brasil. (shrink)