We apply Hrushovski-Fraïssé's amalgamation procedure to obtain a theory of fields of prime characteristic of Morley rank 2 equipped with a definable additive subgroup of rank 1.

Let T1 and T2 be two countable strongly minimal theories with the DMP whose common theory is the theory of vector spaces over a fixed finite field. We show that T1 ∪ T2 has a strongly minimal completion.

Summary. From known examples of theories T obtained by Hrushovski-constructions and of infinite Morley rank, properties are extracted, that allow the collapse to a finite rank substructure. The results are used to give a more model-theoretic proof of the existence of the new uncountably categorical groups in [3].

Let T be a model-complete theory that eliminates the quantifier $\exists^\infty x$ . For T we construct a theory T+ such that any element in a model of T+ determines a model of T. We show that T+ has a model companion T1. We can iterate the construction. The produced theories are investigated.

In this paper we construct a non-CM-trivial stable theory in which no infinite field is interpretable. In fact our theory will also be trivial and ω-stable, but of infinite Morley rank. A long term aim would be to find a nonCM-trivial theory which has finite Morley rank (or is even strongly minimal) and does not interpret a field. The construction in this paper is direct, and is a “3-dimensional” version of the free pseudoplane. In a sense we are cheating: the (...) original point of the notion ofCM-triviality was to describe the geometry of a strongly minimal set, or even of a regular type. In our example, non-CM-triviality will come from the behaviour of three orthogonal regular types.A stable theory is said to beCM-trivial if wheneverA⊆Band acl(Ac) ∩ acl(B) = acl(A) inTeq, then Cb(stp(c/A)) ⊆ Cb(stp(c/B)). ( An infinite stable field will not beCM-trivial.) The notion is due to Hrushovski [3], where he gave several equivalent definitions, as well as showing that his new strongly minimal sets constructed “ab ovo” wereCM-trivial. The notion was studied further in [6] where it was shown thatCM-trivial groups of finite Morley rank are nilpotent-by-finite. These results were generalized in various ways to the superstable case in [8]. (shrink)

The paper continues [1]. Let S be a complete theory of ultraflat (e.g. planar) graphs as introduced in [4]. We show a strong form of NOTOP for S: The union of two models M1 and M2, independent over a common elementary submodel M0, is the primary model over M1 ∪ M2 of S. Then by results of [1] Mekler's construction [6] gives for such a theory S of nice ultraflat graphs a superstable 2-step-nilpotent group of exponent $p (>2)$ with NDOP (...) and NOTOP. (shrink)

For every structure M of finite signature Mekler 781) has constructed a group G such that for every κ the maximal number of n -types over an elementary equivalent model of cardinality κ is the same for M and G . These groups are nilpotent of class 2 and of exponent p , where p is a fixed prime greater than 2. We consider stable structures M only and show that M is CM -trivial if and only if G is (...) CM -trivial. Furthermore, we obtain that the free group F 2 in the variety of 2 -nilpotent groups of exponent p>2 with ω free generators has a CM -trivial ω -stable theory. (shrink)

We prove the elimination of Magidor-Malitz quantifiers for R-modules relative to certain Q 2 α -core sentences and positive primitive formulas. For complete extensions of the elementary theory of R-modules it follows that all Ramsey quantifiers (ℵ 0 -interpretation) are eliminable. By a result of Baldwin and Kueker [1] this implies that there is no R-module having the finite cover property.

It is possible to define a combinatorial closure on alternating bilinear maps with few relations similar to that in [2]. For the ℵ 0 - categorical case we show that this closure is part of the algebraic closure.

Let S and T be countable complete theories. We assume that T is superstable without the dimensional order property, and S is interpretable in T in such a way that every model of S is coded in a model of T. We show that S does not have the dimensional order property, and we discuss the question of whether $\operatorname{Depth}(S) \leq \operatorname{Depth}(T)$ . For Mekler's uniform interpretation of arbitrary theories S of finite similarity type into suitable theories T s of (...) groups we show that $\operatorname{Depth}(S) \leq \operatorname{Depth}(T_S) \leq 1 + \operatorname{Depth}(S)$. (shrink)

In a recent communication an uncountably categorical group has been constructed that has a non-locally-modular geometry and does not allow the interpretation of a field. We consider a system Δ of elementary axioms fulfilled by some special subgroups of the above group. We show that Δ is complete and stable, but not superstable. It is not even a R-group in the sense discussed by Wagner.

The elementary theory of a nontrivial free Lie algebra over a commutative integral domain is unstable and has the strict order property.

Let T be a countable, complete, ω-stable, nonmultidimensional theory. By Lascar [7], in T eq there is in every dimension of T a type with Lascar rank ω α for some α. We give sufficient conditions for α to coincide with the level of that dimension in Pillay's [10] RK-hierarchy of dimensions computed in T eq . In particular, this is fulfilled for modules.

In lieu of an abstract, here is a brief excerpt of the content:A Bridge From Analysis to Action:Psychodynamic Analyses of Religion and Michael S. Hogue's American ImmanenceAJ Turner (bio)I. IntroductionThe purpose of this essay is to work constructively with Michael S. Hogue's groundbreaking American Immanence: Democracy for an Uncertain World to demonstrate how psychodynamic analyses of religion are essential theoretical allies in the fight for resilient democracy. The "revolution in mind"1 that psychodynamic approaches contribute, especially in their analyses of religion, (...) both complements and complicates socio-political theory as a whole. In the improvisational spirit of "yes-and," the goal here is not to identify and decry the failures and shortcomings of Hogue's theopolitical vision but rather to inspire the recovery of a sibling discourse—a kind of "rebirth of a forgotten alternative"2—that also draws deeply from the American immanental tradition in order to add psychodynamic depth to Hogue's timely and important analysis. Psychodynamic theories of religion shed light on how symbolic identifications, including and especially ultimate concerns, structure personal and collective experience. By engaging religion and theology sympathetically, constructively, and creatively, theorists such as Rollo May, Gordon Allport, Karen Horney, Erich Fromm, and Ernest Becker departed from the skepticism, reductionism, and dismissal that characterized psychoanalytic analyses of religion in the wake of Freud.3 Each of these figures, and especially Becker whose work will be a focus in this essay, are noteworthy interlocutors for extending Hogue's theopolitical theorizing of resilient democracy, particularly in how they drew unique inspiration from the American immanental tradition [End Page 44] in their social analyses. In this respect, they provide a more robust theorization of the psychosocial conditions of the associational ethos needed to connect Hogue's conception of resilient democracy with forms of agonistic organization and democratic activism. Briefly stated, psychodynamic approaches are a helpful bridge for connecting these proposals to strategies of organization, their impediments, and collective action.In this way, both psychodynamic analyses of religion and Hogue's theopolitical innovation insist that no revolutionary political change is possible, and certainly not of the kind or scale needed to counter our wickedly entangled global crises, without a deep engagement with theological imaginaries. They differ, however, in their theoretical aims. Whereas Hogue compellingly argues for the political upshot of a theology deriving from the American immanental tradition, psychodynamic analysts of religion focus on the function of ultimate concerns in individual and collective life. In other words, American Immanence rests on a methodology of analyzing the philosophical and theological assumptions that have contributed to our climate crises and then presenting clear and compelling articulation of an alternative paradigm meant to open up new ways of being. In contrast psychodynamic analyses leverage conceptual clarity of psychic reality for the fundamentally therapeutic aim of transformation. At their best, both approaches share what could be called an etiological orientation to ontological questions in order to provide liberative alternatives through rational understanding and clarification, but the terrain, and thus the problems they hope to mitigate in their analyses are focused differently. Extending the visual metaphor, they are different lenses highlighting different areas of the same landscape. Furthermore, it must be said that neither are sufficient in themselves, but the psychodynamic theorists of religion to be highlighted in this essay share deeply with Hogue's heading in American Immanence.II. A Problematic AssumptionIn emphasizing and attempting to explain4 the role of non-rational processes in the both individual and social processes of perception and organization of experience, psychodynamic theories confound a widely held and problematic assumption that the triumph of rational analysis is the hallmark for building the society to which we should aspire. Political theory in general, [End Page 45] especially as it has taken its cues from a rationalist legacy about the inherently liberating force of Reason, has been weighted toward an assumption that its task of exposing the mystifications of power would suffice in inspiring more "rational" and therefore necessarily equitable social organization. This speaks to the longstanding socio-political interest in "consciousness raising" tactics, which are often meant to dispel "false consciousness." It even comes across in the emphases of Deweyan pragmatists on education. Psychologists of all stripes point out that this approach... (shrink)

Let L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L}$$\end{document} be the language of group theory with n additional new constant symbols c1,…,cn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c_1,\ldots,c_n}$$\end{document}. In L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L}$$\end{document} we consider the class K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb{K}}}$$\end{document} of all finite groups G of exponent p>2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${p > 2}$$\end{document}, where G′⊆⟨c1G,…,cnG⟩⊆Z\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} (...) \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${G'\subseteq\langle c_1^G,\ldots,c_n^G\rangle \subseteq Z}$$\end{document} and c1G,…,cnG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c_1^G,\ldots,c_n^G}$$\end{document} are linearly independent. Using amalgamation we show the existence of Fraïssé limits D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${D}$$\end{document} of K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb{K}}}$$\end{document}. D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${D}$$\end{document} is Felgner’s extra special p-group. The elementary theories of the D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${D}$$\end{document} are supersimple of SU-rank 1. They have the independence property. (shrink)

For many Christians, personal experiences of God provide an important ground or justification for accepting the truth of the gospel. But we are sometimes mistaken about our experiences, and followers of other religions also provide impressive testimonies to support their religious beliefs. This book explores from a philosophical and theological perspective the viability of divine encounters as support for belief in God, arguing that some religious experiences can be accepted as genuine experiences of God and can provide evidence for Christian (...) beliefs. (shrink)

A. W. Price explores the varying ways in which context is relevant to our reasoning about what to do.