A group is small if it has only countably many complete n-types over the empty set for each natural number n. More generally, a group G is weakly small if it has only countably many complete 1-types over every finite subset of G. We show here that in a weakly small group, subgroups which are definable with parameters lying in a finitely generated algebraic closure satisfy the descending chain conditions for their traces in any finitely generated algebraic closure. An (...) infinite weakly small group has an infinite abelian subgroup, which may not be definable. A small nilpotent group is the central product of a definable divisible group with a definable one of bounded exponent. In a group with simple theory, any set of pairwise commuting elements is contained in a definable finite-by-abelian subgroup. First corollary: a weakly small group with simple theory has an infinite definable finite-by-abelian subgroup. Secondly, in a group with simple theory, a solvable group A of derived length n is contained in an A-definable almost solvable group of class at most 2n — 1. (shrink)

It is proved that there is a formula$\pi \left$in the first-order language of group theory such that each component and each non-abelian minimal normal subgroup of a finite groupGis definable by$\pi \left$for a suitable elementhofG; in other words, each such subgroup has the form$\left\{ {x|x\pi \left} \right\}$for someh. A number of consequences for infinite models of the theory of finite groups are described.

We present finitary formulations of two well known results concerning infinite series, namely Abel's theorem, which establishes that if a series converges to some limit then its Abel sum converges to the same limit, and Tauber's theorem, which presents a simple condition under which the converse holds. Our approach is inspired by proof theory, and in particular Gödel's functional interpretation, which we use to establish quantitative versions of both of these results.

In this article we consider some questions raised by F. Benoist, E. Bouscaren, and A. Pillay. We prove that infinitely $p$-divisible points on abelian varieties defined over function fields of transcendence degree one over a finite field are necessarily torsion points. We also prove that when the endomorphism ring of the abelian variety is $\mathbb{Z}$, then there are no infinitely $p$-divisible points of order a power of $p$.

Let G be a finite group. For every formula ø in the language of groups, let K denote the class of groups H such that ø is a normal abelian subgroup of H and the quotient group H;ø is isomorphic to G. We show that if G is nilpotent and its order is not square-free, then there exists a formula ø such that the theory of K is undecidable.

We show that, for each finite group G, there exists an axiomatization of the class of abelian-by-G groups with a single sentence. In the proof, we use the definability of the subgroups M n in an abelian-by-finite group M, and the Auslander-Reiten sequences for modules over an Artin algebra.

We characterize preservation of superstability and ω-stability for finite extensions of abelian groups and reduce the general case to the case of p-groups. In particular we study finite extensions of divisible abelian groups. We prove that superstable abelian-by-finite groups have only finitely many conjugacy classes of Sylow p-subgroups.

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)

We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimension. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that a pseudofinite $\widetilde {\mathfrak M}_c$ -group of finite positive dimension contains a finite-by-abelian subgroup of positive dimension, and a pseudofinite group of dimension 2 contains a soluble subgroup of dimension 2.

In [01], we gave algebraic characterizations of elementary equivalence for finitely generated finite-by-abelian groups, i.e. finitely generated FC-groups. We also provided several examples of finitely generated finite-by-abelian groups which are elementarily equivalent without being isomorphic. In this paper, we shall use our previous results to describe precisely the models of the theories of finitely generated finite-by-abelian groups and the elementary embeddings between these models.

An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU-rank. Every definable subgroup is commensurable with an acl( $\emptyset$ )-definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU-rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU-rank.

Let G be a stable abelian group with regular modular generic. We show that either 1. there is a definable nongeneric K ≤ G such that G/K has definable connected component and so strongly regular generics, or 2. distinct elements of the division ring yielding the dependence relation are represented by subgroups of G × G realizing distinct strong types (when regarded as elements of G eq ). In the latter case one can choose almost 0-definable subgroups representing the (...) elements of the division ring. We find a bound $((G: G^0))$ for the size of the division ring in case G has no definable subgroup K so that G/K is infinite with definable connected component. We show in case (2) that the group G/H, where H consists of all nongeneric points of G, inherits a weakly minimal group structure from G naturally, and Th(G/H) is independent of the particular model G as long as G/H is infinite. (shrink)

Given a finitely generated group Γ, we study the space Isom(Γ, ℚ������) of all actions of Γ by isometries of the rational Urysohn metric space ℚ������, where Isom(Γ, ℚ������) is equipped with the topology it inherits seen as a closed subset of Isom(ℚ������) Γ . When Γ is the free group ������ n on n generators this space is just Isom(ℚ������) n , but is in general significantly more complicated. We prove that when Γ is finitely generated Abelian there (...) is a generic point in Isom(Γ, ℚ������), i.e., there is a comeagre set of mutually conjugate isometric actions of Γ on ℚ������. (shrink)

We consider structures A consisting of an abelian group with a subgroup AP distinguished by a 1-ary relation symbol P, and complete theories T of such structures. Such a theory T is -categorical if T has models A of cardinality λ with AP=κ, and given any two such models A,B with AP=BP, there is an isomorphism from A to B which is the identity on AP. We classify all complete theories of such structures A in terms of the (...) cardinal pairs in which they are categorical. We classify algebraically the A of finite order λ with AP of order κ which are -categorical. (shrink)

We prove that a nonabelian superstable CSA-group has an infinite definable simple subgroup all of whose proper definable subgroups are abelian. This imply in particular that the existence of nonabelian CSA-group of finite Morley rank is equivalent to the existence of a simple bad group all whose definable proper subgroups are abelian. We give a new proof of a result of Mustafin and Poizat [E. Mustafin, B. Poizat, Sous-groupes superstables de SL2 ] which states that (...) a superstable model of the universal theory of nonabelian free groups is abelian. We deduce also that a superstable torsion-free hyperbolic group is cyclic. We close the paper by showing that an existentially closed CSA*-group is not superstable. (shrink)

An $\omega$-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU-rank. Every definable subgroup is commensurable with an acl-definable subgroup. Every finitely based regular type in a CM-trivial $\omega$-categorical simple theory is non-orthogonal to a type of SU-rank 1. In particular, a supersimple $\omega$-categorical CM-trivial theory has finite SU-rank.

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.

We give Scott sentences for certain computable groups, and we use index set calculations as a way of checking that our Scott sentences are as simple as possible. We consider finitely generated groups and torsion-free abelian groups of finite rank. For both kinds of groups, the computable ones all have computable \ Scott sentences. Sometimes we can do better. In fact, the computable finitely generated groups that we have studied all have Scott sentences that are “computable d-\” sentence (...) and a computable \ sentence). In [9], this was shown for the finitely generated free groups. Here we show it for all finitely generated abelian groups, and for the infinite dihedral group. Among the computable torsion-free abelian groups of finite rank, we focus on those of rank 1. These are exactly the additive subgroups of \. We show that for some of these groups, the computable \ Scott sentence is best possible, while for others, there is a computable d-\ Scott sentence. (shrink)

F. Oger proved that if A is a finite group, then the class of groups which are abelian-by-A can be axiomatized by a single first order sentence. It is established here that, in Oger's result, the word abelian cannot be replaced by group.

Robinson and Zakon gave necessary and sufficient conditions for an abelian ordered group to satisfy the same first‐order sentences as an archimedean abelian ordered group (i.e., which embeds in the group of real numbers). The present paper generalizes their work to obtain similar results for infinite subgroups of the group of unimodular complex numbers. Furthermore, the groups which satisfy the same first‐order sentences as ultraproducts of finite cyclic groups are characterized.

We show that if G is a group of finite Morley rank, then the verbal subgroup is of finite width, where w is a concise word. As a byproduct, we show that if G is any abelian-by-finite group, then Gn= is definable.

The Schur-Zassenhaus Theorem is one of the fundamental theorems of finite group theory. Here is its statement:Fact1.1 (Schur-Zassenhaus Theorem). Let G be a finite group and let N be a normal subgroup of G. Assume that the order ∣N∣ is relatively prime to the index [G:N]. Then N has a complement in G and any two complements of N are conjugate in G.The proof can be found in most standard books in group theory, e.g., in [S, Chapter (...) 2, Theorem 8.10]. The original statement stipulated one ofNorG/Nto be solvable. Since then, the Feit-Thompson theorem [FT] has been proved and it forces eitherNorG/Nto be solvable. (The analogous Feit-Thompson theorem for groups of finite Morley rank is a long standing open problem).The literal translation of the Schur-Zassenhaus theorem to the finite Morley rank context would state that in a groupGof finite Morley rank a normal π-Hall subgroup (if it exists at all) has a complement and all the complements are conjugate to each other. (Recall that a groupHis called aπ-group, where π is a set of prime numbers, if elements ofHhave finite orders whose prime divisors are from π. Maximal π-subgroups of a groupGare called π-Hall subgroups. They exist by Zorn's lemma. Since a normal π-subgroup ofGis in all the π-Hall subgroups, if a group has a normal π-Hall subgroup then this subgroup is unique.)The second assertion of the Schur-Zassenhaus theorem about the conjugacy of complements is false in general. As a counterexample, consider the multiplicative group ℂ* of the complex number field ℂ and consider thep-Sylow for any primep, or even the torsion part of ℂ*. LetHbe this subgroup.Hhas a complement, but this complement is found by Zorn's Lemma (consider a maximal subgroup that intersectsHtrivially) and the use of Zorn's Lemma is essential. In fact, by Zorn's Lemma, any subgroup that has a trivial intersection withHcan be extended to a complement ofH. Since ℂ* is abelian, these complements cannot be conjugated to each other. (shrink)

We analyze model-theoretic connected components in extensions of a given group by abelian groups which are defined by means of 2-cocycles with finite image. We characterize, in terms of these 2-cocycles, when the smallest type-definable subgroup of the corresponding extension differs from the smallest invariant subgroup. In some situations, we also describe the quotient of these two connected components. Using our general results about extensions of groups together with Matsumoto–Moore theory or various quasi-characters considered in bounded (...) cohomology, we obtain new classes of examples of groups whose smallest type-definable subgroup of bounded index differs from the smallest invariant subgroup of bounded index. This includes the first known example of a group with this property found by Conversano and Pillay, namely the universal cover of [Formula: see text], as well as various examples of different nature, e.g. some central extensions of free groups or of fundamental groups of closed orientable surfaces. As a corollary, we get that both non-abelian free groups and fundamental groups of closed orientable surfaces of genus [Formula: see text], expanded by predicates for all subsets, have this property, too. We also obtain a variant of the example of Conversano and Pillay for [Formula: see text] instead of [Formula: see text], which was not accessible by the previously known methods. (shrink)

Let G be a finite group. We prove that the theory af abelian-by-G groups is decidable if and only if the theory of modules over the group ring ℤ[G] is decidable. Then we study some model theoretic questions about abelian-by-G groups, in particular we show that their class is elementary when the order of G is squarefree.

Aggregative consequentialism and several other popular moral theories are threatened with paralysis: when coupled with some plausible assumptions, they seem to imply that it is always ethically indifferent what you do. Modern cosmology teaches that the world might well contain an infinite number of happy and sad people and other candidate value-bearing locations. Aggregative ethics implies that such a world contains an infinite amount of positive value and an infinite amount of negative value. You can affect only (...) a finite amount of good or bad. In standard cardinal arithmetic, an infinite quantity is unchanged by the addition or subtraction of any finite quantity. So it appears you cannot change the value of the world. Modifications of aggregationism aimed at resolving the paralysis are only partially effective and cause severe side effects, including problems of “fanaticism”, “distortion”, and erosion of the intuitions that originally motivated the theory. Is the infinitarian challenge fatal? (shrink)

We study the algebraic implications of the non-independence property and variants thereof on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a henselian valuation. Our results mainly focus on Hahn fields and build up on Will Johnson’s “The canonical topology on dp-minimal fields” :1850007, 2018).

Motivated by aspects of reasoning in theories of physics, Robin Giles defined a characterization of infinite valued Łukasiewicz logic in terms of a game that combines Lorenzen-style dialogue rules for logical connectives with a scheme for betting on results of dispersive experiments for evaluating atomic propositions. We analyze this game and provide conditions on payoff functions that allow us to extract many-valued truth functions from dialogue rules of a quite general form. Besides finite and infinite valued Łukasiewicz (...) logics, also Meyer and Slaney’s Abelian logic and Cancellative Hoop Logic turn out to be characterizable in this manner. (shrink)

We generalize two of our previous results on abelian definable groups in p-adically closed fields [12, 13] to the non-abelian case. First, we show that if G is a definable group that is not definably compact, then G has a one-dimensional definable subgroup which is not definably compact. This is a p-adic analogue of the Peterzil–Steinhorn theorem for o-minimal theories [16]. Second, we show that if G is a group definable over the standard model $\mathbb {Q}_p$, then (...) $G^0 = G^{00}$. As an application, definably amenable groups over $\mathbb {Q}_p$ are open subgroups of algebraic groups, up to finite factors. We also prove that $G^0 = G^{00}$ when G is a definable subgroup of a linear algebraic group, over any model. (shrink)

By operations on models we show how to relate completeness with respect to permissivenominal models to completeness with respect to nominal models with finite support. Models with finite support are a special case of permissive-nominal models, so the construction hinges on generating from an instance of the latter, some instance of the former in which sufficiently many inequalities are preserved between elements. We do this using an infinite generalisation of nominal atoms-abstraction. The results are of interest in (...) their own right, but also, we factor the mathematics so as to maximise the chances that it could be used off-the-shelf for other nominal reasoning systems too. Models with infinite support can be easier to work with, so it is useful to have a semi-automatic theorem to transfer results from classes of infinitely-supported nominal models to the more restricted class of models with finite support. In conclusion, we consider different permissive-nominal syntaxes and nominal models and discuss how they relate to the results proved here. (shrink)

In this paper is presented and discussed the notion of true finite by opposition to the notion of theoretical finite. Examples from mathematics and physics are given. Fermat’s infinite descent principle is challenged.

This is the preface for a special volume published by the Journal of Applied Non-Classical Logics Volume 9, Issue 1, 1999.

Our concern is the axiomatisation problem for modal and algebraic logics that correspond to various fragments of two-variable first-order logic with counting quantifiers. In particular, we consider modal products with Diff, the propositional unimodal logic of the difference operator. We show that the two-dimensional product logic $Diff \times Diff$ is non-finitely axiomatisable, but can be axiomatised by infinitely many Sahlqvist axioms. We also show that its ‘square’ version (the modal counterpart of the substitution and equality free fragment of two-variable first-order (...) logic with counting to two) is non-finitely axiomatisable over $Diff \times Diff$ , but can be axiomatised by adding infinitely many Sahlqvist axioms. These are the first examples of products of finitely axiomatisable modal logics that are not finitely axiomatisable, but axiomatisable by explicit infinite sets of canonical axioms. (shrink)

000000001. Introduction Call a theory of the good—be it moral or prudential—aggregative just in case (1) it recognizes local (or location-relative) goodness, and (2) the goodness of states of affairs is based on some aggregation of local goodness. The locations for local goodness might be points or regions in time, space, or space-time; or they might be people, or states of nature.1 Any method of aggregation is allowed: totaling, averaging, measuring the equality of the distribution, measuring the minimum, etc.. Call (...) a theory of the good finitely additive just in case it is aggregative, and for any finite set of locations it aggregates by adding together the goodness at those locations. Standard versions of total utilitarianism typically invoke finitely additive value theories (with people as locations). A puzzle can arise when finitely additive value theories are applied to cases involving an infinite number of locations (people, times, etc.). Suppose, for example, that temporal locations are the locus of value, and that time is discrete, and has no beginning or end.2 How would a finitely additive theory (e.g., a temporal version of total utilitarianism) judge the following two worlds? Goodness at Locations (e.g. times) w1:..., 2, 2, 2, 2, 2, 2, 2, 2, 2, ..... w2:..., 1, 1, 1, 1, 1, 1, 1, 1, 1, ..... Example 1 At each time w1 contains 2 units of goodness and w2 contains only 1. Intuitively, we claim, if the locations are the same in each world, finitely additive theorists will want to claim that w1 is better than w2. But it's not clear how they could coherently hold this view. For using standard mathematics the sum of each is the same infinity, and so there seems to be no basis for claiming that one is better than the other.3 (Appealing to Cantorian infinities is of no help here, since for any Cantorian infinite N, 2xN=1xN.). (shrink)

We give new examples of FA presentable torsion-free abelian groups. Namely, for every n2, we construct a rank n indecomposable torsion-free abelian group which has an FA presentation. We also construct an FA presentation of the group in which every nontrivial cyclic subgroup is not FA recognizable.

We show that two abelian-by-finite groups are elementarily equivalent if and only if they satisfy the same sentences with two alternations of quantifiers. We also prove that abelian-by-finite groups satisfy a quantifier elimination property. On the other hand, for each integer n, we give some examples of nilpotent groups which satisfy the same sentences with n alternations of quantifiers and do not satisfy the same sentences with n + 1 alternations of quantifiers.

In this paper, we consider, for a set \ of natural numbers, the following notions of finitenessFIN1:There are a natural number l and a bijection f between \\);FIN5:It is not the case that \\), and infinitenessINF1:There are not a natural number l and a bijection f between \\);INF5:\\). In this paper, we systematically compare them in the method of constructive reverse mathematics. We show that the equivalence among them can be characterized by various combinations of induction axioms and non-constructive principles, (...) including the axiom of bounded comprehension. (shrink)

In this paper, I suggest that infinite numbers are large finite numbers, and that infinite numbers, properly understood, are 1) of the structure omega + (omega* + omega)Ө + omega*, and 2) the part is smaller than the whole. I present an explanation of these claims in terms of epistemic limitations. I then consider the importance, part of which is demonstrating the contradiction that lies at the heart of Cantorian set theory: the natural numbers are too large (...) to be counted by any finite number, but too small to be counted by any infinite number – there is no number of natural numbers. (shrink)

This contribution sheds light on the role of infinite idealization in structural analysis, by exploring how infinite elements and finite element methods are combined in civil engineering models. This combination, I claim, should be read in terms of a ‘complementarity function’ through which the representational ideal of completeness is reached in engineering model-building. Taking a cue from Weisberg’s definition of multiple-model idealization, I highlight how infinite idealizations are primarily meant to contribute to the prediction of structural (...) behavior in Multiphysics approaches. (shrink)

This contribution sheds light on the role of infinite idealization in structural analysis, by exploring how infinite elements and finite element methods are combined in civil engineering models. This combination, I claim, should be read in terms of a ‘complementarity function’ through which the representational ideal of completeness is reached in engineering model-building. Taking a cue from Weisberg’s definition of multiple-model idealization, I highlight how infinite idealizations are primarily meant to contribute to the prediction of structural (...) behavior in Multiphysics approaches. (shrink)

The concept of an infinite game played on a finite graph is perhaps novel in the context of an rather extensive recent literature in which infinite games are generally played on an infinite game tree. We claim two advantages for our model, which is admittedly more restrictive. First, our games have a more apparent resemblance to ordinary parlor games in spite of their infinite duration. Second, by distinguishing those nodes of the graph that determine the (...) winning and losing of the game , we are able to offer a complexity analysis that is useful in computer science applications. (shrink)

We give a reduction of the function field Mordell–Lang conjecture to the function field Manin–Mumford conjecture, for abelian varieties, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski geometries. Additional ingredients include the “Theorem of the Kernel”, and a result of Wagner on commutative groups of finite Morley rank without proper infinite definable subgroups. In positive characteristic, where the main interest lies, there is one more crucial ingredient: “quantifier-elimination” for the (...) corresponding [Formula: see text] where [Formula: see text] is a saturated separably closed field. (shrink)

When I undertook to write an article for mathematical laymen on the mathematical infinite. I did not realize the depths of my own layness, I do now. Having refreshed my memory of the classics of infinity by re-reading among other things the famous papers of Cantor and Zermelo, and having struggled like a boa constrictor to swallow the latest papal bull on the human significance of the infinite, I am completely reduced to what Professor E. W. Hobson aptly (...) and somewhat indignantly calls Mathematical Nihilism. (shrink)

We show that the existence of an infinite set can be reduced to the existence of finite sets “as big as we will”, provided that a multivalued extension of the relation of equipotence is admitted. In accordance, we modelize the notion of infinite set by a fuzzy subset representing the class of wide sets.

We know quite a lot about the general structure of ω-stable solvable centerless groups of finite Morley rank. Abelian groups of finite Morley rank are also well-understood. By comparison, nonabelian nilpotent groups are a mystery except for the following general results:• An ω1-categorical torsion-free nonabelian nilpotent group is an algebraic group over an algebraically closed field of characteristic 0 [Z3].• A nilpotent group of finite Morley rank is the central product of a definable subgroup of (...) finite exponent and of a definable divisible subgroup [N3].• A divisible nilpotent group of finite Morley rank is the direct product of its torsion part (which is central) and of a torsion-free subgroup [N3].However, we do not understand nilpotent groups of bounded exponent. It seems that the classification of nilpotent (but nonabelian)p-groups of finite Morley rank is impossible. Even the nilpotent groups of Morley rank 2 contain insurmountable difficulties [C], [T]. At first glance, this may seem to be an obstacle to proving the Cherlin-Zil'ber conjecture (“simple groups of finite Morley rank are algebraic groups”). Our purpose in this article is to show that if such a group is a definable subgroup of a nonnilpotent group, then it is possible to obtain a classification within the boundaries of our present knowledge. In this respect, our article may be considered as a relief to those who are trying to classify simple groups of finite Morley rank.Before explicitly stating our result, we need the following definition. (shrink)

In this paper we study the relativized Lascar Galois group of a strong type. The group is a quasi-compact connected topological group, and if in addition the underlying theory T is G-compact, then the group is compact. We apply compact group theory to obtain model theoretic results in this note. -/- For example, we use the divisibility of the Lascar group of a strong type to show that, in a simple theory, such types have a certain model theoretic property that (...) we call divisible amalgamation. -/- The main result of this paper is that if c is a finite tuple algebraic over a tuple a, the Lascar group of stp(ac) is abelian, and the underlying theory is G-compact, then the Lascar groups of stp(ac) and of stp(a) are isomorphic. To show this, we prove a purely compact group-theoretic result that any compact connected abelian group is isomorphic to its quotient by every finite subgroup. -/- Several (counter)examples arising in connection with the theoretical development of this note are presented as well. For example, we show that, in the main result above, neither the assumption that the Lascar group of stp(ac) is abelian, nor the assumption of c being finite can be removed. (shrink)

Orthogonality in model theory captures the idea of absence of non-trivial interactions between definable sets. We introduce a somewhat opposite notion of cohesiveness, capturing the idea of interaction among all parts of a given definable set. A cohesive set is indecomposable, in the sense that if it is internal to the product of two orthogonal sets, then it is internal to one of the two. We prove that a definable group in an o-minimal structure is a product of cohesive orthogonal (...) subsets. If the group has dimension one, or it is definably simple, then it is itself cohesive. As an application, we show that an abelian group definable in the disjoint union of finitely many o-minimal structures is a quotient, by a discrete normal subgroup, of a direct product of locally definable groups in the single structures. (shrink)

One of the purposes of this paper is to prove a partial Schur-Zassenhaus Theorem for groups of finite Morley rank.Theorem 2.Let G be a solvable group of finite Morley rank. Let π be a set of primes, and let H ⊲ G a normal π-Hall subgroup. Then H has a complement in G.This result has been proved in [1] with the additional assumption thatGis connected, and thought to be generalized in [2] by the authors of the present (...) article. Unfortunately in the last section of the latter paper there is an irrepairable mistake. Here we give a new proof of the Schur-Zassenhaus Theorem using the results of [2] up to the last section and a new result that we are going to state below.The second author has shown in [11] that a nilpotentω-stable group is the central product of a divisible subgroup and a subgroup of bounded exponent, generalizing a well-known result of Angus Macintyre about abelian groups [8]. One could ask a similar question for solvable groups: are they a product of two subgroups, one divisible, one of bounded exponent? One is allowed to be hopeful because of the well-known decomposition of the connected solvable algebraic groups over algebraically closed fields as the product of the unipotent radical and a torus. (shrink)

In this article, I consider the importance of philosophy in the dialogue between religious believers and non-believers. I begin by arguing that a new epistemology of epistemic peer disagreement is required if the dialogue is to progress. Rather than viewing the differences between the positions as due to a deficit of understanding, I argue that differences result from the existential anchoring of such enquiries in life projects and the under-determination of interpretations by experience. I then explore a central issue which (...) is often implicit in these dialogues, namely the ontological status of God-world relations. Drawing on the reflections of Hegel on the infinite and the finite, I argue that his version of panentheism provides an insightful way to conceptualise God-world relations that avoids both dualistic and monistic approaches and helps to explicate a holistic ontology of transcendence from within the world of experience. (shrink)