Un episodio de “estilización” de la política antirrepublicana: la fiesta de San Francisco Javier de 1931 en Pamplona

[ES] Estudio de caso (Fiesta de S. Francisco en Pamplona, Navarra) del modo en que la derecha conservadora española (Bloque de Derechas) y los radicales (carlistas) emplearon densos elementos identificadores (“identidad”) de lo local (Navarra-España) y católica para generar actitudes y adhesiones políticas antirrepublicanas.

San Francisco : a city reinvented by creative innovation

The aim of this paper is to analyse the recent evolution of the city of San Francisco to outline the major features that have made it possible this continuing process of creative innovation in the city. In order to meet this objective, the project is framed around answering two key research questions: (1) what are the main economic and social elements that characterise urban change in the city of San Francisco and (2) which is the role of public strategies in the continuing economic success of San Francisco. The paper concludes that the successful performance of San Francisco is the result of the actions taken by many agents in the city, but the role of public authorities, especially the City and County, must be stressed, both through direct intervention and by coordinating, fostering and supporting the private and non-profit sectors. This is especially relevant in a country like the US where private initiative has been seen in many occasions as the greatest driver of economic and social success. Yet, the performance of San Francisco City cannot be explained without the role played by the public sector, in coordination with the civil society

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.