This paper is a sequel to Tzouvaras :571–601, 2010), where a local version of ZFC, LZFC, was introduced and examined and transitive models of ZFC with properties that resemble large cardinal properties, namely Mahlo and Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi_1^1}$$\end{document}-indescribable models, were considered. By analogy we refer to such models as “large models”, and the properties in question as “large model properties”. Continuing here in the same spirit we consider further large model properties, that (...) resemble stronger large cardinals, namely, “elementarily embeddable”, “extendible” and “strongly extendible”, “critical” and “strongly critical”, “self-critical” and “strongly self-critical”, the definitions of which involve elementary embeddings. Each large model property ϕ gives rise to a localization axiom Locϕ saying that every set belongs to a transitive model of ZFC satisfying ϕ. The theories LZFCϕ = LZFC + Locϕ are local analogues of the theories ZFC+“there is a proper class of large cardinals ψ”, where ψ is a large cardinal property. If sext is the property of strong extendibility, it is shown that LZFCsext proves Powerset and Σ1-Collection. In order to refute V = L over LZFC, we combine the existence of strongly critical models with an axiom of different flavor, the Tall Model Axiom. V = L can also be refuted by TMA plus the axiom GC saying that “there is a greatest cardinal”, although it is not known if TMA + GC is consistent over LZFC. Finally Vopěnka’s Principle and its impact on LZFC are examined. It is shown that LZFCsext + V P proves Powerset and Replacement, i.e., ZFC is fully recovered. The same is true for some weaker variants of LZFCsext. Moreover the theories LZFCsext+V P and ZFC+V P are shown to be identical. (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)

We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by Loc(ZFC), says that every set belongs to a transitive model of ZFC. LZFC consists of Loc(ZFC) plus some elementary axioms forming Basic Set Theory (BST). Some theoretical reasons for this shift of view are given. All ${\Pi_2}$ consequences of ZFC are provable in LZFC. LZFC strongly extends Kripke-Platek (KP) set theory minus Δ0-Collection and minus ${\in}$ -induction scheme. ZFC+ “there is an (...) inaccessible cardinal” proves the consistency of LZFC. In LZFC we focus on models rather than cardinals, a transitive model being considered as the analogue of an inaccessible cardinal. Pushing this analogy further we define α-Mahlo models and ${\Pi_1^1}$ -indescribable models, the latter being the analogues of weakly compact cardinals. Also localization axioms of the form ${Loc({\rm ZFC}+\phi)}$ are considered and their global consequences are examined. Finally we introduce the concept of standard compact cardinal (in ZFC) and some standard compactness results are proved. (shrink)

It is proved that in a suitable intuitionistic, locally classical, version of the theory ZFC deprived of the axiom of infinity, the requirement that every set be finite is equivalent to the assertion that every ordinal is a natural number. Moreover, the theory obtained with the addition of these finiteness assumptions is equivalent to a theory of hereditarily finite sets, developed by Previale in "Induction and foundation in the theory of hereditarily finite sets." This solves some problems stated there. The (...) analysis is undertaken using for each of these results a limited fragment of the relevant theory. (shrink)

The study of continuous group actions is ubiquitous in mathematics, and perhaps the most general kinds of actions for which we can hope to prove theorems in just ZFC are those where a Polish group acts on a Polish space.For this general class we can find works such as [29] that build on ideas from ergodic theory and examine actions of locally compact groups in both the measure theoretic and topological contexts. On the other hand a text in model theory, (...) such as [12], will typically consider issues bearing on the actions by the symmetric group of all permutations of the integers. More generally [1] shows that the orbit equivalence relations induced by closed subgroups of the infinite symmetric group can be reduced to the isomorphism relation on corresponding classes of countable models.This paper considers a third category formed by the continuous actions of separable Banach spaces on Polish spaces. These examples cannot be subsumed under the two earlier headings, and it is known from [10] that theBorel cardinalitiesof the quotient spaces that arise from such actions are incomparable with the equivalence relations induced by the symmetric group or any locally compact Polish group action.One of the first things to be addressed concerns the complexity of these equivalence relations. This question forappears in [1]. (shrink)

A system of finite mathematics is proposed that has all of the power of classical mathematics. I believe that finite mathematics is not committed to any form of infinity, actual or potential, either within its theories or in the metalanguage employed to specify them. I show in detail that its commitments to the infinite are no stronger than those of primitive recursive arithmetic. The finite mathematics of sets is comprehensible and usable on its own terms, without appeal to any form (...) of the infinite. That makes it possible to, without circularity, obtain the axioms of full Zermelo-Fraenkel Set Theory with the Axiom of Choice (ZFC) by extrapolating (in a precisely defined technical sense) from natural principles concerning finite sets, including indefinitely large ones. The existence of such a method of extrapolation makes it possible to give a comparatively direct account of how we obtain knowledge of the mathematical infinite. The starting point for finite mathematics is Mycielski's work on locally finite theories. (shrink)

l investigate versions of the Maximality Principles for the classes of forcings which are <κ-closed. <κ-directed-closed, or of the form Col (κ. <Λ). These principles come in many variants, depending on the parameters which are allowed. I shall write MPΓ(A) for the maximality principle for forcings in Γ, with parameters from A. The main results of this paper are: • The principles have many consequences, such as <κ-closed-generic $\Sigma _{2}^{1}(H_{\kappa})$ absoluteness, and imply. e.g., that ◇κ holds. I give an application (...) to the automorphism tower problem, showing that there are Souslin trees which are able to realize any equivalence relation, and hence that there are groups whose automorphism tower is highly sensitive to forcing. • The principles can be separated into a hierarchy which is strict, for many κ. • Some of the principles can be combined, in the sense that they can hold at many different κ simultaneously. The possibilities of combining the principles are limited, though: While it is consistent that MP<κ-closed(HκT) holds at all regular κ below any fixed α. the "global" maximality principle, stating that MP<κ-closed(Hκ ∪ {κ}) holds at every regular κ. is inconsistent. In contrast to this, it is equiconsistent with ZFC that the maximality principle for directed-closed forcings without any parameters holds at every regular cardinal. It is also consistent that every local statement with parameters from HκT that's provably <κ-closed-forceably necessary is true, for all regular κ. (shrink)

We consider maximal almost disjoint families of block subspaces of countable vector spaces, focusing on questions of their size and definability. We prove that the minimum infinite cardinality of such a family cannot be decided in ZFC and that the “spectrum” of cardinalities of mad families of subspaces can be made arbitrarily large, in analogy to results for mad families on ω. We apply the author’s local Ramsey theory for vector spaces [32] to give partial results concerning their definability.

Algebraic Set Theory, a reconsideration of Zermelo-Fraenkel set theory in category-theoretic terms, has been built up in the mid-nineties by André Joyal and Ieke Moerdijk. Since then, it has developed into a whole research program. This paper gets back to the original formulation by Joyal and Moerdijk, and more specifically to its first three axioms. It explains in detail that these axioms set up a framework directly linked to descent theory, a theory having to do with the shift from (...) class='Hi'>local data to a global item in modern algebraic geometry. Fibered categories, introduced by Grothendieck, provide a powerful framework for descent theory: They formalize in a very general way the consideration of local data of different kinds over the objects of some base category. The paper shows that fibered categories fit Joyal and Moerdijk’s axiomatization in a natural way, since the latter actually aims to secure a descent condition. As a result, Algebraic Set Theory is shown to accomplish, not only an original and fruitful combination of set theory with category theory, but the genuine graft of a deeply geometric idea onto the usual setting of zfc. (shrink)

Martin’s conjecture is an attempt to classify the behavior of all definable functions on the Turing degrees under strong set theoretic hypotheses. Very roughly it says that every such function is either eventually constant, eventually equal to the identity function or eventually equal to a transfinite iterate of the Turing jump. It is typically divided into two parts: the first part states that every function is either eventually constant or eventually above the identity function and the second part states that (...) every function which is above the identity is eventually equal to a transfinite iterate of the jump. If true, it would provide an explanation for the unique role of the Turing jump in computability theory and rule out many types of constructions on the Turing degrees.In this thesis, we will introduce a few tools which we use to prove several cases of Martin’s conjecture. It turns out that both these tools and these results on Martin’s conjecture have some interesting consequences both for Martin’s conjecture and for a few related topics.The main tool that we introduce is a basis theorem for perfect sets, improving a theorem due to Groszek and Slaman. We also introduce a general framework for proving certain special cases of Martin’s conjecture which unifies a few pre-existing proofs. We will use these tools to prove three main results about Martin’s conjecture: that it holds for regressive functions on the hyperarithmetic degrees, that part 1 holds for order preserving functions on the Turing degrees, and that part 1 holds for a class of functions that we introduce, called measure preserving functions.This last result has several interesting consequences for the study of Martin’s conjecture. In particular, it shows that part 1 of Martin’s conjecture is equivalent to a statement about the Rudin-Keisler order on ultrafilters on the Turing degrees. This suggests several possible strategies for working on part 1 of Martin’s conjecture, which we will discuss.The basis theorem that we use to prove these results also has some applications outside of Martin’s conjecture. We will use it to prove a few theorems related to Sacks’ question about whether it is provable in $\mathsf {ZFC}$ that every locally countable partial order of size continuum embeds into the Turing degrees. We will show that in a certain extension of $\mathsf {ZF}$, this holds for all partial orders of height two, but not for all partial orders of height three. Our proof also yields an analogous result for Borel partial orders and Borel embeddings in $\mathsf {ZF}$, which shows that the Borel version of Sacks’ question has a negative answer.We will end the thesis with a list of open questions related to Martin’s conjecture, which we hope will stimulate further research.prepared by Patrick Lutz.E-mail: [email protected]. (shrink)

In this article we characterize all those sequences of cardinals of length ω1 which are cardinal sequences of some compact scattered space . This extends the similar results from [R. La Grange, Concerning the cardinal sequence of a Boolean algebra, Algebra Universalis, 7 307–313] for such sequences of countable length. For ordinals between ω1 and ω2 we can only give a sufficient condition for a sequence of that length to be a cardinal sequence of a compact scattered space. This condition (...) is, arguably, the most one can expect in ZFC. In any case, ours is a significant extension of the sufficient conditions given in [J.C. Martinez, A consistency result on thin-tall superatomic Boolean algebras, Proc. Amer. Math. Soc. 115 473–477] and [J. Bagaria, Locally generic Boolean algebras and cardinal sequences, Algebra Universalis 47 283–302]. (shrink)

We show that it is relatively consistent with ZFC to have PCF structures of heightδ, for all ordinalsδ<ω3.

The “local food” movement has been growing since at least the mid- twentieth century with the founding of the Rodale Institute. Since then, local food has increasingly become a goal of food systems. Today, books and articles on local food have become commonplace, with popular authors such as Barbara Kingsolver1 and Michael Pollan2 espousing the virtues of eating locally. Additionally, local food initiatives, such as the “farm- tofork,” “Buying Local,” and “Slow Food” have gained a (...) strong international following with clearly visible impacts on the food industry and policy. The numbers of local farmers’ markets, community- supported agriculture projects, and community gardens have been on the rise steadily since 1994. (shrink)

The graph edit distance (GED) measures the dissimilarity between two graphs as the minimal cost of a sequence of elementary operations transforming one graph into another. This measure is fundamental in many areas such as structural pattern recognition or classification. However, exactly computing GED is NP-hard. Among different classes of heuristic algorithms that were proposed to compute approximate solutions, local search based algorithms provide the tightest upper bounds for GED. In this paper, we present K-REFINE and RANDPOST. K-REFINE generalizes (...) and improves an existing local search algorithm and performs particularly well on small graphs. RANDPOST is a general warm start framework that stochastically generates promising initial solutions to be used by any local search based GED algorithm. It is particularly efficient on large graphs. An extensive empirical evaluation demonstrates that both K-REFINE and RANDPOST perform excellently in practice. (shrink)

Much is being made of local food. It is at once a social movement, a diet, and an economic strategy—a popular solution—to a global food system in great distress. Yet, despite its popularity or perhaps because of it, local food (especially in the US) is also something of a chimera if not a tool of the status quo. This paper reflects on and contrasts aspects of current local food rhetoric with Dalhberg’s notion of a regenerative food system. (...) It identifies three problematic emphases—the locavore emphasis, the Wal-Mart emphasis, and the Pollan emphasis—and argues that they are shifting local food (as a concept and a social movement) away from the deeper concerns of equity, citizenship, place-building, and sustainability. It is suggested that local food activists and advocates might consider the use of multiple methodologies and forms of expression to explore the integration and reintegration of local food into diverse and redundant place-based practice. A short case study of a low-income, urban neighborhood in Lansing, Michigan, illustrates the value of contextual analysis for more fully enabling the local food movement and a regenerative food system. (shrink)

Motivated by recent results and questions of Raghavan and Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and dominating families on uncountable, regular cardinals. We show that if $\kappa =\lambda ^+$ for some $\lambda \geq \omega $ and $\mathfrak {b}=\kappa ^+$ then $\mathfrak {a}_e=\mathfrak {a}_p=\kappa ^+$. If, additionally, $2^{<\lambda }=\lambda $ then $\mathfrak {a}_g=\kappa ^+$ as well. Furthermore, we prove a variety of new bounds for $\mathfrak {d}$ in terms of (...) $\mathfrak {r}$, including $\mathfrak {d}\leq \mathfrak {r}_\sigma \leq \operatorname {\mathrm {cf}}]^\omega )$, and $\mathfrak {d}\leq \mathfrak {r}$ whenever $\mathfrak {r}<\mathfrak {b}^{+\kappa }$ or $\operatorname {\mathrm {cf}})\leq \kappa $ holds. (shrink)

Sustainable development is the global agenda designed to ensure that the world’s climate is not irretrievably damaged and future generations have equal access to the world’s resources for their own development. The institutionalisation of measures to promote sustainable development has however not had unanimous cooperation. This study therefore investigated the attitude of officials at the local government level to topical issues in the sustainable development agenda in Ondo State, Nigeria, as a pointer to entrenched attitudes in the Third World. (...) Prioritisation of issues varied between localities but premium was placed on poverty alleviation more than on climate change or power generation. People were more concerned with the improvement of their general well-being including health. Respondents indicated that most of the topical issues on the sustainable development agenda could be addressed at the local level thereby lending support for the notion that local action can contribute to global action. However, inclusive measures to promote positive action need to be institutionalised. (shrink)

One of the central topics in semantic theory over the last few decades concerns the nature of local contexts. Recently, theorists have tried to develop general, non-stipulative accounts of local contexts (Schlenker, 2009; Ingason, 2016; Mandelkern & Romoli, 2017a). In this paper, we contribute to this literature by drawing attention to the local contexts of subclausal expressions. More specifically, we focus on the local contexts of quantificational determiners, e.g. `all', `both', etc. Our central tool for probing (...) the local contexts of subclausal elements is the principle Maximize Presupposition! (Percus, 2006; Singh, 2011). The empirical basis of our investigation concerns some data discussed by Anvari (2018b), e.g. the fact that sentences such as `All of the two presidential candidates are crooked' are unacceptable. In order to explain this, we suggest that the local context of determiners needs to contain the information carried by their restrictor. However, no existing non-stipulative account predicts this. Consequently, we think that the local contexts of subclausal expressions will likely have to be stipulated. This result has important consequences for debates in semantics and pragmatics, e.g. those around the so-called "explanatory problem" for dynamic semantics (Soames, 1982; Heim, 1990; Schlenker, 2009). (shrink)

David Lewis defends the thesis of the asymmetry of overdetermination: later affairs are seldom overdetermined by earlier affairs, but earlier affairs are usually overdetermined by later affairs. Recently, Carol Cleland has argued that since the distinctive methodologies of historical science and experimental science exploit different aspects of this asymmetry, the methodology of historical science is just as good, epistemically speaking, as that of experimental science. This paper shows, first, that Cleland's epistemological conclusion does not follow from the thesis of the (...) asymmetry of overdetermination, because overdetermination is compatible with epistemic underdetermination. The paper also shows, contra Cleland, that there is at least one interesting sense in which historical science is epistemically inferior to experimental science, after all, because local underdetermination problems are more widespread in historical than in experimental science. (shrink)

A local, deterministic, and realistic model within a Friedmann-Robertson-Walker spacetime with constant spatial curvature is presented which describes simultaneous measurements of the spins of two fermions emerging in a singlet state from the decay of a spinless boson. Exact agreement with the probabilistic predictions of quantum theory is achieved in the model without data rejection, remote contextuality, superdeterminism, or backward causation. An event-by-event numerical simulation of the model is presented, which confirms our analytical results with the accuracy of 4 (...) in 10,000 parts. (shrink)

Abstract“Scaling-up” is the next hurdle facing the local food movement. In order to effect broader systemic impacts, local food systems (LFS) will have to grow, and engage either more or larger consumers and producers. Encouraging the involvement of mid-sized farms looks to be an elegant solution, by broadening the accessibility of local food while providing alternative revenue streams for troubled family farms. Logistical, structural and regulatory barriers to increased scale in LFS are well known. Less is understood (...) about the way in which scale developments affect the perception and legitimacy of LFS. This value-added opportunity begs the question: Is the value that adheres to local food scalable? Many familiar with local food discourse might suggest that important pieces of added value within LFS are generated by the reconnection of producer and consumer, the direct exchange through which this occurs, and the shared goals and values that provide the basis for reconnection. However, these assertions are based on tenuous assumptions about how interactions within the direct exchange produce value, and how LFS are governed. Examination shows that existing assumptions do not properly acknowledge the hybridity, diversity, and flexibility inherent in LFS. A clear analysis of the potential of scale in LFS will depend on understanding both how value is determined within LFS, and the processes through which these systems are governed. Such an analysis shows that, while scaled-up LFS will be challenged to maintain legitimacy and an identity as “alternative”, the establishment of an open governance process—based on a “negotiation of accommodations”—is likely to enhance their viability. (shrink)

"Local History/Global Designs" is one of the most important books in the historical humanities to have emerged since the end of the Cold War University. This is vintage Mignolo: packed with insights, breadth, and intellectual zeal.

We present a minimum message length (MML) framework for trajectory partitioning by point selection, and use it to automatically select the tolerance parameter ε for Douglas-Peucker partitioning, adapting to local trajectory complexity. By examining a range of ε for synthetic and real trajectories, it is easy to see that the best ε does vary by trajectory, and that the MML encoding makes sensible choices and is robust against Gaussian noise. We use it to explore the identification of micro-activities within (...) a longer trajectory. This MML metric is comparable to the TRACLUS metric – and shares the constraint of abstracting only by omission of points – but is a true lossless encoding. Such encoding has several theoretical advantages – particularly with very small segments (high frame rates) – but actual performance interacts strongly with the search algorithm. Both differ from unconstrained piecewise linear approximations, including other MML formulations. (shrink)

It is argued that while quantum mechanics contains nonlocal or entangled states, the instantaneous or nonlocal influences sometimes thought to be present due to violations of Bell inequalities in fact arise from mistaken attempts to apply classical concepts and introduce probabilities in a manner inconsistent with the Hilbert space structure of standard quantum mechanics. Instead, Einstein locality is a valid quantum principle: objective properties of individual quantum systems do not change when something is done to another noninteracting system. There is (...) no reason to suspect any conflict between quantum theory and special relativity. (shrink)

Eating local food has become a mainstream proxy for virtue and a reliable model of sustainable dieting. It suffers, nonetheless, from genuine criticisms and limitations. In this paper, we suggest theoretical amendments to reorient the local food movement and turn eating local into a robust concept—comprehensive, coherent, and inclusive, affording a firm grip over structural aspects of the food chain. We develop our argument in three parts. The first contends that ‘local’ can be said of lots (...) of entities (e.g. whole or multi-ingredient foods, recipes, menus) and that its meaning varies depending on which entities are under consideration. The second examines three dimensions of being local: the distance from the place of production; the geographical origins; the social links to consumers and producers. The third presents our robust conception of eating local, grounded on a more realistic model that accommodates for heterogeneous and complex actors. (shrink)

A conventional wisdom about the progress of physics holds that successive theories wholly encompass the domains of their predecessors through a process that is often called reduction. While certain influential accounts of inter-theory reduction in physics take reduction to require a single "global" derivation of one theory's laws from those of another, I show that global reductions are not available in all cases where the conventional wisdom requires reduction to hold. However, I argue that a weaker "local" form of (...) reduction, which defines reduction between theories in terms of a more fundamental notion of reduction between models of a single fixed system, is available in such cases and moreover suffices to uphold the conventional wisdom. To illustrate the sort of fixed-system, inter-model reduction that grounds inter-theoretic reduction on this picture, I specialize to a particular class of cases in which both models are dynamical systems. I show that reduction in these cases is underwritten by a mathematical relationship that follows the broad prescriptions of Nagel/Schaffner reduction, and support this claim with several examples. Moreover, I show that this broadly Nagelian analysis of inter-model reduction encompasses several cases that are sometimes cited as instances of the "physicist's" limit-based notion of reduction. (shrink)

This paper explores two non-standard supermajority rules in the context of judgment aggregation over multiple logically connected issues. These rules set the supermajority threshold in a local, context sensitive way—partly as a function of the input profile of opinions. To motivate the interest of these rules, I prove two results. First, I characterize each rule in terms of a condition I call ‘Block Preservation’. Block preservation says that if a majority of group members accept a judgment set, then so (...) should the group. Second, I show that one of these rules is, in a precise sense, a judgment aggregation analogue of a rule for connecting qualitative and quantitative belief that has been recently defended by Hannes Leitgeb. The structural analogy is due to the fact that Leitgeb sets thresholds for qualitative beliefs in a local, context sensitive way—partly as a function of the given credence function. (shrink)

The notion of local deduction theorem (which generalizes on the known instances of indeterminate deduction theorems, e.g. for the infinitely-valued ukasiewicz logic C ) is defined. It is then shown that a given finitary non-pathological logic C admits the local deduction theorem iff the class Matr(C) of all matrices validating C has the C-filter extension property (Theorem II.1).

Kuhn regards local incommensurability as an unavoidable result of changes in worldview, but his account fails to explain both historical cases in which rivals with different paradigms obtained consensus, and psychological experiments in which people with different cultural backgrounds accurately presented other points of view. Although the conditions required to generate local incommensurability were present in the dispute between Brewster and Herschel on light absorption, they succeeded in communicating. Ultimately Brewster understood his opponent's position, in the same way (...) that subjects in Barsalou's recent psychological experiments proved able to comprehend alien conceptual structures. Building upon recent cognitive theories of graded conceptual structures, I offer a new account of incommensurability, which accommodates these historical cases and psychological results. By correcting and extending Kuhn's account I show that local incommensurability may be a matter of degree. (shrink)

It is a classic result in lattice theory that a poset is a complete lattice iff it can be realized as fixpoints of a closure operator on a powerset. Dragalin [9,10] observed that a poset is a locale (complete Heyting algebra) iff it can be realized as fixpoints of a nucleus on the locale of upsets of a poset. He also showed how to generate a nucleus on upsets by adding a structure of “paths” to a poset, forming what we (...) call a Dragalin frame. This allowed Dragalin to introduce a semantics for intuitionistic logic that generalizes Beth and Kripke semantics. He proved that every spatial locale (locale of open sets of a topological space) can be realized as fixpoints of the nucleus generated by a Dragalin frame. In this paper, we strengthen Dragalin’s result and prove that every locale—not only spatial locales—can be realized as fixpoints of the nucleus generated by a Dragalin frame. In fact, we prove the stronger result that for every nucleus on the upsets of a poset, there is a Dragalin frame based on that poset that generates the given nucleus. We then compare Dragalin’s approach to generating nuclei with the relational approach of Fairtlough and Mendler [11], based on what we call FM-frames. Surprisingly, every Dragalin frame can be turned into an equivalent FM-frame, albeit on a different poset. Thus, every locale can be realized as fixpoints of the nucleus generated by an FM-frame. Finally, we consider the relational approach of Goldblatt [13] and characterize the locales that can be realized using Goldblatt frames. (shrink)

This book evaluates strategies for managing ethical conflict. Macro-approaches that attribute select values to entire peoples and claim supremacy for these values are suspect. A micro-approach, focusing on the ethics of individual thinkers, is better. The study uses the ethics of Confucius and Tetsuro Watsuji to derive a process-based universal ethic that respects local differences yet is not relativistic.

A norm of local expert deference says that your credence in an arbitrary proposition A, given that the expert's probability for A is n, should be n. A norm of global expert deference says that your credence in A, given that the expert's entire probability function is E, should be E(A). Gaifman (1988) taught us that these two norms are not equivalent. Stalnaker (2019) conjectures that Gaifman's example is "a loophole". Here, I substantiate Stalnaker's suspicions by providing characterisation theorems (...) which tell us precisely when the norms give different advice. They tell us that, in a good sense, Gaifman's example is the only case where the two norms differ. I suggest that the lesson of the theorems is that Bayesian epistemologists need not concern themselves with the differences between these two kinds of norms. While they are not strictly speaking equivalent, they are equivalent for all philosophical purposes. (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)

If $\mathcal{A}$ (V) is a net of local von Neumann algebras satisfying standard axioms of algebraic relativistic quantum field theory and V 1 and V 2 are spacelike separated spacetime regions, then the system ( $\mathcal{A}$ (V 1 ), $\mathcal{A}$ (V 2 ), φ) is said to satisfy the Weak Reichenbach's Common Cause Principle iff for every pair of projections A∈ $\mathcal{A}$ (V 1 ), B∈ $\mathcal{A}$ (V 2 ) correlated in the normal state φ there exists a projection (...) C belonging to a von Neumann algebra associated with a spacetime region V contained in the union of the backward light cones of V 1 and V 2 and disjoint from both V 1 and V 2 , a projection having the properties of a Reichenbachian common cause of the correlation between A and B. It is shown that if the net has the local primitive causality property then every local system ( $\mathcal{A}$ (V 1 ), $\mathcal{A}$ (V 2 ), φ) with a locally normal and locally faithful state φ and suitable bounded V 1 and V 2 satisfies the Weak Reichenbach's Common Cause Principle. (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)