No abstract

This paper provides a conceptual analysis of forcing and generic extensions. Our goal is to give general axioms for the concept of standard forcing-generic extension and to show that the usual (poset) constructions are unified and explained as realizations of this concept. According to our approach, the basic idea behind forcing and generic extensions is that the latter are uniform adjunctions which are groundcontrolled by forcing, and forcing is nothing more than that ground-control. As a result of our axiomatization of this idea, the usual definitions of forcing and genericity are derived.Résumé. Cet article présente une analyse conceptuelle du forcing et des extensions génériques. Notre objectif est de donner des axiomes généraux pour le concept d'extension forcing-générique standard, et de montrer que les constructions habituelles sont unifiées et expliquées comme étant des réalisations de ce concept. Selon notre approche, l'idée-clé sous-tendant le forcing et les extensions génériques est que ces dernières sont des adjonctions uniformes qui sont contrôlées par le forcing, ainsi le forcing n'est rien de plus que ce contrôle. Comme conséquence de notre axiomatisation de cette idée, on dérive les définitions habituelles du forcing et de la généricité.Funding. This research was partially supported by fapesp, proccess 2016/25891-3.

Resumo O presente estudo tem como objetivo apresentar uma revisão atualizada das recentes pesquisas de morfologia urbana para um recorte específico do território brasileiro, a região metropolitana de Campinas (RMC). Como objetivo secundário, este trabalho também se propõe a identificar a influência da morfologia urbana como corrente internacional sobre os trabalhos da RMC, notadamente por meio das suas três principais escolas. O método consiste numa revisão da produção acadêmica realizada na RMC sobre morfologia urbana nos últimos dez anos, por meio da qual se buscam identificar os pesquisadores e grupos de pesquisa relacionados a essa ciência. Numa primeira fase, é utilizada a expressão de busca “Forma Urbana” E “Campinas” OU “Região Metropolitana de Campinas”, nas bases de dados Google Scholar. Numa segunda fase, os currículos dos autores encontrados são escrutinados com um leque maior de palavras-chave. Na parte final do artigo, é exposto, como exemplo dessa produção da RMC, uma pesquisa com foco na morfologia urbana contemporânea. Os resultados apontam para certo descolamento de abordagens e métodos nos trabalhos da RMC em relação à corrente principal de morfologia urbana internacional, mas indicam, sobretudo, o crescimento desse diálogo, principalmente na esteira recente dos ISUFs e PNUMs.

Recentemente, uma grande variedade de projetos, comunidades e negócios têm adotado o conceito de Open Design (OD). Seus benefícios são associados à democratização dos processos de projeto, maior capacidade de inovação, customização e também à possibilidade de se tornar uma alternativa aos modelos de negócios tradicionais. Três exemplos, ligados à arquitetura e desenho urbano, foram selecionados para explorar sua aplicabilidade. Quatro princípios foram considerados: transparência, acessibilidade, replicabilidade e modularidade. Nossos resultados mostram que a democratização, considerada um componente chave do OD, ainda é dependente de tecnologias nem sempre disponíveis para comunidades em países em desenvolvimento

Open collaborative development and transparent design processes are often associated to the concept of open design (OD). Studies in remote collaborative processes are still recent and a wide number of aspects of OD remain unclear. This study explores an OD project by mining data in collaboration platforms. As our research object, we selected the Open Agriculture Initiative. Data was mined from its online forum, and Github, a development platform. Social network analysis (SNA) and topic modeling techniques were used to explore four research questions. We comment on these questions highlighting differences between both platforms, stakeholder participation and personal interests, community changes over time, activity volume and latent topics. Finally, we conclude by indicating possible pathways to investigate OD as an emergent phenomenon by using data mining techniques.