In this paper, I will give a new characterisation of the spaces of complete theories of pseudofinite fields and of algebraically closed fields with a generic automorphism (ACFA) in terms of the Vietoris topology on absolute Galois groups of prime fields.

As a continuation of ideas initiated in [19], we study bi-colored (generic) expansions of geometric theories in the style of the Fraïssé–Hrushovski construction method. Here we examine that the properties $NTP_{2}$, strongness, $NSOP_{1}$, and simplicity can be transferred to the expansions. As a consequence, while the corresponding bi-colored expansion of a red non-principal ultraproduct of p-adic fields is $NTP_{2}$, the expansion of algebraically closed fields with generic automorphism is a simple theory. Furthermore, (...) these theories are strong with $\operatorname {\mathrm {bdn}}(\text {"}x=x\text {"})=(\aleph _0)_{-}$. (shrink)

The aim of this paper is to develop the theory of groups definable in the p-adic field ${{\mathbb {Q}}_p}$, with “definable f-generics” in the sense of an ambient saturated elementary extension of ${{\mathbb {Q}}_p}$. We call such groups definable f-generic groups.So, by a “definable f-generic” or $dfg$ group we mean a definable group in a saturated model with a global f-generic type which is definable over a small model. In the present context the group is (...) definable over ${{\mathbb {Q}}_p}$, and the small model will be ${{\mathbb {Q}}_p}$ itself. The notion of a $\mathrm {dfg}$ group is dual, or rather opposite to that of an $\operatorname {\mathrm {fsg}}$ group (group with “finitely satisfiable generics”) and is a useful tool to describe the analogue of torsion-free o-minimal groups in the p-adic context.In the current paper our group will be definable over ${{\mathbb {Q}}_p}$ in an ambient saturated elementary extension $\mathbb {K}$ of ${{\mathbb {Q}}_p}$, so as to make sense of the notions of f-generic type, etc. In this paper we will show that every definable f-generic group definable in ${{\mathbb {Q}}_p}$ is virtually isomorphic to a finite index subgroup of a trigonalizable algebraic group over ${{\mathbb {Q}}_p}$. This is analogous to the o-minimal context, where every connected torsion-free group definable in $\mathbb {R}$ is isomorphic to a trigonalizable algebraic group [5, Lemma 3.4]. We will also show that every open definable f-generic subgroup of a definable f-generic group has finite index, and every f-generic type of a definable f-generic group is almost periodic, which gives a positive answer to the problem raised in [28] of whether f-generic types coincide with almost periodic types in the p-adic case. (shrink)

This article addresses the question which structures occur as fixed structures of stable structures with a generic automorphism. In particular we give a Galois theoretic characterization. Furthermore, we prove that any pseudofinite field is the fixed field of some model ofACFA, any one-free pseudo-differentially closed field of characteristic zero is the fixed field of some model ofDCFA, and that any one-free PAC field of finite degree of imperfection is the fixed field of some model ofSCFA.

In the first half of this paper, we study the way that sets of real numbers closed under Turing equivalence sit inside the real line from the perspective of algebra, measure and orders. Afterwards, we combine the results from our study of these sets as orders with a classical construction from Avraham to obtain a restriction about how non trivial automorphism of the Turing degrees (if they exist) interact with 1-generic degrees.

We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general context of the model theory of fields with a group scheme action.

LetKbe an algebraically closed field and letLbe itscanonical language; that is,Lconsists of all relations onKwhich are definable from addition, multiplication, and parameters fromK. Two sublanguagesL1andL2ofLaredefinably equivalentif each relation inL1can be defined by anL2-formula with parameters inK, and vice versa. The equivalence classes of sublanguages ofLform a quotient lattice of the power set ofLabout which very little is known. We will not distinguish between a sublanguage and its equivalence class.LetLmdenote the language of multiplication alone, and letLadenote the language (...) of addition alone. Letf∈K[X, Y] and consider thealgebraic functiondefined byf(x, y) = 0 forx, y∈K. LetLfdenote the language consisting of the relation defined byf. The possibilities forLm∨Lfare examined in §2, and the possibilities forLa∨Lfare examined in §3. In fact the only comprehensive results known are under the additional hypothesis thatfactually defines a rational function (i.e., whenfis linear in one of the variables), and in positive characteristic, only expansions of addition by polynomials (i.e., whenfis linear and monic in one of the variables) are understood. It is hoped that these hypotheses will turn out to be unnecessary, so that reasonable generalizations of the theorems described below to algebraic functions will be true. The conjecture is thatLcoversLmand that the only languages betweenLaandLare expansions ofLaby scalar multiplications. (shrink)

In this note we show that groups with definable generics in a separably closed valued field K of finite imperfection degree can be embedded into groups definable in the algebraic closure of K.

Let A be an abelian variety in an algebraically closed field of characteristic 0. We prove that the expansion of A by a generic divisible subgroup of A with the same torsion exists provided A has few algebraic endomorphisms, namely. The resulting theory is NSOP1 and not simple. Note that there exist abelian varieties A with of any genus.

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 study expansions of an algebraically closed field K or a real closed field R with a linearly independent subgroup G of the multiplicative group of the field or the unit circle group \\), satisfying a density/codensity condition. Since the set G is neither algebraically closed nor algebraically independent, the expansion can be viewed as “intermediate” between the two other types of dense/codense expansions of geometric theories: lovely pairs and H-structures. We show that (...) in both the algebraically closed field and real closed field cases, the resulting theory is near model complete and the expansion preserves many nice model theoretic conditions related to the complexity of definable sets such as stability and NIP. (shrink)

In this paper, we introduce an AEC framework for studying fields with commuting automorphisms. Fields with commuting automorphisms are closely related to difference fields. Some authors define a difference ring (or field) as a ring (or field) together with several commuting endomorphisms, while others only study one endomorphism. Z. Chatzidakis and E. Hrushovski have studied in depth the model theory of ACFA, the model companion of difference fields with one automorphism. Our (...) fields with commuting automorphisms generalize this setting. We have several automorphisms and they are required to commute. Hrushovski has proved that in the case of fields with two or more commuting automorphisms, the existentially closed models do not necessarily form a first order model class. In the present paper, we introduce FCA-classes, an AEC framework for studying the existentially closed models of the theory of fields with commuting automorphisms. We prove that an FCA-class has AP and JEP and thus a monster model, that Galois types coincide with existential types in existentially closed models, that the class is homogeneous, and that there is a version of type amalgamation theorem that allows to combine three types under certain conditions. Finally, we use these results to show that our monster model is a simple homogeneous structure in the sense of S. Buechler and O. Lessman (this is a non-elementary analogue for the classification theoretic notion of a simple first order theory). (shrink)

The generalization properties of algebraically closed fields $ACF_p$ of characteristic $p > 0$ and $ACF_0$ of characteristic 0 are investigated in the sequent calculus with blocks of quantifiers. It is shown that $ACF_p$ admits finite term bases, and $ACF_0$ admits term bases with primality constraints. From these results the analogs of Kreisel's Conjecture for these theories follow: If for some $k$ , $A(1 + \cdots + 1)$ ( $n$ 1's) is provable in $k$ steps, then (...) $(\forall x)A(x)$ is provable. (shrink)

The main scope of this short article is to provide a modification of the axioms given by Messmer and Wood for the theory of separably closed fields of positive characteristic and finite imperfectness degree. As their original axioms failed to meet natural expectations, a new axiomatization was given (i.e., Ziegler’s one), but the new axioms do not follow Messmer and Wood’s initial idea. Therefore, we aim to give a correct axiomatization that is more similar to the original one (...) and that, as with the original axioms, involves only one Hasse–Schmidt derivation, this time based on the iterativity conditions corresponding to the Witt group. (shrink)

In this paper we deal with the model theory of differentially closed fields of characteristic zero with finitely many commuting derivations. First we observe that the only known lower bound for the Lascar rank of types in differentially closed fields, announced in a paper of McGrail, is false. This gives us a new class of regular types which are orthogonal to fields. Then we classify the subgroups of the additive group of Lascar rank (...) omega with differential-type 1 which are nonorthogonal to fields. The last parts consist of an analaysis of the quotients of the heat variety. We show that the generic type of such a quotient is locally modular. Finally, we answer a question of Phylliss Cassidy about the existence of certain Jordan-Holder type series in the negative. (shrink)

Let n ≥ 3. The following theorems are proved. Theorem. The theory of the class of strictly upper triangular n × n matrix rings over fields is finitely axiomatizable. Theorem. If R is a strictly upper triangular n × n matrix ring over a field K, then there is a recursive map σ from sentences in the language of rings with constants for K into sentences in the language of rings with constants for R such that $K (...) \vDash \varphi$ if and only if $R \vDash \sigma$. Theorem. The theory of a strictly upper triangular n × n matrix ring over an algebraically closed field is ℵ 1 -categorical. (shrink)

We prove the preservation theorems for NATP; many of them extend the previously established preservation results for other model-theoretic tree properties. Using them, we also furnish proper examples of NATP theories which are simultaneously TP2 and SOP. First, we show that NATP is preserved by the parametrization and sum of the theories of Fraïssé limits of Fraïssé classes satisfying strong amalgamation property. Second, the preservation of NATP for two kinds of dense/co-dense expansions, i.e. the theories of lovely pairs and of (...) [Formula: see text]-structures for geometric theories, and dense/co-dense expansion on vector spaces is proved. Next, we prove the preservation of NATP for the generic predicate expansion and the pair of an algebraically closed field and its distinguished subfield; for the latter, not only NATP, but also the preservation of NTP1 and NTP2 is considered. Finally, we present some proper examples of NATP theories using the results proved in this paper, including the parametrization of DLO and the expansion of an algebraically closed field by adding a generic linear order. In particular, we show that the model companion of the theory of algebraically closed fields with circular orders (ACFO) is NATP. (shrink)

We construct and study structures imitating the field of complex numbers with exponentiation. We give a natural, albeit non first-order, axiomatisation for the corresponding class of structures and prove that the class has a unique model in every uncountable cardinality. This gives grounds to conjecture that the unique model of cardinality continuum is isomorphic to the field of complex numbers with exponentiation.

We point out that the theory of difference fields with algebraically closed fixed field has no model companion.

We construct Hrushovski–Kazhdan style motivic integration in certain expansions of ACVF. Such an expansion is typically obtained by adding a full section or a cross-section from the RV-sort into the VF-sort and some extra structure in the RV-sort. The construction of integration, that is, the inverse of the lifting map , is rather straightforward. What is a bit surprising is that the kernel of is still generated by one element, exactly as in the case of integration in ACVF. The overall (...) construction is more or less parallel to the main construction of Hrushovski and Kazhdan , as presented in Yin and Yin . As an application, we show uniform rationality of Igusa zeta functions for non-archimedean local fields with unbounded ramification degrees. (shrink)

We examine the connections between several automorphism groups associated with a saturated differentially closed field U of characteristic zero. These groups are: Γ, the automorphism group of U; the automorphism group of Γ; , the automorphism group of the differential combinatorial geometry of U and , the group of field automorphisms of U that respect differential closure.Our main results are:• If U is of cardinality λ+=2λ for some infinite regular cardinal λ, then the set (...) of subgroups of Γ consisting of all pointwise stabilizers of Dcl's of finite subsets of U is invariant under Aut .• If U is of arbitrary infinite cardinality, then each automorphism of the differential combinatorial geometry is induced by a field automorphism of U that respects differential closure .• If U is of cardinality λ+=2λ for some infinite regular cardinal λ, then each automorphism of Γ is induced by an element of acting on Γ by conjugation .• If U is of cardinality λ+=2λ for some infinite regular cardinal λ, then the outer automorphism group of Γ is isomorphic to the multiplicative group of the rationals. (shrink)

The theory of algebraically closed non-Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz, and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this paper. This theorem also has other consequences in the geometry of definable sets. The method of proving quantifier elimination in this paper for an analytic language does not require the algebraic quantifier elimination theorem of (...) Weispfenning, unlike the customary method of proof used in similar earlier analytic quantifier elimination theorems. (shrink)

Recall that a group G has finitely satisfiable generics (fsg) or definable f-generics (dfg) if there is a global type p on G and a small model $M_0$ such that every left translate of p is finitely satisfiable in $M_0$ or definable over $M_0$, respectively. We show that any abelian group definable in a p-adically closed field is an extension of a definably compact fsg definable group by a dfg definable group. We discuss an approach which might prove a (...) similar statement for interpretable abelian groups. In the case where G is an abelian group definable in the standard model $\mathbb {Q}_p$, we show that $G^0 = G^{00}$, and that G is an open subgroup of an algebraic group, up to finite factors. This latter result can be seen as a rough classification of abelian definable groups in $\mathbb {Q}_p$. (shrink)

Denef and Loeser defined a map from the Grothendieck ring of sets definable in pseudo-finite fields to the Grothendieck ring of Chow motives, thus enabling to apply any cohomological invariant to these sets. We generalize this to perfect, pseudo algebraically closed fields with pro-cyclic Galois group. In addition, we define some maps between different Grothendieck rings of definable sets which provide additional information, not contained in the associated motive. In particular we infer that the map (...) of Denef-Loeser is not injective. (shrink)

We present two of the three major steps in the construction of motivic integration, that is, a homomorphism between Grothendieck semigroups that are associated with a first-order theory of algebraically closed valued fields, in the fundamental work of Hrushovski and Kazhdan [8]. We limit our attention to a simple major subclass of V-minimal theories of the form ACV FS, that is, the theory of algebraically closed valued fields of pure characteristic 0 expanded by (...) a -generated substructure S in the language . The main advantage of this subclass is the presence of syntax. It enables us to simplify the arguments with many different technical details while following the major steps of the Hrushovski–Kazhdan theory. (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)

We give a complete description of minimal groups infinitely definable in separably closed fields of finite degree of imperfection. In particular we answer positively the question of the existence of such a group with infinite transcendence degree (i.e., a minimal group with non thin generic).

Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that each regular field is algebraically closed. Standard arguments show that a generically stable regular field is algebraically closed. LetKbe a regular field which is not generically stable and letpbe its global generic type. We observe that ifKhas a (...) finite extensionLof degreen, thenPhas unbounded orbit under the action of the multiplicative group ofL.Known to be true in the minimal context, it remains wide open whether regular, or even quasi-minimal, groups are abelian. We show that if it is not the case, then there is a counter-example with a unique nontrivial conjugacy class, and we notice that a classical group with one nontrivial conjugacy class is not quasi-minimal, because the centralizers of all elements are uncountable. Then, we construct a group of cardinality ω1with only one nontrivial conjugacy class and such that the centralizers of all nontrivial elements are countable. (shrink)

We introduce a new construction of real closed fields by using an elementary extension of an ordered field with an integer part satisfying. This method can be extend to a finite extension of an ordered field with an integer part satisfying. In general, a field obtained from our construction is either real closed or algebraically closed, so an analogy of Ostrowski's dichotomy holds. Moreover we investigate recursive saturation of an o‐minimal extension of a (...) real closed field by finitely many function symbols. (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 (...) class='Hi'>fields, in terms of valued trees, and a decomposition of valued trees which is used in the coding of certain sets of discs. (shrink)

We study the generic theory of algebraically closed fields of fixed positive characteristic with a predicate for an additive subgroup, called $\mathrm {ACFG}$. This theory was introduced in [16] as a new example of $\mathrm {NSOP}_{1}$ nonsimple theory. In this paper we describe more features of $\mathrm {ACFG}$, such as imaginaries. We also study various independence relations in $\mathrm {ACFG}$, such as Kim-independence or forking independence, and describe interactions between them.

We give a simplified proof of elimination of imaginaries in ACVF, based on ideas of Hrushovski. This proof manages to avoid many of the technical issues which arose in the original proof by Haskell, Hrushovski, and Macpherson.

The stability of each of the theories of separably closed fields is proved, in the manner of Shelah's proof of the corresponding result for differentially closed fields. These are at present the only known stable but not superstable theories of fields. We indicate in § 3 how each of the theories of separably closed fields can be associated with a model complete theory in the language of differential algebra. We assume familiarity (...) class='Hi'>with some basic facts about model completeness [4], stability [7], separably closed fields [2] or [3], and (for § 3 only) differential fields [8]. (shrink)

We give an intuitionistic axiomatisation of real closed fields which has the constructive reals as a model. The main result is that this axiomatisation together with just the decidability of the order relation gives the classical theory of real closed fields. To establish this we rely on the quantifier elimination theorem for real closed fields due to Tarski, and a conservation theorem of classical logic over intuitionistic logic for geometric theories.

By RCA 0 , we denote a subsystem of second order arithmetic based on Δ0 1 comprehension and Δ0 1 induction. We show within this system that the real number system R satisfies all the theorems (possibly with non-standard length) of the theory of real closed fields under an appropriate truth definition. This enables us to develop linear algebra and polynomial ring theory over real and complex numbers, so that we particularly obtain Hilbert’s Nullstellensatz in RCA 0.

According to Belegradek, a first order structure is weakly small if there are countably many $1$-types over any of its finite subset. We show the following results. A field extension of finite degree of an infinite weakly small field has no Artin-Schreier extension. A weakly small field of characteristic $2$ is finite or algebraically closed. A weakly small division ring of positive characteristic is locally finite dimensional over its centre. A weakly small division ring of characteristic $2$ is (...) a field. (shrink)

We consider interpretable topological spaces and topological groups in a p-adically closed field K. We identify a special class of “admissible topologies” with topological tameness properties like generic continuity, similar to the topology on definable subsets of Kn. We show that every interpretable set has at least one admissible topology, and that every interpretable group has a unique admissible group topology. We then consider definable compactness (in the sense of Fornasiero) on interpretable groups. We show that an (...) interpretable group is definably compact if and only if it has finitely satisfiable generics (fsg), generalizing an earlier result on definable groups. As a consequence, we see that fsg is a definable property in definable families of interpretable groups, and that any fsg interpretable group defined over Qp is definably isomorphic to a definable group. (shrink)

We show that the theory of the real field with a generic real power function is decidable, relative to an oracle for the rational cut of the exponent of the power function. We also show the existence of generic computable real numbers, hence providing an example of a decidable o-minimal proper expansion of the real field by an analytic function.

In [6] Messmer and Wood proved quantifier elimination for separably closed fields of finite Ershov invariant e equipped with a (certain) Hasse derivation. We propose a variant of their theory, using a sequence of e commuting Hasse derivations. In contrast to [6] our Hasse derivations are iterative.

Fix an algebraically closed field of characteristic zero and let G be its geometry of transcendence degree one extensions. Let X be a set of points of G. We show that X extends to a projective subgeometry of G exactly if the partial derivatives of the polynomials inducing dependence on its elements satisfy certain separability conditions. This analysis produces a concrete representation of the coordinatizing fields of maximal projective subgeometries of G.

Starting from the formal expressions of the hydrodynamical (or “local”) quantities employed in the applications of Clifford algebras to quantum mechanics, we introduce—in terms of the ordinary tensorial language—a new definition for the field of a generic quantity. By translating from Clifford into tensor algebra, we also propose a new (nonrelativistic) velocity operator for a spin- ${\frac{1}{2}}$ particle. This operator appears as the sum of the ordinary part p/m describing the mean motion (the motion of the center-of-mass), and of (...) a second part associated with the so-called Zitterbewegung, which is the spin “internal” motion observed in the center-of-mass frame (CMF). This spin component of the velocity operator is nonzero not only in the Pauli theoretical framework, i.e., in the presence of external electromagnetic fields with a nonconstant spin function, but also in the Schrödinger case, when the wavefunction is a spin eigenstate. Thus, one gets even in the latter case a decomposition of the velocity field for the Madelung fluid into two distinct parts, which constitutes the nonrelativistic analogue of the Gordon decomposition for the Dirac current. Explicit calculations are presented for the velocity field in the particular cases of the hydrogen atom, of a spherical well potential, and of an electron in a uniform magnetic field. We find, furthermore, that the Zitterbewegung motion involves a velocity field which is solenoidal, and that the local angular velocity is parallel to the spin vector. In the presence of a nonuniform spin vector (Pauli case) we have, besides the component of the local velocity normal to the spin (present even in the Schrödinger theory), also a component which is parallel to the curl of the spin vector. (shrink)

It is shown that the theory of fields with an automorphism has a decidable model companion. Quantifier-elimination is established in a natural language. The theory is intimately connected to Ax's theory of pseudofinite fields, and analogues are obtained for most of Ax's classical results. Some indication is given of the connection to nonstandard Frobenius maps.

In this paper, we prove that a pseudo-exponential field has continuum many nonisomorphic countable real closed exponential subfields, each with an order-preserving exponential map which is surjective onto the nonnegative elements. Indeed, this is true of any algebraically closed exponential field satisfying Schanuel’s conjecture.

A look at history showed that theology always has to face contemporary demands in terms of its scientific character. At present, processes of pluralisation and secularisation challenge the existence of theology at universities not only against the background of religious studies, which are independent of the churches, but also, for example, in relation to innovative life sciences or cognitive sciences. In this context, an essential point to consider was that theology – like social systems in general and science in particular (...) – is characterised by an increasing differentiation. This differentiation of science implied an increasing specialisation of research, which could also be observed in the field of theology and its sub-disciplines. This article accordingly addressed the question of how, in the face of increasingly specialised research studies, the unity of theology can be justified beyond abstract and sweeping determinations. The present contribution suggested that in this respect a model of research designs developed in religious didactics might prove useful. This model of research design could essentially be understood as consisting of three research dimensions that define a research space, in which the research study on the didactics of religion can be located in the three-dimensional space by the research goal as a formatting factor. The three dimensions of this model, including the research goal, seemed to be broad enough to be tested in other sub-disciplines of theology as well to see whether their research can be more closely defined with them.Contribution: Accordingly, the contribution of this article was to raise the question, in view of an increasing specialisation of theological research, to what extent a model of research designs developed in the didactics of religion could be transferred to other sub-disciplines of theology. Should this succeed a new approach to justifying the unity of theology could become available, which is able to take into account the current differentiation of theology. (shrink)

It is shown that the physics and semantics of quantum measurement provide a natural interpretation of the weak neighborhoods of the states on observable algebras without invoking any idea of “a reading error” or “a measured range.” Then the state preparation process in quantum measurement theory is shown to give the normal (or locally normal) states on the observable algebra. Some remarks are made concerning the physical implications of normal states for systems with an infinite number of degrees of (...) freedom, including questions on open and closed algebraic theories. (shrink)

We construct an algebra of generalized functions endowed with a canonical embedding of the space of Schwartz distributions.We offer a solution to the problem of multiplication of Schwartz distributions similar to but different from Colombeau’s solution.We show that the set of scalars of our algebra is an algebraically closed field unlike its counterpart in Colombeau theory, which is a ring with zero divisors. We prove a Hahn–Banach extension principle which does not hold in Colombeau theory. We (...) establish a connection between our theory with non-standard analysis and thus answer, although indirectly, a question raised by Colombeau. This article provides a bridge between Colombeau theory of generalized functions and non-standard analysis. (shrink)

Abstract.In this paper we show that the theory of fields together with an integrally closed subring, the theory of formally real fields with a real holomorphy ring and the theory of formally \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $p$\end{document}-adic fields with a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $p$\end{document}-adic holomorphy ring have no model companions in the language of fields augmented by a unary predicate (...) for the corresponding ring. (shrink)