Journal of Mathematical Logic, Ahead of Print. Given a structure [math] and a stably embedded [math]-definable set [math], we prove tameness preservation results when enriching the induced structure on [math] by some further structure [math]. In particular, we show that if [math] and [math] are stable (respectively, superstable, [math]-stable), then so is the theory [math] of the enrichment of [math] by [math]. Assuming simplicity of [math], elimination of hyperimaginaries and a further condition on [math] related to the behavior of algebraic (...) closure, we also show that simplicity and NSOP1 pass from [math] to [math]. We then prove several applications for tame expansions of weakly minimal structures and, in particular, the group of integers. For example, we construct the first known examples of strictly stable expansions of [math]. More generally, we show that any stable (respectively, superstable, simple, NIP, NTP2, NSOP1) countable graph can be defined in a stable (respectively, superstable, simple, NIP, NTP2, NSOP1) expansion of [math] by some unary predicate [math]. (shrink)

Let be the field of p‐adic numbers in the language of rings. In this paper we consider the theory of expanded by two predicates interpreted by multiplicative subgroups and where are multiplicatively independent. We show that the theory of this structure interprets Peano arithmetic if α and β have positive p‐adic valuation. If either α or β has zero valuation we show that the theory of has the NIP (“negation of the independence property”) and therefore does not interpret Peano arithmetic. (...) In that case we also prove that the theory is decidable if and only if the theory of is decidable. (shrink)

We study groups definable in tame expansions of ω-stable theories. Assuming several tameness conditions, we obtain structural theorems for groups definable and interpretable in these expansions. As our main example, by characterizing independence in the pair, where K is an algebraically closed field and G is a multiplicative subgroup of K× with the Mann property, we show that the pair satisfies the assumptions. In particular, this provides a characterization of definable and interpretable groups in in terms of (...) algebraic groups in K and interpretable groups in G. Furthermore, we compute the Morley rank and the U-rank in and both ranks agree. (shrink)

We establish the choice property, a weak analogue of definable choice, for certain tame expansions of o‐minimal structures. Most noteworthily, this property holds for dense pairs of real closed fields, as well as for expansions of o‐minimal structures by a dense independent set.

We approach the subject of o-minimality from the point of view of tame systems, following the work of Charbonnel and Wilkie. This gives some general sufficient conditions for a system to be model complete and o-minimal. We are then able to obtain the following generalisation of a recent result of Gabrielov : A polynomially bounded o-minimal expansion of the real ordered field by a collection of restricted C∝ functions, which is closed under partial differentiation, is model complete.

We examined the neural basis of tactile distance perception by analyzing activity patterns induced by tactile stimulation of nine points on a 3 x 3 square grid on the hand dorsum using functional magnetic resonance (fMRI). We used a searchlight approach within pre-defined regions of interests (ROIs) to compute the pairwise Euclidean distances between the activity patterns elicited by tactile stimulation. Then, we used multidimensional scaling (MDS) to reconstruct skin space at the neural level and compare it with skin space (...) at the perceptual level. Our reconstructions of the shape of skin space in contralateral primary somatosensory (SI) and motor (M1) cortices reveal that it is distorted in a way that matches the perceptual shape of skin space. This suggests that early sensorimotor areas are critical to processing tactile distance perception. (shrink)

Psychophysical experiments have demonstrated large and highly systematic perceptual distortions of tactile space. Such a space can be referred to our experience of the spatial organisation of objects, at representational level, through touch, in analogy with the familiar concept of visual space. We investigated the neural basis of tactile space by analysing activity patterns induced by tactile stimulation of nine points on a 3 × 3 square grid on the hand dorsum using functional magnetic resonance imaging. We used a searchlight (...) approach within pre-defined regions of interests to compute the pairwise Euclidean distances between the activity patterns elicited by tactile stimulation. Then, we used multidimensional scaling to reconstruct tactile space at the neural level and compare it with skin space at the perceptual level. Our reconstructions of the shape of skin space in contralateral primary somatosensory and motor cortices reveal that it is distorted in a way that matches the perceptual shape of skin space. This suggests that early sensorimotor areas critically contribute to the distorted internal representation of tactile space on the hand dorsum. (shrink)

This study of the hidden side of music and its subtle effects is one of the most detailed books ever written on the subject.

Let M=\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}=}$$\end{document} be a weakly o-minimal expansion of a dense linear order without endpoints. Some tame properties of sets and functions definable in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} which hold in o-minimal structures, are examined. One of them is the intermediate value property, say IVP. It is shown that strongly continuous definable functions in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} satisfy an (...) extended version of IVP. After introducing a weak version of definable connectedness in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document}, we prove that strong cells in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} are weakly definably connected, so every set definable in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} is a finite union of its weakly definably connected components, provided that M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} has the strong cell decomposition property. Then, we consider a local continuity property for definable functions in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} and conclude some results on cell decomposition regarding that property. Finally, we extend the notion of having no dense graph which was examined for definable functions in and related to uniform finiteness, definable completeness, and others. We show that every weakly o-minimal structure M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} having cell decomposition, satisfies NDG, i.e. every definable function in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} has no dense graph. (shrink)

Some recent hostile responses to the rapid growth of Libertarianism have depicted it as a febrile spin-off from the post-hippy 'Me Decade'. In fact we are the inheritors of an illustrious centuries old tradition, largely overlooked by the myopic current fashions in the history of ideas. Liberals like J. S. Mill and Jeremy Bentham receive plenty of attention in college courses, but the libertarian tradition as a whole is largely ignored, and misrepresented where touched upon. Mill and Bentham constitute one (...) aspect - in many ways the feeblest - of liberalism. Dozens of thinkers and activists who embodied the most systematic or radical elements in Libertarianism have been consigned to the Memory Hole. (shrink)

Tactile distance perception is believed to require that immediate afferent signals be referenced to a stored representation of body size and shape (the body model). For this ability, recent studies have reported that the stored body representations involved are highly distorted, at least in the case of the hand, with the hand dorsum represented as wider and squatter than it actually is. Here, we aim to define the neural basis of this phenomenon. In a behavioural experiment participants estimated the distance (...) between touches on two points by adjusting the length of a visually-presented line on the screen. The technique of multidensional scaling (MDS) was used to reconstruct a perceptual map of tactile space. Analysis of spatial distortion using Procrustes alignment showed that maps were stretched in the mediolateral hand axis. In order to determine the neural correlates of these body distortions, we performed an fMRI study. For each participant, we used a searchlight pattern classifier with Euclidean distance on pre-defined regions of interests (ROIs). In order to relate the representations between the different points and to computational models, we compare response-pattern dissimilarity matrices in these ROIs. Similar to the behavioural experiment, we used MDS to reconstruct maps of the neural representation of tactile space using the values from the dissimilarities matrices. We were able to reconstruct the perceptual map of tactile space in the contralateral primary somatosensory and motor cortices. This suggests that these areas are critical to generate the tactile representations of the dorsum of the hand. (shrink)

Hands are commonly held up as an exemplar of well-known, familiar objects. However, conceptual knowledge of the hand has been found to show highly stereotyped distortions. Specifically, people judge their knuckles as farther forward in the hand than they actually are. The cause of this distal bias remains unclear. In Experiment 1, we tested whether both visual and tactile information contribute to the distortion. Participants judged the location of their knuckles by pointing to the location on their palm directly opposite (...) each knuckle with: 1) a metal baton (using vision and touch) 2) a metal baton while blindfolded (using touch), 3) a laser pointer (using vision). In Experiment 2, we investigated whether judgments are influenced by visual landmarks such as the creases at the base of each finger on the palm. Participants localized their knuckles on either a photograph or a silhouette of their hand. In both experiments, clear distortions were found across conditions, of generally similar magnitude. These results show that distal bias is resistant to changes in the stimulus information and does not rely on any specific stimulus cue or single sensory modality, suggesting that such mislocalisations reflect a conceptual misrepresentation of hand structure. (shrink)

Given a theory T of a polynomially bounded o-minimal expansion R of R¯=⟨R,+,.,0,1,<⟩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\bar{\mathbb{R}} = \langle\mathbb{R}, +,., 0, 1, < \rangle}$$\end{document} with field of exponents Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{Q}}$$\end{document}, we introduce a theory T\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{T}}$$\end{document} whose models are expansions of dense pairs of models of T by a discrete multiplicative group. We prove that T\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} (...) \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{T}}$$\end{document} is complete and admits quantifier elimination when predicates are added for certain existential formulas. In particular, if T = RCF then T\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{T}}$$\end{document} axiomatises ⟨R¯,Ralg,2Z⟩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle\bar{\mathbb{R}}, \mathbb{R}_{alg}, 2^{\mathbb{Z}}\rangle}$$\end{document}, where Ralg\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}_{alg}}$$\end{document} denotes the real algebraic numbers. We describe types and definable sets in our models and prove that T\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{T}}$$\end{document} is dependent. (shrink)

We provide a first order axiomatization of the expansion of the complex field by the exponential function restricted to the subring of integers modulo the first order theory of (Z, +, ·).

The first IVF baby was born in the 1970s. Less than 20 years later, we had cloning and GM food, and information and communication technologies had transformed everyday life. In 2000, the human genome was sequenced. More recently, there has been much discussion of the economic and social benefits of nanotechnology, and synthetic biology has also been generating controversy. This important volume is a timely contribution to increasing calls for regulation - or better regulation - of these and other new (...) technologies. Drawing on an international team of legal scholars, it reviews and develops the role of human rights in the regulation of new technologies. Three controversies at the intersection between human rights and new technology are given particular attention. First, how the expansive application of human rights could contribute to the creation of a brave new world of choice, where human dignity is fundamentally compromised; second, how new technologies, and our regulatory responses to them, could be a threat to human rights; and, third, how human rights could be used to create better regulation of these technologies. (shrink)

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 (...) class='Hi'>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)

Here, I investigate the challenges involved in addressing ethical questions related to food policy, food security, and climate change in a public engagement atmosphere where “experts” (e.g., scientists and scholars), policy-makers and laypersons interact. My focus is on the intersection between food and climate in the state of Alaska, located in the circumpolar north. The intersection of food security and climate represents a “wicked problem.” This wicked problem is plagued by “unruliness,” characterized by disruptive mechanisms that can impede how ethical (...) issues in policy-making are broached. Unruliness is exacerbated by conditions of engagement that can be characterized as occurring in a “fog.” In this fog, interlocutors encounter both moral and epistemological conundrums. In considering how to mitigate unruliness, a bottom-up approach is recommended. I discuss “taming” strategies for addressing these ethical concerns; modest suggestions on what should be taken into count when confronting issues of science and ethics within the context of promoting greater deliberative discourse regarding food security issues at more local levels. My recommendations are made in light of developments in food policy in Alaska and may be instructive for other regions pursuing cold climate agricultural expansion, for example. (shrink)

Let [Formula: see text] be an expansion of either an ordered field [Formula: see text], or a valued field [Formula: see text]. Given a definable set [Formula: see text] let [Formula: see text] be the ring of continuous definable functions from [Formula: see text] to [Formula: see text]. Under very mild assumptions on the geometry of [Formula: see text] and on the structure [Formula: see text], in particular when [Formula: see text] is [Formula: see text]-minimal or [Formula: see text]-minimal, or (...) an expansion of a local field, we prove that the ring of integers [Formula: see text] is interpretable in [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] is definably connected of pure dimension [Formula: see text], then [Formula: see text] defines the subring [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] has no isolated points, then there is a discrete ring [Formula: see text] contained in [Formula: see text] and naturally isomorphic to [Formula: see text], such that the ring of functions [Formula: see text] which take values in [Formula: see text] is definable in [Formula: see text]. (shrink)

In this paper, we show that the failure of the unique branch hypothesis for tame iteration trees implies that in some homogenous generic extension of [Formula: see text] there is a transitive model [Formula: see text] containing [Formula: see text] such that [Formula: see text] is regular. The results of this paper significantly extend earlier works from [Non-tame mice from tame failures of the unique branch bypothesis, Canadian J. Math. 66 903–923; Core models with more Woodin cardinals, (...) J. Symbolic Logic 67 1197–1226] for tame trees. (shrink)

We investigate expansions of the ordered field of real numbers equipped with a family of real power functions. We show in particular that the theory of the ordered field of real numbers augmented by all restricted analytic functions and all real power functions admits elimination of quantifiers and has a universal axiomatization. We derive that every function of one variable definable in this structure, not ultimately identically 0, is asymptotic at + ∞ to a real function of the form (...) x cxr, c ≠ 0; in particular, this structure is polynomially bounded. Furthermore, given any definable function f:U → with U open in n, if α ε U and f is infinitely differentiable at α, then f is real analytic in a neighborhood of α. (shrink)

Is there a nontrivial automorphism of the Turing degrees? It is a major open problem of computability theory. Past results have limited how nontrivial automorphisms could possibly be. Here we consider instead how an automorphism might be induced by a function on reals, or even by a function on integers. We show that a permutation of ω cannot induce any nontrivial automorphism of the Turing degrees of members of 2ω, and in fact any permutation that induces the trivial automorphism (...) must be computable.A main idea of the proof is to consider the members of 2ω to be probabilities, and use statistics: from random outcomes from a distribution we can compute that distribution, but not much more. (shrink)

An open U ⊆ ℝ is produced such that (ℝ, +, ·, U) defines a Borel isomorph of (ℝ, +, ·, ℕ) but does not define ℕ. It follows that (ℝ, +, ·, U) defines sets in every level of the projective hierarchy but does not define all projective sets. This result is elaborated in various ways that involve geometric measure theory and working over o-minimal expansions of (ℝ, +, ·). In particular, there is a Cantor set E ⊆ (...) ℝ such that (ℝ, +, ·, E) defines a Borel isomorph of (ℝ, +, ·, ℕ) and, for every exponentially bounded o-minimal expansion $\germ{R}$ of (ℝ, +, ·), every subset of ℝ definable in ( $\germ{R}$ , E) either has interior or is Hausdorff null. (shrink)

This thesis is concerned with the expansions of algebraic structures and their fit in Shelah’s classification landscape.The first part deals with the expansion of a theory by a random predicate for a substructure model of a reduct of the theory. Let T be a theory in a language $\mathcal {L}$. Let $T_0$ be a reduct of T. Let $\mathcal {L}_S = \mathcal {L}\cup \{S\}$, for S a new unary predicate symbol, and $T_S$ be the $\mathcal {L}_S$ -theory that axiomatises (...) the following structures: $$ consist of a model $\mathscr {M}$ of T and S is a predicate for a model $\mathscr {M}_0$ of $T_0$ which is a substructure of $\mathscr {M}$. We present a setting for the existence of a model-companion $TS$ of $T_S$. As a consequence, we obtain the existence of the model-companion of the following theories, for $p>0$ a prime number: • $\mathrm {ACF}_p$, $\mathrm {SCF}_{e,p}$, $\mathrm {Psf}_p$, $\mathrm {ACFA}_p$, $\mathrm {ACVF}_{p,p}$ in appropriate languages expanded by arbitrarily many predicates for additive subgroups;• $\mathrm {ACF}_p$, $\mathrm {ACF}_0$ in the language of rings expanded by a single predicate for a multiplicative subgroup;• $\mathrm {PAC}_p$ -fields, in an appropriate language expanded by arbitrarily many predicates for additive subgroups.From an independence relation in T, we define independence relations in $TS$ and identify which properties of are transferred to those new independence relations in $TS$, and under which conditions. This allows us to exhibit hypotheses under which the expansion from T to $TS$ preserves $\mathrm {NSOP}_{1}$, simplicity, or stability. In particular, under some technical hypothesis on T, we may draw the following picture : Configuration $T_0\subseteq T$ Generic expansion $TS$ $T_0 = T$ Preserves stability $T_0\subseteq T$ Preserves $\mathrm {NSOP}_{1}$ $T_0 = \emptyset $ Preserves simplicityIn particular, this construction produces new examples of $\mathrm {NSOP}_{1}$ not simple theories, and we study in depth a particular example: the expansion of an algebraically closed field of positive characteristic by a generic additive subgroup. We give a full description of imaginaries, forking, and Kim-forking in this example.The second part studies expansions of the group of integers by p-adic valuations. We prove quantifier elimination in a natural language and compute the dp-rank of these expansions: it equals the number of independent p-adic valuations considered. Thus, the expansion of the integers by one p-adic valuation is a new dp-minimal expansion of the group of integers. Finally, we prove that the latter expansion does not admit intermediate structures: any definable set in the expansion is either definable in the group structure or is able to “reconstruct” the valuation using only the group operation.prepared by Christian d’Elbée.E-mail: [email protected]: https://choum.net/~chris/page_perso. (shrink)

Proteins account for the catalytic and structural versatility displayed by all cells, yet they are assembled from a set of only 20 common amino acids. With few exceptions, only 61 nucleotide triplets also direct incorporation of these amino acids. Endeavors to expand the genetic code recently progressed to nucleus‐containing cells, after Chin et al.1 transferred Escherichia coli genes for a mutant tyrosine‐adaptor molecule and its synthetase into Saccharomyces cerevisiae. Transformed yeast cells were produced that exhibit efficient site‐specific incorporation of non‐biotic (...) amino acids into proteins. This makes it likely that code complexity can be elevated experimentally in mammals. BioEssays 26:111–115, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from the philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.

One of the central pillars of Vygotsky’s contribution to social science is his concept of mediation: the process through which the social and the individual mutually shape each other. His rich, complex and challenging texts focus on a nuanced notion of mediation that was not necessarily visible to those active in the command-and-control climate of the Stalinist era. The article focuses on this notion of the lack of visibility in mediation.

The debate on the ontological status of spacetime in General Relativity has historically seen two principal philosophical contenders: substantivalism, roughly the view that holds that spacetime exists apart from the material contents of the universe, and relationism, the doctrine that spacetime does not exist, i.e., it is a mere abstract web of spatiotemporal relations among bodies. This dispute, however, has rarely been fought on a cosmological battlefield. In this paper an attempt in this direction is made. The question at issue (...) is the following: is there any feature of our universe that requires or is best explained in terms of a substantival space? I claim that there is indeed: the expansion of the universe, perhaps the most important phenomenon in cosmology, can play such a role. (shrink)

This chapter defends the hypothesis that Quechua was brought to Cajamarca during the final expansion of the Huari state. It offers an alternative for the traditional view that Cajamarca Quechua originated on the central coast of Peru, immediately south-east of Lima. Archaic features of Cajamarca Quechua suggest that it became separated from the main body of the Quechua II branch of the family before it attained its present state of internal differentiation. Possibly the least innovative Quechua II dialect spoken today (...) is that of Ayacucho region, where the Huari capital lay. Together this suggests that population movements underlying the existence of present-day Cajamarca Quechua may have originated in the Huari heartland. This association of Quechua II with Huari prompts a reconsideration of the prevalent view that Ayacucho, including Huari, would have been an exclusive stronghold of the Aymaran languages. (shrink)

We prove that no restriction of the sine function to any (open and nonempty) interval is definable in $\langle\mathbf{R}, +, \cdot, , and that no restriction of the exponential function to an (open and nonempty) interval is definable in $\langle \mathbf{R}, +, \cdot, , where $\sin_0(x) = \sin(x)$ for x ∈ [ -π,π], and $\sin_0(x) = 0$ for all $x \not\in\lbrack -\pi,\pi\rbrack$.

We develop a general framework for measure theory and integration theory that is compatible with o-minimality. Therefore the following natural definitions are introduced. Given are an o-minimal structure M and a Borel measure μ on some Rn. We say that μ is M-compatible if there is an o-minimal expansion of M such that for every parameterized family of subsets of Rn that is definable in M the corresponding family of μ-measures is definable in this o-minimal expansion. We say that μ (...) is M-tame if there is an o-minimal expansion of M such that for every parameterized family of functions on Rn that is definable in M the corresponding family of integrals with respect to μ is definable in this o-minimal expansion. We substantiate these definitions with existing and many new examples. We investigate the Lebesgue measure in their light. We prove definable versions of fundamental results such as the theorem of Radon–Nikodym, the Lebesgue decomposition theorem and the Riesz representation theorem. They allow us to describe explicitly compatible and tame measures and to classify them in dimension one. (shrink)

This paper presents a monotonic system of Post algebras of order +* whose chain of Post constans is isomorphic with 012 ... -3-2-1. Besides monotonic operations, other unary operations are considered; namely, disjoint operations, the quasi-complement, succesor, and predecessor operations. The successor and predecessor operations are basic for number theory.

The Shakespearean image of a tempest and its aftermath forms the beginning as well as a major guiding thread of Logic of Imagination. Moving beyond the horizons of his earlier work, Force of Imagination, John Sallis sets out to unsettle the traditional conception of logic, to mark its limits, and, beyond these limits, to launch another, exorbitant logic—a logic of imagination. Drawing on a vast range of sources, including Plato, Aristotle, Kant, Hegel, Nietzsche, and Freud, as well as developments in (...) modern logic and modern mathematics, Sallis shows how a logic of imagination can disclose the most elemental dimensions of nature and of human existence and how, through dialogue with contemporary astrophysics, it can reopen the project of a philosophical cosmology. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)