I argue that the subset theory of property realization cannot account for both the multiple realizability and causal efficacy of mental properties. It avoids the threat of causal exclusion by identifying every power of a realized property with some power of its realizer, but this entails that the different realizers of a multiply realizable property share their causal powers, and this just isn't so. A counterexample is produced as evidence. Thus, in its original form, the theory fails (...) to account for the multiple realizability of mental properties. The theory can be amended to account for multiple realizability, but these amendments undermine its account of mental causation and thereby reintroduce the problem of causal exclusion. The subset theory is thus caught between the horns of a familiar dilemma for physicalist theories of mind. (shrink)

Hamkins and Kikuchi (2016, 2017) show that in both set theory and class theory the definable subset ordering of the universe interprets a complete and decidable theory. This paper identifies the minimum subsystem of,, that ensures that the definable subset ordering of the universe interprets a complete theory, and classifies the structures that can be realised as the subset relation in a model of this set theory. Extending and refining Hamkins and Kikuchi's (...) result for class theory, a complete extension,, of the theory of infinite atomic boolean algebras and a minimum subsystem,, of are identified with the property that if is a model of, then is a model of, where M is the underlying set of, is the unary predicate that distinguishes sets from classes and is the definable subset relation. These results are used to show that that decides every 2‐stratified sentence of set theory and decides every 2‐stratified sentence of class theory. (shrink)

The notion that human associative learning is a usually conscious, higher-order process is one of the tenets of organization theory, developed over the past century. Propositional/sequential encoding is one of the possible types of organizational structures, but learning may also involve other structures.

According to a prominent line of thought, we can be physicalists, but not reductive physicalists, by holding that mental and other ‘higher-level’ or ‘nonbasic’ properties — properties that are not obviously physical properties — are all physically realized. Spelling this out requires an account of realization, an account of what it is for one property to realize another. And while several accounts of realization have been advanced in recent years,1 my interest here is in the ‘subset view,’ which has (...) often been invoked explicitly in defense of nonreductive physicalist positions.2 The subset view holds that property realization consists in the powers of one property having as a subset the powers of another; .. (shrink)

This paper discusses two combinatorial problems in stability theory. First we prove a partition result for subsets of stable models: for any A and B, we can partition A into |B|$^{ |B|, then we try to find A' $\subset$ A and B' $\subset$ B such that |A'| is as large as possible, |B'| is as small as possible, and A' $\&2ADD;$ $\underset{B'}$ B. We prove some positive results in this direction, and we discuss the optimality of these (...) results under ZFC + GCH. (shrink)

We characterize the (κ, Λ, < μ)-distributive law in Boolean algebras in terms of cut and choose games $\scr{G}_{<\mu}^{\kappa}(\lambda)$ , when μ ≤ κ ≤ Λ and κ<κ = κ. This builds on previous work to yield game-theoretic characterizations of distributive laws for almost all triples of cardinals κ, Λ, μ with μ ≤ Λ, under GCH. In the case when μ ≤ κ ≤ Λ and κ<κ = κ, we show that it is necessary to consider whether the κ-stationarity (...) of Pκ+Λ in the ground model is preserved by B. In this vein, we develop the theory of κ-club and κ-stationary subsets of Pκ+Λ. We also construct Boolean algebras in which Player I wins $\scr{G}_{\kappa}^{\kappa}(\kappa ^{+})$ but the (κ, ∞, κ)-d.1, holds, and, assuming GCH, construct Boolean algebras in which many games are undetermined. (shrink)

This paper discusses two combinatorial problems in stability theory. First we prove a partition result for subsets of stable models: for any A and B, we can partition A into |B |<κ(T ) pieces, Ai | i < |B |<κ(T ) , such that for each Ai there is a Bi ⊆ B where |Bi| < κ(T ) and Ai..

We study descriptive set theory in the space ω1 ω 1 by letting trees with no uncountable branches play a similar role as countable ordinals in traditional descriptive set theory. By using such trees, we get, for example, a covering property for the class of Π 1 1 -sets of ω1 ω 1 . We call a family U of trees universal for a class V of trees if $\mathscr{U} \subseteq \mathscr{V}$ and every tree in V can be (...) order-preservingly mapped into a tree in U. It is well known that the class of countable trees with no infinite branches has a universal family of size ℵ 1 . We shall study the smallest cardinality of a universal family for the class of trees of cardinality ≤ℵ 1 with no uncountable branches. We prove that this cardinality can be 1 (under ¬CH) and any regular cardinal κ which satisfies ℵ 2 ≤ κ ≤ 2 ℵ 1 (under CH). This bears immediately on the covering property of the Π 1 1 -subsets of the space ω1 ω 1 . We also study the possible cardinalities of definable subsets of ω1 ω 1 . We show that the statement that every definable subset of ω1 ω 1 has cardinality $ or cardinality 2 ω1 is equiconsistent with ZFC (if n ≥ 3) and with ZFC plus an inaccessible (if n = 2). Finally, we define an analogue of the notion of a Borel set for the space ω1 ω 1 and prove a Souslin-Kleene type theorem for this notion. (shrink)

The interplay between ultrafilters and unbounded subsets of \ with the order \ of strict eventual domination is studied. Among the tools are special kinds of non-principal ultrafilters on \. These include simple P-points; that is, ultrafilters with a base that is well-ordered with respect to the reverse of the order \ of almost inclusion. It is shown that the cofinality of such a base must be either \, the least cardinality of \-unbounded set, or \, the least cardinality of (...) a \-cofinal set. The small uncountable cardinal \ is introduced. Consequences of \ and of \ are explored; in particular, both imply \. Here \ is the reaping number, and is also the least cardinality of a \-base for a free ultrafilter. Both of these inequalities are shown to occur if there exist simple P-points of different cofinalities and there exist simple \-points and \-points), but this is a long-standing open problem. Six axioms on nonprincipal ultrafilters on \ and the relationships between them are discussed along with various models of set theory in which one or more are known to hold. The strongest of these, Axiom 1, is that for every free ultrafilter \ and for every \-unbounded \-chain C of increasing functions in \, C is also unbounded in the ultraproduct \. The other axioms replace one or both quantifiers with “there exists.” The negation of Axiom 3 in a model provides a family of normal sequentially compact spaces whose product is not countably compact. The question of whether such a family exists in ZFC, even with “normal” weakened to “regular”, is a famous unsolved problem of set-theoretic topology, known as the Scarborough–Stone problem. (shrink)

Let J be any proper ideal of subsets of the real line R which contains all finite subsets of R. We define an ideal J * ∣B as follows: X ∈ J * ∣B if there exists a Borel set $B \subset R \times R$ such that $X \subset B$ and for any x ∈ R we have $\{y \in R: \langle x,y\rangle \in B\} \in \mathscr{J}$ . We show that there exists a family $\mathscr{A} \subset \mathscr{J}^\ast\mid\mathscr{B}$ (...) of power ω 1 such that $\bigcup\mathscr{A} \not\in \mathscr{J}^\ast\mid\mathscr{B}$ . In the last section we investigate properties of ideals of Lebesgue measure zero sets and meager sets in Cohen extensions of models of set theory. (shrink)

We study the structural rainbow Ramsey theory at uncountable cardinals. Compared to the usual rainbow Ramsey theory, the variation focuses on finding a rainbow subset that not only is of a certain cardinality but also satisfies certain structural constraints, such as being stationary or closed in its supremum. In the process of dealing with cardinals greater than ω1, we uncover some connections between versions of Chang's Conjectures and instances of rainbow Ramsey partition relations, addressing a question raised (...) in [18]. (shrink)

Erdős proved that for every infinite \ there is \ with \, such that all pairs of points from Y have distinct distances, and he gave partial results for general a-ary volume. In this paper, we search for the strongest possible canonization results for a-ary volume, making use of general model-theoretic machinery. The main difficulty is for singular cardinals; to handle this case we prove the following. Suppose T is a stable theory, \ is a finite set of formulas (...) of T, \, and X is an infinite subset of M. Then there is \ with \ and an equivalence relation E on Y with infinitely many classes, each class infinite, such that Y is \\)-indiscernible. We also consider the definable version of these problems, for example we assume \ is perfect and we find some perfect \ with all distances distinct. Finally we show that Erdős’s theorem requires some use of the axiom of choice. (shrink)

Elimination of imaginaries for 1-variable definable equivalence relations is proved for a theory of algebraically closed valued fields with new sorts for the disc spaces. The proof is constructive, and is based upon a new framework for proving elimination of imaginaries, in terms of prototypes which form a canonical family of formulas for defining each set that is definable with parameters. The proof also depends upon the formal development of the tree-like structure of valued fields, in terms of valued (...) trees, and a decomposition of valued trees which is used in the coding of certain sets of discs. (shrink)

The deductive relationships between six statements are examined in set theory without the axiom of choice. Each of these statements follows from the axiom of choice and involves linear orderings in some way.

A Steiner triple system (STS) is a set S together with a collection B of subsets of S of size 3 such that any two elements of S belong to exactly one element of B. It is well known that the class of finite STS has a Fraïssé limit M_F. Here, we show that the theory T of M_F is the model completion of the theory of STSs. We also prove that T is not small and it has (...) quantifier elimination, TP2, NSOP1, elimination of hyperimaginaries and weak elimination of imaginaries. (shrink)

Given a weakly o-minimal structure${\cal M}$and its o-minimal completion$\bar{{\cal M}}$, we first associate to$\bar{{\cal M}}$a canonical language and then prove thatTh$\left$determines$Th\left$. We then investigate the theory of the pair$\left$in the spirit of the theory of dense pairs of o-minimal structures, and prove, among other results, that it is near model complete, and every definable open subset of${\bar{M}^n}$is already definable in$\bar{{\cal M}}$.We give an example of a weakly o-minimal structure interpreting$\bar{{\cal M}}$and show that it is not elementarily equivalent (...) to any reduct of an o-minimal trace. (shrink)

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or (...) alternatively, of one of its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

We work in set-theory without choice ZF. A set is Countable if it is finite or equipotent with ${\Bbb N}$ . Given a closed subset F of [0, 1] I which is a bounded subset of $\ell ^{1}(I)$ (resp. such that $F\subseteq c_{0}(I)$ ), we show that the countable axiom of choice for finite sets, (resp. the countable axiom of choice AC N ) implies that F is compact. This enhances previous results where AC N (resp. the (...) axiom of Dependent Choices) was required. If I is linearly orderable (for example $I={\Bbb R}$ ), then, in ZF, the closed unit ball of the Hilbert space $\ell ^{2}(I)$ is (Loeb-)compact in the weak topology. However, the weak compactness of the closed unit ball of $\ell ^{2}(\scr{P}({\Bbb R}))$ is not provable in ZF. (shrink)

If X is set and L a lattice, then an L-subset or fuzzy subset of X is any map from X to L, [11]. In this paper we extend some notions of recursivity theory to fuzzy set theory, in particular we define and examine the concept of almost decidability for L-subsets. Moreover, we examine the relationship between imprecision and decidability. Namely, we prove that there exist infinitely indeterminate L-subsets with no more precise decidable versions and classical (...) subsets whose unique shaded decidable versions are the L-subsets almost-everywhere indeterminate. (shrink)

We study descriptive set theory in the space $^{\omega_1}\omega_1$ by letting trees with no uncountable branches play a similar role as countable ordinals in traditional descriptive set theory. By using such trees, we get, for example, a covering property for the class of $\Pi^1_1$-sets of $^{\omega_1}\omega_1$. We call a family $\mathscr{U}$ of trees universal for a class $\mathscr{V}$ of trees if $\mathscr{U} \subseteq \mathscr{V}$ and every tree in $\mathscr{V}$ can be order-preservingly mapped into a tree in $\mathscr{U}$. It (...) is well known that the class of countable trees with no infinite branches has a universal family of size $\aleph_1$. We shall study the smallest cardinality of a universal family for the class of trees of cardinality $\leq\aleph_1$ with no uncountable branches. We prove that this cardinality can be 1 (under $\neg$CH) and any regular cardinal $\kappa$ which satisfies $\aleph_2 \leq \kappa \leq 2^{\aleph_1}$ (under CH). This bears immediately on the covering property of the $\Pi^1_1$-subsets of the space $^{\omega_1}\omega_1$. We also study the possible cardinalities of definable subsets of $^{\omega_1}\omega_1$. We show that the statement that every definable subset of $^{\omega_1}\omega_1$ has cardinality $<\omega_n$ or cardinality $2^{\omega_1}$ is equiconsistent with ZFC (if $n \geq 3$) and with ZFC plus an inaccessible (if $n = 2$). Finally, we define an analogue of the notion of a Borel set for the space $^{\omega_1}\omega_1$ and prove a Souslin-Kleene type theorem for this notion. (shrink)

In this paper we show that some standard topological constructions may be fruitfully used in the theory of closure spaces (see [5], [4]). These possibilities are exemplified by the classical theorem on the universality of the Alexandroff's cube for T 0-closure spaces. It turns out that the closure space of all filters in the lattice of all subsets forms a generalized Alexandroff's cube that is universal for T 0-closure spaces. By this theorem we obtain the following characterization of the (...) consequence operator of the classical logic: If is a countable set and C: P() P() is a closure operator on X, then C satisfies the compactness theorem iff the closure space ,C is homeomorphically embeddable in the closure space of the consequence operator of the classical logic.We also prove that for every closure space X with a countable base such that the cardinality of X is not greater than 2 there exists a subset X of irrationals and a subset X of the Cantor's set such that X is both a continuous image of X and a continuous image of X. (shrink)

The first-order theory of the lattice of recursively enumerable closed subsets of an effective topological space is proved undecidable using the undecidability of the first-order theory of the lattice of recursively enumerable sets. In particular, the first-order theory of the lattice of recursively enumerable closed subsets of Euclidean n -space, for all n , is undecidable. A more direct proof of the undecidability of the lattice of recursively enumerable closed subsets of Euclidean n -space, n ⩾ 2, (...) is provided using the method of reduction and the recursive inseparability of the set of all formulae satisfiable in every model of the theory of SIBs and the set of all formulae refutable in some finite model of the theory of SIBs. (shrink)

There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tuples. Here we consider three notions: decidability up to measure zero [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382], which we abbreviate d.m.z.; recursive approximability [or r.a.; K.-I. Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991]; and decidability ignoring boundaries [d.i.b.; W.C. Myrvold, The decision problem for entanglement, in: (...) R.S. Cohen et al. (Eds.), Potentiality, Entanglement, and Passion-at-a-Distance: Quantum Mechanical Studies fo Abner Shimony, Vol. 2, Kluwer Academic Publishers, Great Britain, 1997, pp. 177–190]. Unlike some others in the literature, these notions apply not only to certain nice sets, but to general sets in Rn and other appropriate spaces. We consider some motivations for these concepts and the logical relations between them. It has been argued that d.m.z. is especially appropriate for physical applications, and on Rn with the standard measure, it is strictly stronger than r.a. [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382]. Here we show that this is the only implication that holds among our three decidabilities in that setting. Under arbitrary measures, even this implication fails. Yet for intervals of non-zero length, and more generally, convex sets of non-zero measure, the three concepts are equivalent. (shrink)

A highly abstracted theory of measurement is synthesized from classical measurement theory, fuzzy set theory, generalized information theory, and predicate calculus. The theory does not require specific truth value concepts, nor does it specify what subsets of the reals can be observed, thus avoiding the usual fundamental difficulties. Problems such as the definition of systems, the significance of observations, numerical scales and observables, etc. are examined. The general logico-algebraic approach to quantum/classical physics is justified as (...) a special case of measurement theory. (shrink)

In the social science literature, conspiracy theories are commonly characterized as theories positing a vast network of evil and preternaturally effective conspirators, and they are often treated, either explicitly or implicitly, as dubious on this basis. This characterization is based on Richard Hofstadter’s famous account of ‘the paranoid style’. However, many significant conspiracy theories do not have any of the relevant qualities. Thus, the social science literature provides a distorted account of the general category ‘conspiracy theory’, conflating it with (...) a subset of that category that encourages unfairly negative evaluations of conspiracy theories. Generally, when evaluating theories, one should focus on the most plausible versions; the merit of a theory is independent of the existence of less plausible versions of it. By ignoring this and glossing over important distinctions, many academics, especially in the social sciences, have misclassified many conspiracy theories and in doing so have contributed to an epistemically unfair depiction of them. Further, even theories that genuinely fit the description of ‘the paranoid style’ cannot be completely dismissed on that basis. All conspiracy theories ought to be judged on the totality of their individual merits. (shrink)

In finite probability theory, events are subsets S⊆U of the outcome set. Subsets can be represented by 1-dimensional column vectors. By extending the representation of events to two dimensional matrices, we can introduce "superposition events." Probabilities are introduced for classical events, superposition events, and their mixtures by using density matrices. Then probabilities for experiments or `measurements' of all these events can be determined in a manner exactly like in quantum mechanics (QM) using density matrices. Moreover the transformation of the (...) density matrices induced by the experiments or `measurements' is the Lüders mixture operation as in QM. And finally by moving the machinery into the n-dimensional vector space over ℤ₂, different basis sets become different outcome sets. That `non-commutative' extension of finite probability theory yields the pedagogical model of quantum mechanics over ℤ₂ that can model many characteristic non-classical results of QM. (shrink)

According to probabilistic theories of reasoning in psychology, people's degree of belief in an indicative conditional `if A, then B' is given by the conditional probability, P(B|A). The role of language pragmatics is relatively unexplored in the new probabilistic paradigm. We investigated how consequent relevance a ects participants' degrees of belief in conditionals about a randomly chosen card. The set of events referred to by the consequent was either a strict superset or a strict subset of the set of (...) events referred to by the antecedent. We manipulated whether the superset was expressed using a disjunction or a hypernym. We also manipulated the source of the dependency, whether in long-term memory or in the stimulus. For subset-consequent conditionals, patterns of responses were mostly conditional probability followed by conjunction. For superset-consequent conditionals, conditional probability responses were most common for hypernym dependencies and least common for disjunction dependencies, which were replaced with responses indicating inferred consequent irrelevance. Conditional probability responses were also more common for knowledge-based than stimulus-based dependencies. We suggest. (shrink)

Nonreductive physicalism faces serious problems regarding causal exclusion, causal heterogeneity, and the nature of realization. In this paper I advance solutions to each of those problems. The proposed solutions all depend crucially on embracing modal counterpart theory. Hence, the paper’s thesis: counterpart theory saves nonreductive physicalism. I take as my inspiration the view that mental tokens are constituted by physical tokens in the same way statues are constituted by lumps of clay. I break from other philosophers who have (...) pursued this line, however, in that I hold that constitution is identity. Much of the value of the comparison to statues and lumps is that it calls to mind the resources used to defend constitution-as-identity, most notably that of counterpart theory. Along the way, I discuss the virtues of a trope ontology, modal objections to token identity theories, the prospects of conditional analyses of causal powers, the subset account of realization, and the grounding problem. I also endorse a novel, empirical argument in favor of counterpart theory. (shrink)

Based on the work done in [][] in the o‐minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking‐independent elements that is dense inside a partial type, which we call H‐structures. We show that any two such expansions have the same theory and that under some technical conditions, the saturated models of this common theory are again H‐structures. We prove that under these assumptions the expansion (...) is supersimple and characterize forking and canonical bases of types in the expansion. We also analyze the effect these expansions have on one‐basedness and CM‐triviality. In the one‐based case, when T has SU‐rank and the SU‐rank is continuous, we take to be the type of elements of SU‐rank and we describe a natural “geometry of generics modulo H” associated with such expansions and show it is modular. (shrink)

A λ-theory T is a consistent set of equations between λ-terms closed under derivability. The degree of T is the degree of the set of Godel numbers of its elements. H is the $\lamda$ -theory axiomatized by the set {M = N ∣ M, N unsolvable. A $\lamda$ -theory is sensible $\operatorname{iff} T \supset \mathscr{H}$ , for a motivation see [6] and [4]. In § it is proved that the theory H is ∑ 0 2 -complete. (...) We present Wadsworth's proof that its unique maximal consistent extention $\mathscr{H}^\ast (= \mathrm{T}(D_\infty))$ is Π 0 2 -complete. In $\S2$ it is proved that $\mathscr{H}_\eta(= \lambda_\eta-\text{Calculus} + \mathscr{H})$ is not closed under the ω-rule (see [1]). In $\S3$ arguments are given to conjecture that $\mathscr{H}\omega (= \lambda + \mathscr{H} + omega-rule)$ is Π 1 1 -complete. This is done by representing recursive sets of sequence numbers as λ-terms and by connecting wellfoundedness of trees with provability in Hω. In $\S4$ an infinite set of equations independent over H η will be constructed. From this it follows that there are 2^{ℵ_0 sensible theories T such that $\mathscr{H} \subset T \subset \mathscr{H}^\ast$ and 2 ℵ 0 sensible hard models of arbitrarily high degrees. In $\S5$ some nonprovability results needed in $\S\S1$ and 2 are established. For this purpose one uses the theory H η extended with a reduction relation for which the Church-Rosser theorem holds. The concept of Gross reduction is used in order to show that certain terms have no common reduct. (shrink)

A major theme in the study of degree structures of all types has been the question of the decidability or undecidability of their first order theories. This is a natural and fundamental question that is an important goal in the analysis of these structures. In this paper, we study decidability for theories of upper semilattices that arise from the theory of numberings. We use the following approach: given a level of complexity, say \, we consider the upper semilattice \ (...) of all \-computable numberings of all \-computable families of subsets of \. We prove that the theory of the semilattice of all computable numberings is computably isomorphic to first order arithmetic. We show that the theory of the semilattice of all numberings is computably isomorphic to second order arithmetic. We also obtain a lower bound for the 1-degree of the theory of the semilattice of all \-computable numberings, where \ is a computable successor ordinal. Furthermore, it is shown that for any of the theories T mentioned above, the \-fragment of T is hereditarily undecidable. Similar results are obtained for the structure of all computably enumerable equivalence relations on \, equipped with composition. (shrink)

The study of social norms sprawls across all of the social sciences but the the concept lacks a unified conception and formal theory. We synthesize an account that can be applied generally, at the social scale of analysis, and can be applied to empirical evidence generated in field and lab experiments. More specifically, we provide new analysis on representing norms for application in empirical political science, and in parts of economics that do not follow the recent trend among some (...) behavioral economists to build models of the cognitive and motivational states of individuals taken “one at a time”. Foundational sources for our project are Bicchieri (2006, 2017), Kuran (1995), and Stirling (2012, 2016). From Bicchieri take that a norm exists in a social structure when a significant networked subset of individuals share descriptive and injunctive expectations that it regulates their interactions. From Kuran we take the insight that prevailing norms may come to be widely disliked by participants in networks but survive because norm suppress public displays of disenchantment. From Stirling we apply conditional game theory (CGT) to provide the technical resources for building our model of a norm-regulated social interaction. The example we use is a multi-player Investment/Trust Game. (shrink)

An algebraization of the notion of topology has been proposed more than 70 years ago in a classical paper by McKinsey and Tarski, leading to an area of research still active today, with connections to algebra, geometry, logic and many applications, in particular, to modal logics. In McKinsey and Tarski’s setting the model theoretical notion of homomorphism does not correspond to the notion of continuity. We notice that the two notions correspond if instead we consider a preorder relation \( \sqsubseteq (...) \) defined by \(a \sqsubseteq b\) if _a_ is contained in the topological closure of _b_, for _a_, _b_ subsets of some topological space. A _specialization poset_ is a partially ordered set endowed with a further coarser preorder relation \( \sqsubseteq \). We show that every specialization poset can be embedded in the specialization poset naturally associated to some topological space, where the order relation corresponds to set-theoretical inclusion. Specialization semilattices are defined in an analogous way and the corresponding embedding theorem is proved. Specialization semilattices have the amalgamation property. Some basic topological facts and notions are recovered in this apparently very weak setting. The interest of these structures arises from the fact that they also occur in many rather disparate contexts, even far removed from topology. (shrink)

Most theories of memory suggest that when we learn or memorize something, some drepresentation of that something is constructed, stored and later retrieved. This raises questions like:How is information represented?How is it stored?How is it retrieved?Then, how is it used?This paper tries to deal with all these at once. When you get an idea and want to “remember” it, you create a “K‐line” for it. When later activated, the K‐line induces a partial mental state resembling the one that created it. (...) A “partial mental state” is a subset of those mental agencies operating at one moment. This view leads to many ideas about the development, structure and physiology of memory, and about how to implement framelike representations in a distributed processor. (shrink)

This paper articulates the structure of a two species of weakly aggregative necessity in a common idiom, neighbourhood semantics, using the notion of a k-filter of propositions. A k-filter on a non-empty set I is a collection of subsets of I which contains I, is closed under supersets on I, and contains ∪{Xi ≤ Xj : 0 ≤ i < j ≤ k} whenever it contains the subsets X0,…, Xk. The mathematical content of the proof that weakly aggregative modal logic (...) is complete relative to k-ary frame theory, the standard semantic idiom for weakly aggregative modal logic is presented in language-independent terms as a representation theorem for k-filters: every non-trivial k-filter is included in the union of ≤ k non-trivial filters. The elementary theory of k-filters is developed and then applied in the form of an ultrafilter extension result for k-ary frame theory. (shrink)

It has recently been suggested that a distinctive metaphysical relation— ‘Grounding’—is ultimately at issue in contexts in which some goings-on are said to hold ‘in virtue of’’, be ‘metaphysically dependent on’, or be ‘nothing over and above’ some others. Grounding is supposed to do good work in illuminating metaphysical dependence. I argue that Grounding is also unsuited to do this work. To start, Grounding alone cannot do this work, for bare claims of Grounding leave open such basic questions as whether (...) Grounded goings-on exist, whether they are reducible to or rather distinct from Grounding goings-on, whether they are efficacious, and so on; but in the absence of answers to such basic questions, we are not in position to assess the associated claim or theses concerning metaphysical dependence. There is no avoiding appeal to the specific metaphysical relations typically at issue in investigations into dependence—for example, type or token identity, functional realization, classical mereological parthood, the set membership relation, the proper subset relation, the determinable/determinate relation, and so on—which are capable of answering these questions. But, I argue, once the specific relations are on the scene, there is no need for Grounding. (shrink)

Van Fraassen explains rejections and asymmetries in science in terms of his contextual theory of explanation in the same way that scientists explain observable phenomena in the world in terms of scientific theories. I object that van Fraassen’s skeptical view regarding inference to the best explanation together with the English view of rationality jointly imply that the contextual theory is not rationally compelling, so van Fraassen and his epistemic colleagues can rationally disbelieve it. Prasetya replies that the truth (...) of the contextual theory coincides with its empirical adequacy, so the contextual theory is compelling. He also replies that the contextual theory is compelling, provided that van Fraassen’s argument for it instantiates a compelling subset of IBE. I argue that Prasetya’s replies either fail or help scientific realism. (shrink)

The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard (Ann Pure Appl Log 33:1–21, 1987). There twelve principles consisting of axioms, axiom schemata and rules of inference, each embodying a reasonable property of truth were isolated for study. Working with a base theory of truth conservative over PA, Friedman and Sheard raised the following questions. Which subsets of the Optional Axioms are consistent over the base theory? What are the (...) proof-theoretic strengths of the consistent theories? The first question was answered completely by Friedman and Sheard; all subsets of the Optional Axioms were classified as either consistent or inconsistent giving rise to nine maximal consistent theories of truth.They also determined the proof-theoretic strength of two subsets of the Optional Axioms. The aim of this paper is to continue the work begun by Friedman and Sheard. We will establish the proof-theoretic strength of all the remaining seven theories and relate their arithmetic part to well-known theories ranging from PA to the theory of ${\Sigma^1_1}$ dependent choice. (shrink)

We study the theory of the structure induced by parameter free formulas on a “dense” algebraically independent subset of a model of a geometric theory T. We show that while being a trivial geometric theory, inherits most of the model theoretic complexity of T related to stability, simplicity, rosiness, the NIP and the NTP2. In particular, we show that T is strongly minimal, supersimple of SU‐rank 1, has the NIP or the NTP2 exactly when has these (...) properties. We show that if T is superrosy of thorn rank 1, then so is, and that the converse holds if T satisfies acl = dcl. (shrink)

§1. Introduction. After the pioneering work of Mostowski [29] and Lindström [23] it was Jon Barwise's papers [2] and [3] that brought abstract model theory and generalized quantifiers to the attention of logicians in the early seventies. These papers were greeted with enthusiasm at the prospect that model theory could be developed by introducing a multitude of extensions of first order logic, and by proving abstract results about relationships holding between properties of these logics. Examples of such properties (...) areκ-compactness.Any set of sentences of cardinality ≤ κ, every finite subset of which has a model, has itself a model.Löwenheim-Skolem Theorem down toκ.If a sentence of the logic has a model, it has a model of cardinality at most κ.Interpolation Property.If ϕ and ψ are sentences such that ⊨ ϕ → Ψ, then there is θ such that ⊨ ϕ → θ, ⊨ θ → Ψ and the vocabulary of θ is the intersection of the vocabularies of ϕ and Ψ.Lindstrom's famous theorem characterized first order logic as the maximal ℵ0-compact logic with Downward Löwenheim-Skolem Theorem down to ℵ0. With his new concept of absolute logics Barwise was able to get similar characterizations of infinitary languagesLκω. But hopes were quickly frustrated by difficulties arising left and right, and other areas of model theory came into focus, mainly stability theory. No new characterizations of logics comparable to the early characterization of first order logic given by Lindström and of infinitary logic by Barwise emerged. What was first called soft model theory turned out to be as hard as hard model theory. (shrink)

We analyse here the monadic theory of the rational order, the monadic theory of the real line with quantification over "small" subsets and models of these theories. We prove that the results are in some sense the best possible.

The link between the high-order metaphysics and abstractions, on the one hand, and choice in the foundation of set theory, on the other hand, can distinguish unambiguously the “good” principles of abstraction from the “bad” ones and thus resolve the “bad company problem” as to set theory. Thus it implies correspondingly a more precise definition of the relation between the axiom of choice and “all company” of axioms in set theory concerning directly or indirectly abstraction: the principle (...) of abstraction, axiom of comprehension, axiom scheme of specification, axiom scheme of separation, subset axiom scheme, axiom scheme of replacement, axiom of unrestricted comprehension, axiom of extensionality, etc. (shrink)

A subset A $\subseteq$ M of a totally ordered structure M is said to be convex, if for any a, b $\in A: [a . A complete theory of first order is weakly o-minimal (M. Dickmann [D]) if any model M is totally ordered by some $\emptyset$ -definable formula and any subset of M which is definable with parameters from M is a finite union of convex sets. We prove here that for any model M of a (...) weakly o-minimal theory T, any expansion M + of M by a family of unary predicates has a weakly o-minimal theory iff the set of all realizations of each predicate is a union of a finite number of convex sets (Theorem 63), that solves the Problem of Cherlin-Macpherson-Marker-Steinhorn [MMS] for the class of weakly o-minimal theories. (shrink)

A case is made for supposing that the total probability accounted for in a decision analysis is less than unity. This is done by constructing a measure on the set of all codes for computable functions in such a way that the measure of every effectively accountable subset is bounded by a number <1. The consistency of these measures with the Savage axioms for rational preference is established. Implications for applied decision theory are outlined.

This work presents a systematic study of decision problems for equational theories of algebras of binary relations (relation algebras). For example, an easily applicable but deep method, based on von Neumann's coordinatization theorem, is developed for establishing undecidability results. The method is used to solve several outstanding problems posed by Tarski. In addition, the complexity of intervals of equational theories of relation algebras with respect to questions of decidability is investigated. Using ideas that go back to Jonsson and Lyndon, the (...) authors show that such intervals can have the same complexity as the lattice of subsets of the set of the natural numbers. Finally, some new and quite interesting examples of decidable equational theories are given. The methods developed in the monograph show promise of broad applicability. They provide researchers in algebra and logic with a new arsenal of techniques for resolving decision questions in various domains of algebraic logic. (shrink)