We investigate the group of definable homomorphisms between two definable abelian groups A and B, in an o-minimal structure . We prove the existence of a “large”, definable subgroup of . If contains an infinite definable set of homomorphisms then some definable subgroup of B admits a definable multiplication, making it into a field. As we show, all of this can be carried out not only in the underlying structure but also in any structure definable in.

§1. Introduction. By and large, definitions of a differentiable structure on a set involve two ingredients, topology and algebra. However, in some cases, partial information on one or both of these is sufficient. A very simple example is that of the field ℝ where algebra alone determines the ordering and hence the topology of the field:In the case of the field ℂ, the algebraic structure is insufficient to determine the Euclidean topology; another topology, Zariski, is associated with the ield but (...) this will be too coarse to give a diferentiable structure.A celebrated example of how partial algebraic and topological data determines a differentiable structure is Hilbert's 5th problem and its solution by Montgomery-Zippin and Gleason.The main result which we discuss here is of a similar flavor: we recover an algebraic and later differentiable structure from a topological data. We begin with a linearly ordered set ⟨M, <⟩, equipped with the order topology, and its cartesian products with the product topologies. We then consider the collection of definable subsets of Mn, n = 1, 2, …, in some first order expansion ℳ of ⟨M, <⟩. (shrink)

An o-minimal expansion of an ordered group is called semi-bounded if there is no definable bijection between a bounded and an unbounded interval in it (equivalently, it is an expansion of the group by bounded predicates and group automorphisms). It is shown that every such structure has an elementary extension.

We consider reducts of the structure $\mathscr{R} = \langle\mathbb{R}, +, \cdot, <\rangle$ and other real closed fields. We compete the proof that there exists a unique reduct between $\langle\mathbb{R}, +, <, \lambda_a\rangle_{a\in\mathbb{R}}$ and R, and we demonstrate how to recover the definition of multiplication in more general contexts than the semialgebraic one. We then conclude a similar result for reducts between $\langle\mathbb{R}, \cdot, <\rangle$ and R and for general real closed fields.

Let ℛ be an o-minimal expansion of a real closed field R. We continue here the investigation we began in [11] of differentiability with respect to the algebraically closed field [Formula: see text]. We develop the basic theory of such K-differentiability for definable functions of several variables, proving theorems on removable singularities as well as analogues of the Weierstrass preparation and division theorems for definable functions. We consider also definably meromorphic functions and prove that every definable function which is meromorphic (...) on Kn is necessarily a rational function. We finally discuss definable analogues of complex analytic manifolds, with possible connections to the model theoretic work on compact complex manifolds, and present two examples of "nonstandard manifolds" in our setting. (shrink)

We formulate an analogue of Zilber's conjecture for o-minimal structures in general, and then prove it for a class of o-minimal structures over the reals. We conclude in particular that if is an ordered reduct of ,<,+,·,ex whose theory T does not have the CF property then, given any model of T, a real closed field is definable on a subinterval of.

We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space \ \) is definably homeomorphic to an affine definable space with the induced subspace topology). One of the main results says that it is sufficient for X to be regular and decompose into finitely many definably connected components.

We give a complete characterization of the class of upward monotone generalized quantifiers Q1 and Q2 over countable domains that satisfy the scheme Q1 x Q2 y φ → Q2 y Q1 x φ. This generalizes the characterization of such quantifiers over finite domains, according to which the scheme holds iff Q1 is ∃ or Q2 is ∀ (excluding trivial cases). Our result shows that in infinite domains, there are more general types of quantifiers that support these entailments.

We prove that in an arbitrary o-minimal structure, every interpretable group is definably isomorphic to a definable one. We also prove that every definable group lives in a cartesian product of one-dimensional definable group-intervals. We discuss the general open question of elimination of imaginaries in an o-minimal structure.

A structure (M, $ ,...) is called quasi-o-minimal if in any structure elementarily equivalent to it the definable subsets are exactly the Boolean combinations of 0-definable subsets and intervals. We give a series of natural examples of quasi-o-minimal structures which are not o-minimal; one of them is the ordered group of integers. We develop a technique to investigate quasi-o-minimality and use it to study quasi-o-minimal ordered groups (possibly with extra structure). Main results: any quasi-o-minimal ordered group is abelian; any quasi-o-minimal (...) ordered ring is a real closed field, or has zero multiplication; every quasi-o-minimal divisible ordered group is o-minimal; every quasi-o-minimal archimedian densely ordered group is divisible. We show that a counterpart of quasi-o-minimality in stability theory is the notion of theory of U-rank 1. (shrink)

We define the notion of Euler characteristic for definable quotients in an arbitrary o-minimal structure and prove some fundamental properties.

We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbers.

Let M be an arbitrary structure. Then we say that an M -formula φ defines a stable set inM if every formula φ ∧ α is stable. We prove: If G is an M -definable group and every definable stable subset of G has U -rank at most n , then G has a maximal connected stable normal subgroup H such that G /H is purely unstable. The assumptions hold for example if M is interpretable in an o-minimal structure.More generally, (...) an M -definable set X is weakly stable if the M -induced structure on X is stable. We observe that, by results of Shelah, every weakly stable set in theories with NIP is stable. (shrink)

Let G be a definably compact group in an o-minimal expansion of a real closed field. We prove that if dim(G\X) < dim G for some definable ${X \subseteq G}$ then X contains a torsion point of G. Along the way we develop a general theory for the so-called G-linear sets, and investigate definable sets which contain abstract subgroups of G.

Let $\mathcal{M}$ be an o-minimal expansion of a real closed field $R$. We define the notion of a lattice in a locally definable group and then prove that every connected, definably generated subgroup of $\langle R^{n},+\rangle$ contains a definable generic set and therefore admits a lattice.

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)

We prove the following instance of a conjecture stated in [P. E. Eleftheriou and Y. Peterzil, Definable quotients of locally definable groups, Selecta Math. 18 885–903]. Let [Formula: see text] be an abelian semialgebraic group over a real closed field [Formula: see text] and let [Formula: see text] be a semialgebraic subset of [Formula: see text]. Then the group generated by [Formula: see text] contains a generic set and, if connected, it is divisible. More generally, the same result holds (...) when [Formula: see text] is definable in any o-minimal expansion of [Formula: see text] which is elementarily equivalent to [Formula: see text]. We observe that the above statement is equivalent to saying: there exists an [Formula: see text] such that [Formula: see text] is an approximate subgroup of [Formula: see text]. (shrink)

The aging of the two brothers in the “twins paradox” is analyzed through the space-time evolution of the densities that correspond to their internal complex structure. Taking into account their relative motion, it is shown that the traveling brother evolves over a shorter interval of time than his twin, which makes him younger than his brother.

Ghazzālī; 1058-1111; Ibn Taymīyah, Aḥmad ibn ʻAbd al-Ḥalīm, 1263-1328; criticism and interpretation; Islam; doctrines.

On the concept of Mokṣa in contemporary Indic philosophy.

Materalism in Indic philosophy; a study.

Metrical gloss on Śaṅkarācārya's commentary on the Brahmasūtra of Bādarāyaṇa, Vedānta aphorisms; includes text of the Brahmasūtra.

On Jaina Nyaya; includes Bhānumatī Sanskrit commentary and Prītīdāyinī Gujarati explanation.

Oholekha Yaʻaḳov -- Et amalenu -- Melekhet H.

Contributed research papers on various aspects of Buddhist philosophy, doctrines and literature.

Anayltical study of epistemology in Indian philosophy.

1. Catuḥsūtrī -- 2. Adhikaraṇatrayī.

Interpretive study of Gautama's Nyāyasūtra, aphoristic work of the Nyaya school in Hindu philosophy, and four classical commentaries of Nyāyasūtra.

We prove that if G is a group definable in a saturated o-minimal structure, then G has no infinite descending chain of type-definable subgroups of bounded index. Equivalently, G has a smallest type-definable subgroup G00 of bounded index and G/G00 equipped with the “logic topology” is a compact Lie group. These results give partial answers to some conjectures of the fourth author.

The detection of moving targets is to detect the change area in a sequence of images and extract the moving targets from the background image. It is the basis. Whether the moving targets can be correctly detected and segmented has a huge impact on the subsequent work. Aiming at the problem of high failure rate in the detection of sports targets under complex backgrounds, this paper proposes a research on the design of an intelligent background differential model for training target (...) monitoring. This paper proposes a background difference method based on RGB colour separation. The colour image is separated into independent RGB three-channel images, and the corresponding channels are subjected to the background difference operation to obtain the foreground image of each channel. In order to retain the difference of each channel, the information of the foreground images of the three channels is fused to obtain a complete foreground image. The feature of the edge detection is not affected by light; the foreground image is corrected. From the experimental results, the ordinary background difference method uses grey value processing, and some parts of the target with different colours but similar grey levels to the background cannot be extracted. However, the method in this paper can better solve the defect of misdetection. At the same time, compared with traditional methods, it also has a higher detection efficiency. (shrink)

Background: Generally, a person with dementia may be unable to make decisions by themselves and professionals may decide what is best for them. Unfortunately, in most cases, professionals assist a person with dementia to make decisions without clear explanation or consent. Whether a person with dementia possesses dignity in routine care is an important issue. Research objectives: The purpose of this study was to explore the lived experience of the healthcare professionals in providing dignified dementia care in Taiwan. Research design: (...) A qualitative, hermeneutic-phenomenological approach was conducted. Participants: Participants were enrolled by purpose sampling. Researchers performed in-depth interviews to reveal the essential ingredient of dignity within dementia care in Taiwan. A total of 20 cases were enrolled to achieve data saturation. Ethical considerations: This study was approved by the institutional review board. Before conducting the interview, interviewees provided informed consent. Findings: There were three themes and six categories that were addressed and constructed; within the themes, 23 Guidelines for Taiwan Dignified Dementia Care and 12 Principles for Dignified Dementia Care in Taiwan were developed. Discussion: From the data relating to dignity in dementia care, we can develop a more independent and dignified care environment to improve the quality of life of person with dementia in Taiwan. Conclusion: The results indicated that dignity within dementia care was constructed by the lived experience of the healthcare professionals, as well as affected by the culture of the organizations and society at the same time. (shrink)