Real-world economies are open-ended dynamic systems consisting of heterogeneous interacting participants. Human participants are decision-makers who strategically take into account the past actions and potential future actions of other participants. All participants are forced to be locally constructive, meaning their actions at any given time must be based on their local states; and participant actions at any given time affect future local states. Taken together, these essential properties imply real-world economies are locally-constructive sequential games. This paper discusses a (...) modeling approach, Agent-based Computational Economics, that permits researchers to study economic systems from this point of view. ACE modeling principles and objectives are first concisely presented and explained. The remainder of the paper then highlights challenging issues and edgier explorations that ACE researchers are currently pursuing. (shrink)

This paper aims to bring a novel approach to the discussion of unfair advantages in sport by looking for a local criterion of fairness instead of a universal criterion. A local criterion of fairness would not solve the general dispute over what counts as an unfair advantage, but it would be beneficial in evaluating specific cases and could guide further discussion about them. We seek a local criterion of fairness by comparing the specific property advantages of Caster (...) Semenya and Eero Mäntyranta. South African Semenya is a middle‐distance runner whose right to compete in the female category has been challenged owing to her assumed difference of sex development and related high level of testosterone. Finnish Mäntyranta was a cross‐country skier with an exceptionally high haematocrit level. We examine whether there is a relevant difference between their advantages that would justify treating the athletes differently. We propose that the criterion ‘not attainable by other athletes in the same category’ could stand as a local criterion of fairness under certain conditions. However, its proper application requires further discussion on how to justify categories in sport. (shrink)

Dominant Northern development expertise acknowledges religion mostly as impeding development processes and aim to secularize and ‘modernize’ the South. This paper seeks to map out the various intersections of church and actors’ livelihoods, and explain those nodal points through villagers’ eyes. The study employed ethnographic interviewing to weave life-histories of households, and analyzed data to locate patterns and concepts at intersections of church and livelihood. The paper reports that actors employed church as arena to construct, extend and defend livelihoods; and (...) re-engineering a resource-system church is promising. Thus church interlocks with livelihood construction processes, presenting opportunities for synergy in mission. (shrink)

We give an elementary theory of Henselian local rings and construct the Henselisation of a local ring. All our theorems have an algorithmic content.

The Lovász local lemma (LLL) is a technique from combinatorics for proving existential results. There are many different versions of the LLL. One of them, the lefthanded local lemma, is particularly well suited for applications to two player games. There are also constructive and computable versions of the LLL. The chief object of this thesis is to prove an effective version of the lefthanded local lemma and to apply it to effectivise constructions of non-repetitive sequences.The second goal (...) of this thesis is to categorize some classes of cohesive powers. We completely describe both the isomorphism types of cohesive powers of equivalence structures and injection structures, as well as clarify the relationship between these cohesive powers and their original structures. We also describe the finite condensation of cohesive powers of computable copies of the integers as a linear order by cohesive sets whose complement are computably enumerable.Finally, we investigate the possibility of decomposing problems in the Weihrauch degrees into a product of first order part and second order part. We give a preliminary result in this direction.Abstract prepared by Daniel Mourad.E-mail: [email protected]: https://daniel-mourad.scholar.uconn.edu/wp-content/uploads/sites/2530/2023/06/ThesisFinalWithRevisio ns-2.pdf. (shrink)

Using as case studies two early diagrams that represent mechanisms of the cell division cycle, we aim to extend prior philosophical analyses of the roles of diagrams in scientific reasoning, and specifically their role in biological reasoning. The diagrams we discuss are, in practice, integral and indispensible elements of reasoning from experimental data about the cell division cycle to mathematical models of the cycle’s molecular mechanisms. In accordance with prior analyses, the diagrams provide functional explanations of the cell cycle and (...) facilitate the construction of mathematical models of the cell cycle. But, extending beyond those analyses, we show how diagrams facilitate the construction of mathematical models, and we argue that the diagrams permit nomological explanations of the cell cycle. We further argue that what makes diagrams integral and indispensible for explanation and model construction is their nature as locality aids: they group together information that is to be used together in a way that sentential representations do not. (shrink)

The article proceeds from the concept of understanding local government in Russia as a projection of the potestar (pre-state) organization of public life, which transforms under the dominance of methods of state organization of public life, but retains its influence as the essential core of political and social interaction between people. The existing complex «state-municipal» mechanism for exercising power at the local level largely determines the forms and nature of political actors’ interaction at the regional level. State authorities, (...) which are focused on the totality of their own administrative influences, have not yet succeeded in fully integrating local self-government into the general public space of responsibility for powers, since local power is unbuilt initially on the principles of autogenesis, autochthony and autonomy. The current situation contributes to the archaicism of a part of social relations. For some time now, to work in the multidimensional reality of society, the authorities have begun to need analytical models to understand what is happening. As an explanatory theoretical basis for the modes of existence of local authorities developed and described by the author in the current stage of development of Russian statehood, a modal methodology is used, supplemented by the results of constructing model-oriented political ontologies, which reflect the aggregates of the layers and actors of the municipal sphere of sociopolitical reality at the regional level that are actually and actively present in the Russian society. The author is interested in searching the patterns that operate in the environment created and cultivated by the organizational and activity efforts of state structures against the background of sociocultural and other characteristics inherent in the regions. Possible working models for the needs of public administration arising from the modes offered by the author are still under development, since the reform of constitutional rules proposed by the country’s leadership raises the question of new forms of organizing the continuum of coexistence and interaction of local and state authorities in Russia. The article outlines the main research lines that indicate a number of features and reference points of the author’s approach in understanding the relationship between local government and municipal government, which may serve as an occasion for a new circle of discussions of specialists interested in the prospects for the development of political potential in the Russian municipal environment. (shrink)

The existence of either a maximum or a minimum for a uniformly continuous mapping f of a compact interval into ${\mathbb{R}}$ is established constructively under the hypotheses that f′ is sequentially continuous and f has at most one critical point.

The author of the article studies the activities of the Executive Committee of the Leningrad City Council on the development of the city and its infrastructure in the first half of the 50s of the 20th century. Particular attention is paid to prevention of attempts made by various departments to violate the existing layout of the city and cause damage to monuments of historical and cultural heritage. By the beginning of the 1950s, the tasks of restoring the municipal economy in (...) Leningrad and liquidating the damage caused by the war and the enemy blockade of the city were basically solved. In these years, the most acute task for Leningrad was to ensure a steady increase in the volume of housing construction and to reconstruct ‘under-repaired‘ residential buildings. In addition, it was necessary to build and start up the first stage of the subway, i.e. to fulfill the task set in the Fourth Five-Year Plan. To ensure the solution of these problems, the General Plan for the Development of Leningrad in 1951-1960 was developed. The most important part of the plan was the implementation of new housing construction along with the restoration and renovation of existing houses and buildings. Particular attention was paid to the development of social infrastructure. The plan provided for the construction of schools, hospitals, and other public facilities. The Executive Committee of the Leningrad City Council constantly kept under control the problems that arose with land allocation for organizations and enterprises located in the city. Sometimes the solution of these issues acquired the all-Union character, and the city’s leadership protected the interests of the residents and preserved the architectural and historical integrity of the city territories. Thanks to the principled and uncompromising position of the Leningrad City Council, it was possible to save many monuments of culture and architecture of the city, to ensure its development in strict accordance with the General Plan. (shrink)

In efforts to achieve the Sustainable Development Goals, social entrepreneurship has gained popularity as a vehicle for positive change in developing countries. The multiplicity of stakeholders, diverging sociocultural contexts and the hybrid mission complicate the process of legitimacy construction for social entrepreneurs as a basis for the acquisition of scarce resources. This study investigates how social entrepreneurs operating in Sub-Saharan Africa and Asia tackle this challenge of bridging conflicting directions in discursive interaction with their European funders. We conduct a multimodal (...) discourse analysis to uncover discursive strategies for legitimacy construction by combining linguistic data from interviews with visual data from social media accounts. Legitimacy construction, and thus resource acquisition, centers on three aspects which interlink pragmatic, cognitive and moral legitimacy: developing innovative solutions, mobilizing private-sector efficiency, and contributing to local empowerment. Presenting these aspects as mutually reinforcing overcomes contradictions between social and business logics and provides an expanded space for legitimacy construction of social entrepreneurship. Discursively constructing legitimacy around a ‘glorified version of social entrepreneurship’ mobilizes resources but downplays the risk of being an entrepreneur in the Global South, contributing to increasing corporatization of social purpose organizations. (shrink)

We construct a local \-epistemic hidden-variable model of Bell correlations by a retrocausal adaptation of the originally superdeterministic model given by Brans. In our model, for a pair of particles the joint quantum state \\rangle \) as determined by preparation is epistemic. The model also assigns to the pair of particles a factorisable joint quantum state \\rangle \) which is different from the prepared quantum state \\rangle \) and has an ontic status. The ontic state of a single particle (...) consists of two parts. First, a single particle ontic quantum state \|i\rangle \), where \\) is a 3-space wavepacket and \ is a spin eigenstate of the future measurement setting. Second, a particle position in 3-space \\), which evolves via a de Broglie–Bohm type guidance equation with the 3-space wavepacket \\) acting as a local pilot wave. The joint ontic quantum state \\rangle \) fixes the measurement outcomes deterministically whereas the prepared quantum state \\rangle \) determines the distribution of the \\rangle \)’s over an ensemble. Both \\rangle \) and \\rangle \) evolve via the Schrodinger equation. Our model exactly reproduces the Bell correlations for any pair of measurement settings. We also consider ‘non-equilibrium’ extensions of the model with an arbitrary distribution of hidden variables. We show that, in non-equilibrium, the model generally violates no-signalling constraints while remaining local with respect to both ontology and interaction between particles. We argue that our model shares some structural similarities with the modal class of interpretations of quantum mechanics. (shrink)

We claim that physics has been constructed because three “philosophical” principles have been respected, namely, realism, locality, and consistency. These principles lead to an interpretation of quantum mechanics (QM) in terms of local hidden-variables theories (LHV). In order to prove that LHV have not been refuted, we analyze the empirical proofs of Bell's inequalities and we argue that none is loophole-free. Then we propose a restricted QM that does not contain measurement postulates and that does not claim that all (...) state vectors (self-adjoint operators) are states (observables). The contradiction of such restricted QM with Bell's inequality cannot be shown as a theorem, but only by the design of a loophole-free experiment. Finally, we argue that noise has been underestimated in quantum theory. It does not appear in QM, but it is essential in quantum field theory. We conjecture that noise will prevent the violation of Bell's inequality. (shrink)

It has been argued that globalization assists the USA to gain a hegemonic position, allowing it to export its culture. Because this exportation leads to the domination by American culture of the local cultures of importing countries, which are the key element in sustaining their citizens’ national identity, citizens of these countries are unable to protect state sovereignty from this cultural invasion. In order to prevent a political crisis arising from such an invasion, these countries will adopt the strategy (...) of cultural localization. However, this top-down approach overestimates the influence of hegemonic cultures and, thus, overlooks the dynamic nature of cultural development that is generated by people’s agency. This essay rejects this top-down model by arguing that texts cannot dominate people, and that people influence their existence and value. (shrink)

We say that a first order theoryTislocally finiteif every finite part ofThas a finite model. It is the purpose of this paper to construct in a uniform way for any consistent theoryTa locally finite theory FIN which is syntactically isomorphic toT.Our construction draws upon the main idea of Paris and Harrington [6] and generalizes the syntactic aspect of their result from arithmetic to arbitrary theories. The first mathematically strong locally finite theory, called FIN, was defined in [1]. Now we get (...) much stronger ones, e.g. FIN.From a physicalistic point of view the theorems of ZF and their FIN-counterparts may have the same meaning. Therefore FIN is a solution of Hilbert's second problem. It eliminates ideal objects from the proofs of properties of concrete objects.In [4] we will demonstrate that one can develop a direct finitistic intuition that FIN is locally finite. We will also prove a variant of Gödel's second incompleteness theorem for the theory FIN and for all its primitively recursively axiomatizable consistent extensions.The results of this paper were announced in [3]. (shrink)

This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The (...) resulting framework is intended as a setting for the logical and categorical study of relative computability. (shrink)

Across the world urban semioscapes emerge from multiple and mutually interlocking social activities of the members of sociocultural groups and are established through the deployment of layered configurations of semiotic resources and discourses which index patterns of these activities as well as the underlying norms and values of these groups. A particularly conspicuous semiotic practice which has established itself as a distinct semiotic layer in Slovakia’s urban semioscape is one through which social agents declare certain segments of space as private. (...) By erecting ‘private property’ signs they impose a certain ‘power regime’ on a physical territory but also imprint upon that space a particular ideological meaning. This practice is particularly salient in Slovakia’s geopolitical environment in which the notion of ‘privateness’ was excluded from official ideology under socialism. As language is a principal semiotic mode for the construction of the practice of constructing private space, the practice can also be looked upon as a sociolinguistic phenomenon indexing the post-1989 political and economic transformation processes in Slovakia; that is, the re-establishment of ‘private ownership’ within the larger processes of ‘rectification’ which post-socialist societies underwent in the transformation period. My argument is that the practice is a manifestation of geocultural globalisation on a local scale-level which leads to the emergence of new forms of locality. In the paper I employ Blommaert’s innovative conceptual toolbox of the sociolinguistics of globalisation’ along with the analytical practices and procedures of geosemiotics and linguistic landscape, and apply them to the corpus of signs which I believe index this practice and establish the topography of private space’ in the urban semioscape examined. (shrink)

This paper constructs two classes of models for the quantum correlation experiments used to test the Bell-type inequalities, synchronization models and prism models. Both classes employ deterministic hidden variables, satisfy the causal requirements of physical locality, and yield precisely the quantum mechanical statistics. In the synchronization models, the joint probabilities, for each emission, do not factor in the manner of stochastic independence, showing that such factorizability is not required for locality. In the prism models the observables are not random variables (...) over a common space; hence these models throw into question the entire random variables idiom of the literature. Both classes of models appear to be testable. (shrink)

We consider the extent to which one can compute bounds on the rate of convergence of a sequence of ergodic averages. It is not difficult to construct an example of a computable Lebesgue measure preserving transformation of [0, 1] and a characteristic function f = χA such that the ergodic averages Anf do not converge to a computable element of L2([0, 1]). In particular, there is no computable bound on the rate of convergence for that sequence. On the other hand, (...) we show that, for any nonexpansive linear operator T on a separable Hilbert space and any element f , it is possible to compute a bound on the rate of convergence of Anf from T , f , and the norm f ∗ of the limit. In particular, if T is the Koopman operator arising from a computable ergodic measure preserving transformation of a probability space X and f is any computable element of L2 (X ), then there is a computable bound on the rate of convergence of the sequence Anf. (shrink)

Bell's theorem is believed to establish that the quantum mechanical predictions do not generally admit a causal representation compatible with Einsten's principle of separability, thereby proving incompatibility between quantum mechanics and relativity. This interpretation is contested via two convergent approaches which lead to a sharp distinction between quantum nonseparability and violation of Einstein's theory of relativity.In a first approach we explicate from the quantum mechanical formalism a concept of “reflected dependence.” Founded on this concept, we produce a causal representation of (...) the quantum mechanical probability measure involved in Bell's proof, which is clearly separable in Einstein's sense, i.e., it does not involve supraluminal velocities, and nevertheless is “nonlocal” in Bell's sense. So Bell locality and Einstein separability aredistinct qualifications, and Bell nonlocality (or Bell nonseparability) and Einstein separability arenot incompatible. It is then proved explicitly that with respect to the mentioned representation Bell's derivation does not hold. So Bell's derivation does notestablish thatany Einstein-separable representation is incompatible with quantum mechanics. This first—negative—conclusion is asyntactic fact.The characteristics of the representation and of the reasoning involved in the mentioned counterexample to the usual interpretation of Bell's theorem suggest that the representation used—notwithstanding its ability to bring forth the specified syntactic fact—isnot factually true. Factual truth and syntactic properties also have to be radically distinguished in their turn. So, in a second approach, starting from de Broglie's initial relativistic model of a microsystem, a deeper, factually acceptable representation is constructed. The analyses leading to this second representation show that quantum mechanics does indeed involve basically a certain sort of nonseparability, called here de Broglie-Bohr quantum nonseparability. But the de Broglie-Bohr quantum nonseparability is shown to stem directly from the relativistic character of the considerations which led Louis de Broglie to the fundamental relation p = h/λ,thereby being essentially consistent with relativity. As to Einstein separability, it appears to be a still insufficiently specified conceptof which a future, improved specification, will probably be explicitly harmonizable with the de Broglie-Bohr quantum nonseparability.The ensemble of the conclusions obtained here brings forth a new concept of causality, a concept offolded, zigzag, reflexive causality, with respect to which the type of causality conceived of up to now appears as aparticular case of outstretched, one-way causality. The reflexive causality is found compatible with the results of Aspect's experiment, and it suggests new experiments.Considered globally, the conclusions obtained in the present work might convert the conceptual situation created by Bell's proof into a process of unification of quantum mechanics and relativity. (shrink)

When we ask a decision maker to express her preferences, it is typically assumed that we are eliciting a pre-existing set of preferences. However, empirical research has suggested that our preferences are often constructed on the fly for the decision problem at hand. This paper explores the ramifications of this empirical research for our understanding of instrumental rationality. First, I argue that these results pose serious challenges for the traditional decision-theoretic view of instrumental rationality, which demands global coherence amongst all (...) of one's beliefs and desires. To address these challenges, I first develop a minimal notion of instrumental rationality that issues in localized, goal-relative demands of coherence. This minimal conception of instrumental rationality is then used to offer a more sophisticated account of the global aspects of instrumental rationality. The resulting view abandons all-or-nothing assessments of rationality and allows us to evaluate decision makers as being rational to varying degrees. My aim is to propose a theory that is both psychologically and normatively plausible. (shrink)

Photography is clearly not a mirror of daily life: that images are constructions is especially obvious in 19th-century studio portrait photography. This book explores how indigenous Iranian photographers constructed their own realities in contrast to howforeign photographers constructed Iranians' realities. Through an in-depth comparative visual analysis of 19th-century Iranian portrait photography and Persian painting, the author arrives at the insight that aesthetic preferences correlate with socio-cultural habits and practices in writing, reading and looking. Subsequently, she advocates for a place in (...) a global history of photography for those unknown, local photo histories and for the indigenous photographers who produced them. (shrink)

Unlike our basic theories of space and time, quantum mechanics is not a locally causal theory. This well known fact was brought forth by Einstein, Podolsky, and Rosen in 1935. Today it is widely believed that any hopes of restoring local causality within a realistic theory have been undermined by Bell's theorem and its supporting experiments. By contrast, we provide a strictly local, deterministic, and realistic explanation for the correlations observed in two such supporting experiments performed at Orsay (...) and Innsbruck. To this end, a pair of local variables is constructed to simulate detections of photon polarizations at various angles, chosen freely by Alice and Bob. These generate purely random outcomes: A = +/-1 and B = +/-1. When these outcomes are compared, however, the correlation between them turn out to be exactly equal to -cos2, with the corresponding CHSH inequality violated for the polarization angles alpha, alpha', beta, and beta' in precisely the manner predicted by quantum mechanics. The key ingredient in our explanation is the topology of 3-sphere, which remains closed under multiplication, thus preserving the locality condition of Bell. (shrink)

Scientific realism and anti-realism are most frequently discussed as global theses: theses that apply equally well across the board to all the various sciences. Against this status quo I defend the localist alternative, a methodological stance on scientific realism that approaches debates on realism at the level of individual sciences, rather than at science itself. After identifying the localist view, I provide a number of arguments in its defense, drawing on the diversity and disunity found in the sciences, as well (...) as problems with other approaches (such as basing realism debates on the aim of science). I also show how the view is already at work, explicitly or implicitly, in the work of several philosophers of science. After meeting the objections that localism collapses either into globalism or hyperlocalism, I conclude by sketching what sorts of impacts localism can have in the philosophy of science. (shrink)

An account of lower and upper integration is given. It is constructive in the sense of geometric logic. If the integrand takes its values in the non-negative lower reals, then its lower integral with respect to a valuation is a lower real. If the integrand takes its values in the non-negative upper reals, then its upper integral with respect to a covaluation and with domain of integration bounded by a compact subspace is an upper real. Spaces of valuations and of (...) covaluations are defined.Riemann and Choquet integrals can be calculated in terms of these lower and upper integrals. (shrink)

We argue that word meanings are not stored in a mental lexicon but are generated in the context of working memory from long-term memory traces that record our experience with words. Current statistical models of semantics, such as latent semantic analysis and the Topic model, describe what is stored in long-term memory. The CI-2 model describes how this information is used to construct sentence meanings. This model is a dual-memory model, in that it distinguishes between a gist level and an (...) explicit level. It also incorporates syntactic information about how words are used, derived from dependency grammar. The construction of meaning is conceptualized as feature sampling from the explicit memory traces, with the constraint that the sampling must be contextually relevant both semantically and syntactically. Semantic relevance is achieved by sampling topically relevant features; local syntactic constraints as expressed by dependency relations ensure syntactic relevance. (shrink)

In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligmans logic of information flow. We show that, taking P.M. Dungs characterization of argument systems, a local logic over states of a deliberation may be constructed. In this structure, the key feature of non-monotonicity of commonsense reasoning obtains as the transition from one local logic to another, due to a change in certain background conditions. Each of Dungs extensions of argument systems (...) leads to a corresponding ordering of background conditions. The relations among extensions becomes a relation among partial orderings of background conditions. This introduces a conceptual innovation in Barwise and Seligmans representation of commonsense reasoning. (shrink)

Of the unusual grammatical constructions which Statius employs for the sake of variety and novel effect, among the most remarkable is his use of the ablative case. There are striking instances at Th. 8. 157, Th. 10. 309, Ach. 1. 219, Ach. 2. 129; and W. C. Summers was led to say: ‘We see some traces in Valerius of the lax use of this case which became almost a disease with Statius, who employs it for almost any kind of idea.’ (...) There are three passages in Statius which have been misinterpreted or emended through the failure to recognize a use of the ablative to which he was especially prone—the local ablative where the poetic dative of ‘motion towards’ would seem more normal. I shall first list examples of this use in Statius where there is little or no doubt about interpretation or reading, and in the light of this accumulated evidence consider the three passages which are disputed. (shrink)

A study on minimalist syntax develops an empirical argument for a crash-proof computational system. A crash-proof system is obtained if syntactic dependencies are strictly local (i.e. there is no long-distance Agree). Apparent long-distance dependencies turn out to be the outcome of a recursive chain on local complex dependencies. This framework allows for novel analyses of quirky subjects in Icelandic and Spanish, indefinite SE in Spanish and different types of expletive constructions in English, French, German, Spanish, Italian, and Icelandic.

The term ‘food security’ has been used in multiple ways and addresses not only issues around availability and accessibility of foods, but also, among others, the sustainability of livelihoods at the local community level—an issue often seen as a basis for the proliferation of local and alternative food networks. Accordingly, in this paper we attempt to develop a theoretical re-framing that is able to link food security with AFNs in arguing that the understanding of the two notions is (...) dynamics and contingent upon the elements that construct them. We use an assemblage approach to analyze a case of Dunedin, a small-size city in New Zealand, in which the community aims to achieve food security through a local food strategy. Through a series of interviews with a group of food activists and academics, public discussions, and two local food forums, we found that food security was understood and performed in its local context through assembling diverse actors and objectives within the AFN. In conclusion, we offer assemblage thinking as an analytical tool to understand how seemingly precarious local food relations are stabilized and assembled so as to open possibilities of achieving food security. (shrink)

This paper connects the following three apparently unrelated topics: an epistemic framework fighting logical omniscience, a class of generalized graphs without the arities of relations, and a family of non-normal modal logics rejecting the aggregative axiom. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs and also the epistemic logic of local reasoning with (...) veracity and positive introspection. The logics studied are shown to be decidable based on a filtration construction. (shrink)

Quantum theory of Lorentz invariant local scalar fields without restrictions on 4-momentum spectrum is considered. The mass spectrum may be both discrete and continues and the square of mass as well as the energy may be positive or negative. One may assume the existence of such fields only if they interact with ordinary fields very weakly. Generalization of Kallen-Lehmann representation for propagators of these fields is found. The considered generalized fields may violate CPT-invariance. Restrictions on mass-spectrum of CPT-violating fields (...) are found. Local fields that annihilate vacuum state and violate CPT-invariance are constructed in this scope. Correct local relativistic generalization of Lindblad equation for density matrix is written for such fields. This generalization is particularly needed to describe the evolution of quantum system and measurement process in a unique way. Difficulties arising when the field annihilating the vacuum interacts with ordinary fields are discussed. (shrink)

A step towards constructing an ethics of international activism is proposed by formulating a series of constraints on what would constitute morally permissible agency in the context that involves delivering services abroad, directly or indirectly. Perhaps surprisingly, in this effort the author makes use of the concept of ‘force multiplier’. This idea and its official applications have explanatory importance in considering the correlation between the post-Cold War phenomenal growth in the number of international non-governmental organizations and the emergence of the (...) US as the sole, unchallenged superpower. Four moral constraints useful for morally assessing international activism are formulated and defended. The final outcome is an argument in favor of an overarching duty for any activist-minded Westerner to go local, while developing nations are urged to closely regulate, even criminalize, activities by international activists and ‘human rights organizations’ on their territory when not in solidarity or in support of local movements. The position defended, urging the normative primacy of local over international activism, also finds support in Immanuel Kant’s Third Definitive Article for A Perpetual Peace. (shrink)

While much has been written about the uniquely Hawaiian take on the category “local” – usually in terms of resistance to colonization, the alternative or counterhegemonic – little has been written about “haole”, the trope that served to silhouette the “local” and has evolved in dialectical opposition to it. A term that emerged during the plantation era to represent working-class immigrant workers mostly from Asia, “local” is constructed by exclusion. It has evolved to represent solidarity against all (...) “external forces” controlling Hawai'i from without, such as land development, tourism and the military – all readily equated with haole, the visible sign of whiteness. The prevalence of the prescription “local vs. haole” in contemporary Hawai'i begs an inquiry into other interpretations that are being suppressed. This paper explores some suppressed histories, imaginings and subconscious aspects of identity in Hawai'i through the figure of the white person whose parents – and possibly great-great-great-grandparents – were born and raised in Hawai'i. (shrink)

Local sentences and the formal languages they define were introduced by Ressayre in. We prove that locally finite ω‐languages and effective analytic sets have the same topological complexity: the Borel and Wadge hierarchies of the class of locally finite ω‐languages are equal to the Borel and Wadge hierarchies of the class of effective analytic sets. In particular, for each non‐null recursive ordinal there exist some ‐complete and some ‐complete locally finite ω‐languages, and the supremum of the set of Borel (...) ranks of locally finite ω‐languages is the ordinal, which is strictly greater than the first non‐recursive ordinal. This gives an answer to the question of the topological complexity of locally finite ω‐languages, which was asked by Simonnet and also by Duparc, Finkel, and Ressayre in. Moreover we show that the topological complexity of a locally finite ω‐language defined by a local sentence φ may depend on the models of the Zermelo‐Fraenkel axiomatic system. Using similar constructions as in the proof of the above results we also show that the equivalence, the inclusion, and the universality problems for locally finite ω‐languages are ‐complete, hence highly undecidable. (shrink)

Abstract.We use a model theoretic approach to investigate properties of local-global principles for positive primitive formulas in spaces of orderings, such as the existence of bounds and the axiomatizability of local-global principles. As a consequence we obtain various classes of special groups satisfying local-global principles for all positive primitive formulas, and we show that local-global principles are preserved by some natural constructions in special groups.

This paper connects the following four topics: a class of generalized graphs whose relations do not have fixed arities called hypergraphs, a family of non-normal modal logics rejecting the aggregative axiom, an epistemic framework fighting logical omniscience, and the classical group knowledge modality of ‘someone knows’. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs (...) and also the epistemic logic of local reasoning with veracity and positive introspection, and upon adding a single combinatorial axiom, it is also the logic of ‘someone knows’ for a fixed finite number of positively introspective agents. At the core of all these completeness results is a new canonical neighborhood model construction for monotone modal logics that is capable of dealing with all these diverse cases. We also provide an axiomatization for the logic of all non-n-colorable hypergraphs based on a filtration argument that also shows the decidability of the logics of hypergraphs we study. (shrink)

We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.

We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.

If a locale is presented by a “flat site”, it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is derived for compactness of the locale . Although its derivation uses impredicative constructions, it is also shown predicatively using the inductive generation of formal topologies. A predicative proof of the binary Tychonoff theorem is given, including a characterization of the finite covers of the product by basic opens. The discussion (...) is then related to the double powerlocale. (shrink)

Drawing on multimodal conversation analysis as a method, this article explores the role of embodiment and tactility in negotiating peer relations in classroom interaction. We aim at discussing how social relations between peers are locally constructed and negotiated through embodied, tactile-haptic, and spatial practices during classroom activities. The focus of the empirical analysis is on how students sequentially co-construct specific peer-to-peer touch type—sustained leaning touch—as well as how embodied two-student formations, synchronization of bodily movements and negotiation of personal space serves (...) as displaying social bonding and balancing between students’ dual role orientation. Our findings suggest that intercorporeal construction of we-ness—including exclusive and inclusive practices in relation to peer groups—is based on students’ embodied orientations during leaning touch as well as re-organized embodied choreographies, participation frameworks and spatial arrangements. Our empirical analysis on tactility, embodied consciousness and incorporeal compresence has its basis in a phenomenologically rooted understanding of intercorporeality, and therefore our article aims at building bridges between phenomenological understanding and conceptualization and detailed empirical analysis of clearly observable interactional phenomena. (shrink)

This article explores the discursive behaviour of Chinese local officials in press conferences handling the recent 2015 crisis of Tianjin blasts. Drawing upon the previous analyses on relations of trust and discourse, and on the crucial aspects of trustworthiness, it examines how the officials struggled for trustworthiness discursively, and how their ‘doing’ trustworthiness varied in two phases of crisis communication. The analysis reveals markedly different approaches to the officials’ ‘doing’ trustworthiness in two phases. In the ‘unsatisfactory’ phase, the officials (...) mainly constructed the aspect of expertise, with few expressions conveying integrity and none conveying care; while in the ‘well-handled’ phase, the officials constructed all three aspects. In addition, their discursive strategies of constructing expertise changed from extensively using ‘techs’ to combining ‘techs’ and vernacular language, and those of constructing integrity changed from not saying ‘what lacks evidence’ to providing information with adequate evidence. Effects of different aspects and discursive strategies on trust are also discussed. (shrink)

A metric space is said to be locally non-compact if every neighborhood contains a sequence that is eventually bounded away from every element of the space, hence contains no accumulation point. We show within recursive mathematics that a nonvoid complete metric space is locally non-compact iff it is without isolated points.The result has an interesting consequence in computable analysis: If a complete metric space has a computable witness that it is without isolated points, then every neighborhood contains a computable sequence (...) that is eventually computably bounded away from every computable element of the space. (shrink)