O artigo evidencia o forte processo de urbanização ocorrido em Florianópolis e municípios vizinhos tendo como objetivo mostrar que não só houve um forte processo de transformação de áreas rurais em espaços urbanos, mas que, apesar disso, o rural continua presente em pleno urbano, e que em diferentes situações e contextos tem se expandido e suprido regionalmente o mercado de produtos agrícolas e pecuários, alcançando mesmo outros mercados do país. Para tanto, se utilizou de diferentes bibliografias, informações e análise empírica, além do uso de instrumentos cartográficos e atividades práticas, como visitas a áreas de produção, aproveitando-se de registros fotográficos. Resulta daí que, apesar de todas as transformações que a região vem sofrendo, com amplo processo de urbanização, o rural permanece presente em pleno urbano, caracterizando o que passou a ser conhecido por agricultura urbana e periurbana.
In this paper we study the conjugacy relation on one-sided subshifts in the viewpoint of descriptive set theory. We show the conjugacy relation on one sided subshifts with the alphabet set $\{0,1\}$ is non-treeable and non-amenable.
The logic blogs 2023 and 2024 have been joined. The present file contains a lot on particular classes of groups and their relationship with logic, as well as entries on ergodic theory and on foundations. There is also a bit on AI proving at the end.
We study a concept of evasion and prediction associated with slaloms, called slalom prediction. This article collects ZFC-provable properties on the slalom prediction.
We consider quantified pretransitive Horn modal logic. It is known that such logics are complete with respect to predicate Kripke frames with expanding domains. In this paper we prove that they are also complete with respect to neighbourhood frames with constant domains.
We prove several consistency results in choiceless set theory ZF+DC regarding countable chromatic numbers of various algebraic hypergraphs on Euclidean spaces.
Con el Romanticismo se rompe la visión mimética del arte y comienza a concebirse la literatura como la plasmación del espíritu del artista en su obra, lo que cuestiona los modos de representación tradicionales, no solo desde el punto de vista del autor, sino también del receptor. Esto es especialmente visible en el ámbito de lo fantástico, donde una vez rotas las fronteras entre lo racional y lo irracional, el receptor se convierte en imprescindible para constatar la credibilidad del relato, el cual puede ser completado con las zonas más ocultas de su inconsciente. Además, a veces el relato fantástico puede leerse como enfoque metaficcional que expone los mecanismos por los que se rige la representación literaria. Ateniéndonos a estos parámetros, hemos analizado e interpretado el relato «El corazón delator» de Edgar Allan Poe.
In this paper we present a simpler proof of the fact that no inequality between $\mathrm{cof}(\mathcal{SN})$ and $\mathfrak{c}$ can be decided in ZFC by using well-known tecniques and results.
We answer an old question of Michael Hrušák by constructing a $+$-Ramsey \textsf{MAD} family without the need of any additional axioms beyond $\mathsf{ZFC.}$ We also prove that every Miller-indestructible \textsf{MAD }family is $+$-Ramsey, this improves a result of Michael Hrušák.
We present a weak sufficient condition for the existence of Souslin trees at successor of regular cardinals. The result is optimal and simultaneously improves an old theorem of Gregory and a more recent theorem of the author.
The $ε$-substitution method is a technique for giving consistency proofs for theories of arithmetic. We use this technique to give a proof of the consistency of the impredicative theory $ID_1$ using a variant of the cut-elimination formalism introduced by Mints.
The 2012 logic blog has focussed on the following: Randomness and computable analysis/ergodic theory; Systematizing algorithmic randomness notions; Traceability; Higher randomness; Calibrating the complexity of equivalence relations from computability theory and algebra.
We present some new results on union ultrafilters. We characterize stability for union ultrafilters and, as the main result, we construct a new kind of unordered union ultrafilter.
Let C subset Reg be a non-empty class (of regular cardinal). Then the logic L(Q^{cf}_C) has additional nice properties: it has homogeneous model existence property.