An Ax-Kochen-Ershov principle for intermediate structures between valued groups and valued fields. We will consider structures that we call valued B-groups and which are of the form $\langle G, B, *, v\rangle$ where - G is an abelian group, - B is an ordered group, - v is a valuation defined on G taking its values in B, - * is an action of B on G satisfying: ∀ x ∈ G ∀ b ∈ B v(x * b) (...) = v(x) · b. The analysis of Kaplanski for valued fields can be adapted to our context and allows us to formulate an Ax-Kochen-Ershov principle for valued B-groups: we axiomatise those which are in some sense existentially closed and also obtain many of their model-theoretical properties. Let us mention some applications: 1. Assume that v(x) = v(nx) for every integer n ≠ 0 and x ∈ G, B is solvable and acts on G in such a way that, for the induced action, $\mathbb{Z}[B] \setminus \{0\}$ embeds in the automorphism group of G. Then $\langle G, B, *, v\rangle$ is decidable if and only if B is decidable as an ordered group. 2. Given a field k and an ordered group B, we consider the generalised power series field k((B)) endowed with its canonical valuation. We consider also the following structure: $\mathbf{M} = \langle k((B))_+, S, v, \times \upharpoonright_{k((B))\times S}\rangle,$ where k((B)) + is the additive group of k((B)), S is a unary predicate interpreting ${T^b| b \in B}$ , and $\times \upharpoonright_{k((B))\times S}$ is the multiplication restricted to k((B))× S, structure which is a reduct of the valued field k((B)) with its canonical cross section. Then our result implies that if B is solvable and decidable as an ordered group, then M is decidable. 3. A valued B-group has a residual group and our Ax-Kochen-Ershov principle remains valid in the context of expansions of residual group and value group. In particular, by adding a residual order we obtain new examples of solvable ordered groups having a decidable theory. (shrink)

We prove an Ax-Kochen-Ershov like transfer principle for groups acting on groups. The simplest case is the following: let B be a soluble group acting on an abelian group G so that G is a torsion-free divisible module over the group ring Z[B], then the theory of B determines the one of the two-sorted structure $\langle G, B, *\rangle$ , where * is the action of B on G. More generally, we show a similar principle for structures $\langle (...) G, B, *\rangle$ , where G is a torsion-free divisible module over the quotient of Z[B] by the annulator of G. Two applications come immediately from this result: First, for not necessarily commutative domains, where we consider the action of a subgroup of the invertible elements on the additive group. We obtain then the decidability of a weakened structure of ring, with partial multiplication. The second application is to pure groups. The semi-direct product of G by B is bi- interpretable with our structure $\langle G, B, *\rangle$ . Thus, we obtain stable decidable groups that are not linear over a field. (shrink)

Motivated by the Ax–Kochen/Ershov principle, a large number of questions about Henselian valued fields have been shown to reduce to analogous questions about the value group and residue field. In this article, we investigate the burden of Henselian valued fields in the three-sorted Denef–Pas language. If T is a theory of Henselian valued fields admitting relative quantifier elimination (in any characteristic), we show that the burden of T is equal to the sum of the burdens of its value (...) group and residue field. As a consequence, T is NTP2 if and only if its residue field and value group are; the same is true for the statements “T is strong” and “T has finite burden.”. (shrink)

We consider first-order theories of topological fields admitting a model-completion and their expansion to differential fields . We give a criterion under which the expansion still admits a model-completion which we axiomatize. It generalizes previous results due to M. Singer for ordered differential fields and of C. Michaux for valued differential fields. As a corollary, we show a transfer result for the NIP property. We also give a geometrical axiomatization of that model-completion. Then, for certain differential valued fields, we extend (...) the positive answer of Hilbert’s seventeenth problem and we prove an Ax–Kochen–Ershov theorem. Similarly, we consider first-order theories of topological fields admitting a model-companion and their expansion to differential fields, and under a similar criterion as before, we show that the expansion still admits a model-companion. This last result can be compared with those of M. Tressl: on one hand we are only dealing with a single derivation whereas he is dealing with several, on the other hand we are not restricting ourselves to definable expansions of the ring language, taking advantage of our topological context. We apply our results to fields endowed with several valuations. (shrink)

In well-known papers ([A-K1], [A-K2], and [E]) J. Ax, S. Kochen, and J. Ershov prove a transfer theorem for henselian valued fields. Here we prove an analogue for henselian valued and ordered fields. The orders for which this result apply are the usual orders and also the higher level orders introduced by E. Becker in [B1] and [B2]. With certain restrictions, two henselian valued and ordered fields are elementarily equivalent if and only if their value groups (with a (...) little bit more structure) and their residually ordered residue fields (a henselian valued and ordered field induces in a natural way an order in its residue field) are elementarily equivalent. Similar results are proved for elementary embeddings and ∀-extensions (extensions where the structure is existentially closed). (shrink)

We describe the Ax-Kochen definable subsets of the value group of a Hensel field and apply our results to a problem on identifying invariant factors in Hecke algebras.

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine (...) – Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

L. van den Dries proved that the theory of n-valued rings has a model companion. We show here that this result is still true when the valuation rings are required to satisfy given inclusion relations (we restrict ourselves to the case of residual characteristic zero).

The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the Ax-Kochen-Eršov principle is proven for a theory of valued D-fields of residual characteristic zero.

We prove that every ultraproduct of p-adics is inp-minimal. More generally, we prove an Ax-Kochen type result on preservation of inp-minimality for Henselian valued fields of equicharacteristic 0 in the RV language.

We describe classes of existentially closed ordered difference fields and rings. We show an Ax-Kochen type result for a class of valued ordered difference fields.

In spite of the analogies between Q p and F p ((t)) which became evident through the work of Ax and Kochen, an adaptation of the complete recursive axiom system given by them for Q p to the case of F p ((t)) does not render a complete axiom system. We show the independence of elementary properties which express the action of additive polynomials as maps on F p ((t)). We formulate an elementary property expressing this action and show (...) that it holds for all maximal valued fields. We also derive an example of a rather simple immediate valued function field over a henselian defectless ground field which is not a henselian rational function field. This example is of special interest in connection with the open problem of local uniformization in positive characteristic. (shrink)

This paper is an amalgam of physics and mathematical logic. It contains an elementary axiomatization of spacetime in terms of the primitive concepts of particle, signal, and transmission and reception. In the elementary language formed with these predicates we state AxiomsE, C, andU, which are naturally interpretable as basic physical properties of particles and signals. We then determine all mathematical models of this axiom system; these represent certain generalizations of the standard model. Also, the automorphism groups of the models are (...) determined. Finally we give another physical model and discuss the philosophical implications. (shrink)

***Angaben zur beteiligten Person Kann: Christoph Kann ist Professor für Philosophie an der Universität Düsseldorf.

This axiomatization is based on the observation that ifG is the group of automorphisms of the states (induced, e.g., by suitable evolutions), then we can define a spherical function by mapping each element ofG to the matrix of its transition probabilities. Starting from five physically conservative axioms, we utilize the correspondence between spherical functions and representations to apply the structure theory for compact Lie groups and their orbits in representation spaces to arrive at the standard complex Hilbert space structure of (...) quantum mechanics. (shrink)

This article comments on Sylvia Walby’s critique of the politics of difference and the relativist tendencies she sees represented in some contemporary feminist positions. While the general direction of Walby’s intervention is not disputed, the theoretical architecture of her text as well as the way she develops her argumentation are critically assessed. Problems in the architecture of the text concern the unclear interconnection between epistemological questions, questions of moral philosophy/political theory and practical politics. The critique focuses on three aspects: on (...) problems connected with Walby’s use of the Habermasian notion of ‘argumentation’, on difficulties related to an incoherent use of the notion of ‘difference’ and on the inadequate way in which she constructs oppositions between theories. The article lays out some of the theoretical backgrounds of the debates Walby refers to, in order to enhance a more specific comparison and critique of positions. (shrink)

The article focuses on the temporal and epistemic economy connected to the transatlantic travels of the categorical triad of ‘race-class-gender’. It looks at conditions and forces that have fuelled the dynamics of the discourse on differences and inequality among women and analyses feminist discourse and its aporias as a particular environment for the travels of theories. Furthermore, it follows the changes the triad of ‘race-class-gender’ undergoes on its transatlantic route from the United States to a German-speaking context and it outlines (...) the theoretical challenges connected to an intersectional perspective that aims to overcome a theoretical stagnation that itself finds symptomatic expression in the ritual citing of ‘race-class-gender’. (shrink)

The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models. This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra (...) and logic and some other researchers (in particular, Nerode and his colleagues). The main themes are the existence of recursive models and applications to fields, algebras, and ordered sets (Ershov), the existence of decidable prime models (Goncharov, Harrington), the existence of decidable saturated models (Morley), the existence of decidable homogeneous models (Goncharov and Peretyat'kin), properties of the Ehrenfeucht theories (Millar, Ash, and Reed), the theory of algorithmic dimension and conditions of autostability (Goncharov, Ash, Shore, Khusainov, Ventsov, and others), and the theory of computable classes of models with various properties. Future perspectives of the theory of constructive models are also discussed. Most of the results in the book are presented in monograph form for the first time. The theory of constructive models serves as a basis for recursive mathematics. It is also useful in computer science, in particular, in the study of programming languages, higher level languages of specification, abstract data types, and problems of synthesis and verification of programs. Therefore, the book will be useful for not only specialists in mathematical logic and the theory of algorithms but also for scientists interested in the mathematical fundamentals of computer science. The authors are eminent specialists in mathematical logic. They have established fundamental results on elementary theories, model theory, the theory of algorithms, field theory, group theory, applied logic, computable numberings, the theory of constructive models, and the theoretical computer science. (shrink)

The article is focused on studying the philosophical and legal nature of fundamental human rights and freedoms, which are interpreted as natural and inherent in a person from birth. It is shown that the “naturalness” of rights and freedoms is a legal fiction. In reality, natural rights and freedoms have a sociocultural, that is, “artificial” character. They strengthen the achieved level of guarantees of individual freedom and humanity in public relations.

The article deals with the problem of the cyclical nature of socio-historical development. Cyclicity is positioned as a universal feature of social development, making it possible to use the “lessons of history” in forecasting the future. Particular attention is paid to analyzing the causes of chronic disruptions in Russia’s modernization. The specificity of the Russian history cyclical nature is seen in the action of the institutional matrix, which unites authoritarianism and the suppression of private property into a monolithic whole.

The article is devoted to assessing the reasons and meaning of amendments to the Russian Federation Constitution made by the current political regime. The manner in which the amendments were adopted together with their content demonstrates inability of the state and the political system as a whole to govern and rule in accordance with the principles and norms of democracy and law. The concept of “unworthy governing” is used to characterize the existing mechanism of power and management of society in (...) Russia. (shrink)

v. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics.

In this article we study the problem of classifying φ-spaces with a fixed basis subspace. In the first part, this problem is treated in a more general topological context. The second part is devoted to effective φ-spaces.