The locale corresponding to the real interval [ − 1, 1] is an interval object, in the sense of Escardó and Simpson, in the category of locales. The map, mapping a stream s of signs ±1 to, is a proper localic surjection; it is also expressed as a coequalizer. The proofs are valid in any elementary topos with natural numbers object.

Although classically every open subspace of a locally compact space is also locally compact, constructively this is not generally true. This paper provides a locally compact remetrization for an open set in a compact metric space and constructs a one-point compactification. MSC: 54D45, 03F60, 03F65.

For a locally compact group G, we show that it is possible to present the class of continuous unitary representations of G as an elementary class of metric structures, in the sense of continuous logic. More precisely, we show how nondegenerate ∗-representations of a general ∗-algebra A (with some mild assumptions) can be viewed as an elementary class, in a many-sorted language, and use the correspondence between continuous unitary representations of G and nondegenerate ∗-representations of L1(G). We relate (...) the notion of ultraproduct of logical structures, under this presentation, with other notions of ultraproduct of representations appearing in the literature, and we characterize property (T) for G in terms of the definability of the sets of fixed points of L1 functions on G. (shrink)

We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism), which implies, in particular, that isometry of locally compact Polish metric spaces is Borel reducible to graph isomorphism. We show that potentially $\boldsymbol {\Pi }^{0}_{\alpha + 1}$ isomorphism relations are Borel reducible to equality on hereditarily countable sets of rank $\alpha $, $\alpha \geq (...) 2$. We also study approximations of the Hjorth-isomorphism game, and formulate a condition ruling out classifiability by countable structures. (shrink)

Given a Polish groupG, let$E(G)$be the right coset equivalence relation$G^{\omega }/c(G)$, where$c(G)$is the group of all convergent sequences inG. The connected component of the identity of a Polish groupGis denoted by$G_0$.Let$G,H$be locally compact abelian Polish groups. If$E(G)\leq _B E(H)$, then there is a continuous homomorphism$S:G_0\rightarrow H_0$such that$\ker (S)$is non-archimedean. The converse is also true whenGis connected and compact.For$n\in {\mathbb {N}}^+$, the partially ordered set$P(\omega )/\mbox {Fin}$can be embedded into Borel equivalence relations between$E({\mathbb {R}}^n)$and$E({\mathbb {T}}^n)$.

We show that each non-compact Polish group admits a continuous action on a Polish space with non-smooth orbit equivalence relation. We actually construct a free such action. Thus for a Polish group compactness is equivalent to all continuous free actions of this group being smooth. This answers a question of Kechris. We also establish results relating local compactness of the group with its inability to induce orbit equivalence relations not reducible to countable Borel equivalence relations. Generalizing a result of (...) Hjorth, we prove that each non-locally compact, that is, infinite dimensional, separable Banach space has a continuous action on a Polish space with non-Borel orbit equivalence relation, thus showing that this property characterizes non-local compactness among Banach spaces. (shrink)

We prove that the modal logic of a crowded locally compact generalized ordered space is $\textsf {S4}$. This provides a version of the McKinsey–Tarski theorem for generalized ordered spaces. We then utilize this theorem to axiomatize the modal logic of an arbitrary locally compact generalized ordered space.

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)

We say that a Hausdorff locale is compactly generated if it is the colimit of the diagram of its compact sublocales connected by inclusions. We show that this is the case if and only if the natural map of its frame of opens into the second Lawson dual is an isomorphism. More generally, for any Hausdorff locale, the second dual of the frame of opens gives the frame of opens of the colimit. In order to arrive at this conclusion, (...) we generalize the Hofmann–Mislove–Johnstone theorem and some results regarding the patch construction for stably locally compact locales. (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)

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 concept of neutrosophic locally compact and neutrosophic compact open topology are introduced and some interesting propositions are discussed.

In this paper we define sheaf spaces of BL-algebras (or BL-sheaf spaces), we study completely regular and compact BL-sheaf spaces and compact representations of BL-algebras and, finally, we prove that the category of non-trivial BL-algebras is equivalent with the category of compact local BL-sheaf spaces.

We prove a structure theorem for compact inverse categories. The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Clifford is that commutative inverse monoids become semilattices of abelian groups. It has also been categorified by Hoehnke and DeWolf-Pronk to a structure theorem for inverse categories as locally complete inductive groupoids. We show that in the case of compact inverse categories, this takes the particularly nice form of (...) a semilattice of compact groupoids. Moreover, one-object compact inverse categories are exactly commutative inverse monoids. Compact groupoids, in turn, are determined in particularly simple terms of 3-cocycles by Baez-Lauda. (shrink)

. We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes of models where the compactness theorem fails and (3) for the first order case. Appropriate localizations of the order property, the independence property, and the strict order property are introduced. We are able to generalize some of the results that were known in the case of local stability for the (...) first order theories, and for stability for nonelementary classes (existence of indiscernibles, existence of averages, stability spectrum, equivalence between order and instability). In the first order case, we also prove the local version of Shelah's Trichotomy Theorem. Finally, as an application, we give a new characterization of stable types when the ambient first order theory is simple. (shrink)

Free bosonic fields are investigated at a classical level by imposing their characteristic de Broglie periodicities as constraints. In analogy with finite temperature field theory and with extra-dimensional field theories, this compactification naturally leads to a quantized energy spectrum. As a consequence of the relation between periodicity and energy arising from the de Broglie relation, the compactification must be regarded as dynamical and local. The theory, whose foundamental set-up is presented in this paper, turns out to be consistent with special (...) relativity and in particular respects causality. The non trivial classical dynamics of these periodic fields show remarkable overlaps with ordinary quantum field theory. This can be interpreted as a generalization of the AdS/CFT correspondence. (shrink)

Matter interacting classically with gravity in 3+1 dimensions usually gives rise to a continuum of degrees of freedom, so that, in any attempt to quantize the theory, ultraviolet divergences are nearly inevitable. Here, we investigate matter of a form that only displays a finite number of degrees of freedom in compact sections of space-time. In finite domains, one has only exact, analytic solutions. This is achieved by limiting ourselves to straight pieces of string, surrounded by locally flat sections (...) of space-time. Globally, however, the model is not finite, because solutions tend to generate infinite fractals. The model is not (yet) quantized, but could serve as an interesting setting for analytical approaches to classical general relativity, as well as a possible stepping stone for quantum models. Details of its properties are explained, but some problems remain unsolved, such as a complete description of the most violent interactions, which can become quite complex. (shrink)

This article examines public involvement in the six-year administrative review of an application by Waukesha, Wisconsin, to draw water from Lake Michigan to replace its radium-contaminated local water supply. The article shows that public positions on the proposal inverted the typical relationship between partisanship and environmental attitudes, prompting both supporters and opponents to ignore scientific evidence and the central matter of water safety. In successive rounds of state and regional administrative review, these political stances induced administrators to engage in increasingly (...) legalistic forms of assessment. Although Waukesha’s application was approved in 2016, such administrative dynamics may limit the ability of the recently enacted Great Lakes Compact to address current and prospective water safety problems in the region. The case typifies an emerging pattern in water governance in the United States: contentious administrative politics drive cooperative agreements to resemble adversarial proceedings, limiting their ability to adapt to new environmental problems. (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)

This paper extends scholarship on multi-stakeholder initiatives (MSIs) in the context of corporate social responsibility in three ways. First, I outline a framework to analyze the strength of couplings between actors participating in MSIs. Characterizing an MSI as consisting of numerous local networks that are embedded in a wider global network, I argue that tighter couplings (within local networks) and looser couplings (between local networks) coexist. Second, I suggest that this coexistence of couplings enables MSIs to generate policy outcomes which (...) address the conditions of a transnational regulatory context. I argue that MSIs’ way of organizing enables them to cope with three challenges: the stability, flexibility, and legitimacy of governance. Reflecting on these challenges, the article identifies a number of problems related to MSIs’ role in transnational governance. Third, I discuss the UN Global Compact as an illustrative case and examine problems and opportunities related to its stability, flexibility, and legitimacy. (shrink)

The localic completion of a metric space induces a canonical notion of continuous map between metric spaces. It is shown that these maps are continuous in the sense of Bishop constructive mathematics, i.e., uniformly continuous near every compact image.

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o‐minimal structure. This fact together with the results in a previous paper implies a tame dimension theory and a decomposition theorem into good‐shaped definable subsets called quasi‐special submanifolds. Using this fact, we investigate definably complete locally o‐minimal expansions of ordered groups when the restriction of multiplication to an arbitrary bounded open box is definable. Similarly to o‐minimal expansions (...) of ordered fields, Łojasiewicz's inequality, Tietze's extension theorem and affiness of pseudo‐definable spaces hold true for such structures under the extra assumption that the domains of definition and the pseudo‐definable spaces are definably compact. Here, a pseudo‐definable space is a topological space having finite definable atlases. We also demonstrate Michael's selection theorem for definable set‐valued functions with definably compact domains of definition. (shrink)

The article discusses the role of the UN Global Compact in the emerging global corporate social responsibility infrastructure. It evaluates the debate around the effectiveness and legitimacy of the UNGC alongside the arguments of its supporters and critics and thereby introduces the Thematic Symposium contributions. The article further identifies three theoretical perspectives that are used by scholars to discuss the performance of the UNGC: economic, socio-historical, and normative. It proposes that these perspectives can serve as generic distinctions with direct (...) relevance for the evaluation of the UNGC. Once the perspective is chosen, it drives towards a certain purpose which implies assumptions and design features with regard to the UNGC. Finally, the article offers a future research agenda, emphasising the research needed on the UNGC in four areas: the identification of processes and influence mechanisms; legitimacy and effectiveness; local networks and regional development; and the interface of the UNGC and responsible leadership. (shrink)

The implementation of corporate social responsibility is crucial for the legitimacy of an organization in today’s globalized economy. This study aims to enrich our knowledge of the implementation of the largest voluntary CSR initiative—the UN Global Compact. Drawing on insights from stakeholder, network, and institutional theory, I derive a positive impact of UNGC participation duration on the implementation level of the UNGC principles, despite potential weaknesses in the initiative’s accountability structure. Moreover, I scrutinize the validity of the newly introduced (...) UNGC “Differentiation Programme” before applying this framework in the empirical analysis. Results from ordinal, linear, and instrumental variable regression models suggest that, contrary to claims made by UNGC critics, the duration of UNGC participation does affect the level of UNGC implementation. However, this effect appears to be much smaller than previous practitioner studies have suggested. Moreover, strong local UNGC networks affect the implementation level of the UNGC positively. Their hypothesized moderating role between UNGC participation duration and UNGC implementation level, however, is only significant in networks with activities of high quality rather than high quantity. (shrink)

We use κ-free but not Whitehead Abelian groups to constructElementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-types. We introduce the notion that an AEC admits intersections. We conclude that for AEC which admit intersections, the amalgamation property can have no positive effect on locality: there is a transformation of AEC's which preserves non-locality but takes any AEC which admits intersections to one with amalgamation. More specifically we have: Theorem 5.3. There is (...) an AEC with amalgamation which is not (N₀, N₁)-tame but is 2(N0, ∞)-tame; Theorem 3.3. It is consistent with ZFC that there is an AEC with amalgamation which is not (≤ N₂, ≤ N₂)-compact. (shrink)

Assume. Let κ be a cardinal. A ‐ground is a transitive proper class W modelling such that V is a generic extension of W via a forcing of cardinality. The κ‐mantle is the intersection of all ‐grounds. We prove that certain partial choice principles in are the consequence of κ being inaccessible/weakly compact, and some other related facts.

This paper examines prospects for and content of a global regime for human rights. Competing schools of thought forecast convergence and divergence of national standards under stress of globalization. No such regime exists, and there is no compelling theory of international corporate social responsibility. However, elements of an emerging global regime can be identified and partially overlap with environmental protection issues. This regime is highly fragmented, underdeveloped, and only partially enforceable—but it is in development. The UN Global Compact, the (...) Global Reporting Initiative (GRI), ISO 26000 (expected in 2010), the U.S. Alien Tort Claims Act (ATCA) of 1789 and the permanent international criminal court established in 2002 are illustrations of such elements. The third Ruggie Report, issued 2008, is an important summary of conditions and proposes a strategy for forward progress. Human rights impose important obligations on multinational enterprises (MNEs) operating across highly diverse political, legal, and cultural realities. (shrink)

Probabilistic Relational Models (PRMs) are a framework for compactly representing uncertainties (actually probabilities). They result from the combination of Bayesian Networks (BNs), Object-Oriented languages, and relational models. They are specifically designed for their efficient construction, maintenance and exploitation for very large scale problems, where BNs are known to perform poorly. Actually, in large-scale problems, it is often the case that BNs result from the combination of patterns (small BN fragments) repeated many times. PRMs exploit this feature by defining these patterns (...) only once (the so-called PRM’s classes) and using them through multiple instances, as prescribed by the Object-Oriented paradigm. This design induces low construction and maintenance costs. In addition, by exploiting the classes’ structures, PRM’s state-of-the-art inference algorithm “Structured Variable Elimination” (SVE) significantly outperforms BN’s classical inference algorithms (e.g., Variable Elimination, VE; Local Conditioning, LC). SVE is actually an extension of VE that simply exploits classes to avoid redundant computations. In this article, we show that SVE can be enhanced using LC. Although LC is often thought as being outperformed by VE-like algorithms in BNs, we do think that it should play an important role for PRMs because its features are very well suited for best exploiting PRM classes. In this article, relying on Faÿ and Jaffray’s works, we show how LC can be used in conjunction with VE and deduce an extension of SVE that outperforms it for large-scale problems. Numerical experiments highlight the practical efficiency of our algorithm. (shrink)

This paper uses the locale theory approach to topology. Two descriptions are given of all locale limits, the first description using suplattice constructions and the second preframe constructions. The symmetries between these two approaches to locale theory are explored. Given an informal assumption that open locale maps are parallel to proper maps we argue that various pairs of locale theory results are ‘parallel’, that is, identical in structure but prove facts about proper maps on one side of the pair and (...) about open maps on the other. The pairs of results are: pullback stability of proper/open maps, regularity of the category of compact Hausdorff/discrete locales, and theorems on information systems. Some remarks are included on a possible formalization of this parallel as a duality. (shrink)

In a previous paper we constructed a full and faithful functor ℳ from the category of locally compact metric spaces to the category of formal topologies . Here we show that for a real-valued continuous function f, ℳ factors through the localic positive reals if, and only if, f has a uniform positive lower bound on each ball in the locally compact space. We work within the framework of Bishop constructive mathematics, where the latter notion is (...) strictly stronger than point-wise positivity. (shrink)

Rosłanowski and Shelah [Small-large subgroups of the reals, Math. Slov. 68(3) (2018) 473–484] asked whether every locally compact non-discrete group has a null but non-meager subgroup, and conversely, whether it is consistent with [Formula: see text] that in every locally compact group a meager subgroup is always null. They gave affirmative answers for both questions in the case of the Cantor group and the reals. In this paper, we give affirmative answers for the general case.

Rosłanowski and Shelah [Small-large subgroups of the reals, Math. Slov. 68 473–484] asked whether every locally compact non-discrete group has a null but non-meager subgroup, and converse...

We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the equivalence relation of isomorphism is potentially $\mathbf {\Sigma }^0_2$, then it is essentially countable. We also provide an equivalent model-theoretic condition that is easy to check in practice. This theorem is a common generalization of a result of Hjorth about pseudo-connected metric spaces and a result of Hjorth–Kechris about discrete (...) structures. As a different application, we also give a new proof of Kechris’s theorem that orbit equivalence relations of actions of Polish locally compact groups are essentially countable. (shrink)

If X is a locally compact Polish space, then LSC denotes the compact Polish space of lower semi-continuous real-valued functions on X equipped with the topology of epi-convergence.Our purpose in this article is to prove the following: if –∞ < α < β < ∞ and –∞ < a < b < ∞, while r ∈ ℕ \ {0}, then the set CV of all f ∈ LSC for which there is u ∈ Cr such that for (...) any v ∈ Cr we have that ∫αβf , v ′)dx ≥ ∫αβf , v )dx is not Borel. (shrink)