A type analysable in one-based types in a simple theory is itself one-based.

We generalize Frécon’s construction of the inevitable radical to groups in stable and even simple theories.

This article examines a series of Schelling-like models of residential segregation, in which agents prefer to be in the minority. We demonstrate that as long as agents care about the characteristics of their wider community, they tend to end up in a segregated state. We then investigate the process that causes this and conclude that the result hinges on the similarity of informational states among agents of the same type. This is quite different from Schelling-like behavior and suggests that segregation (...) is an instance of macrobehavior that can arise from a wide variety of micromotives. (shrink)

In this paper we critically examine and seek to extend Philip Kitcher’s Ethical Project to weave together a distinctive naturalistic conception of how ethics came to occupy the place it does in our lives and how the existing ethical project should be revised and extended into the future. Although we endorse his insight that ethical progress is better conceived of as the improvement of an existing state than an incremental approach towards a fixed endpoint, we nonetheless go on to argue (...) that the metaethical apparatus Kitcher constructs around this creative metaethical proposal simply cannot do the work that he demands of it. The prospect of fundamental conflict between different functions of the ethical project requires Kitcher to appeal to a particular normative stance in order to judge specific changes in the ethical project to be genuinely progressive, and we argue that the virtues of continuity and coherence to which he appeals can only specify rather than justify the normative stance he favors. We conclude by suggesting an alternative approach for ethical naturalists that seems to us ultimately more promising than Kitcher’s own. (shrink)

Common wisdom holds that communication is impossible when messages are costless and communicators have totally opposed interests. This article demonstrates that such wisdom is false. Non-convergent dynamics can sustain partial information transfer even in a zero-sum signalling game. In particular, I investigate a signalling game in which messages are free, the state-act payoffs resemble rock–paper–scissors, and senders and receivers adjust their strategies according to the replicator dynamic. This system exhibits Hamiltonian chaos and trajectories do not converge to equilibria. This persistent (...) out-of-equilibrium behaviour results in messages that do not perfectly reveal the sender's private information, but do transfer information as quantified by the Kullback–Leibler divergence. This finding shows that adaptive dynamics can enable information transmission even though messages at equilibria are meaningless. This suggests a new explanation for the evolution or spontaneous emergence of meaning: non-convergent adaptive dynamics. (shrink)

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.

Lewis signalling games are often used to explain how it is possible for simple agents to develop systems of conventional semantic meaning. In these games, all players obtain identical payoffs in every outcome. This is an unrealistic payoff structure, but it is often employed because it is thought that semantic meaning will not emerge if interests conflict. Here it is shown that not only is conventional meaning possible when interests conflict, but it is the most likely outcome in a finite (...) population model of learning known as the Moran process. On the basis of this result it is suggested that evolutionary game theory’s standard models may yield results that are systematically distorted for a class of signalling games that have the abstract structure of social dilemmas. 1 Introduction2 The Seduction Game3 Imitation Dynamics with Small Mutations4 Dynamics with Unverifiable Message5 Analysis of a Related Three-Strategy Game6 Conclusion. (shrink)

Cooperation and the allocation of common resources are core features of social behavior. Games idealizing both interactions have been studied separately. But here, rather than examining the dynamics of the individual games, the interactions are combined so that players first choose whether to cooperate, and then, if they jointly cooperate, they bargain over the fruits of their cooperation. It is shown that the dynamics of the combined game cannot simply be reduced to the dynamics of the individual games and that (...) both cooperation and fair division are more likely in the combined game than in the constituent games taken separately. (shrink)

A totally ordered group G is essentially periodic if for every definable non-trivial convex subgroup H of G every definable subset of G is equal to a finite union of cosets of subgroups of G on some interval containing an end segment of H; it is coset-minimal if all definable subsets are equal to a finite union of cosets, intersected with intervals. We study definable sets and functions in such groups, and relate them to the quasi-o-minimal groups introduced in Belegradek (...) et al. . Main results: An essentially periodic group G is abelian; if G is discrete, then definable functions in one variable are ultimately piecewise linear. A group such that every model elementarily equivalent to it is coset-minimal is quasi-o-minimal , and its definable functions in one variable are piecewise linear. (shrink)

We reconstruct the group action in the group configuration theorem. We apply it to show that in an ω-categorical theory a finitely based pseudolinear regular type is locally modular, and the geometry associated to a finitely based locally modular regular type is projective geometry over a finite field.

We study local strengthenings of the simplicity condition. In particular, we define and study a local Lascar rank, as well as short, low, supershort and superlow theories. An example of a low, non supershort theory is given.

If G is an omega-stable group with a normal definable subgroup H, then the Sylow-2-subgroups of G/H are the images of the Sylow-2-subgroups of G. /// Sei G eine omega-stabile Gruppe und H ein definierbarer Normalteiler von G. Dann sind die Sylow-2-Untergruppen von G/H Bilder der Sylow-2-Untergruppen von G.

The following theorems are proved about the Frattini-free componentG Φ of a soluble stable ℜ-group: a) If it has a normal subgroupN with nilpotent quotientG Φ/N, then there is a nilpotent subgroupH ofG Φ withG Φ=NH. b) It has Carter subgroups; if the group is small, they are all conjugate. c) Nilpotency modulo a suitable Frattini-subgroup (to be defined) implies nilpotency. The last result makes use of a new structure theorem for the centre of the derivative of the Frattini-free component (...) of a centreless soluble ℜ-group. (shrink)

We define an $\mathfrak{R}$-group to be a stable group with the property that a generic element can only be algebraic over a generic. We then derive some corollaries for $\mathfrak{R}$-groups and fields, and prove a decomposition theorem and a field theorem. As a nonsuperstable example, we prove that small stable groups are $\mathfrak{R}$-groups.

If ${\mathfrak {F}}$ is a type-definable family of commensurable subsets, subgroups or subvector spaces in a metric structure, then there is an invariant subset, subgroup or subvector space commensurable with ${\mathfrak {F}}$. This in particular applies to type-definable or hyper-definable objects in a classical first-order structure.

A minimal field of non-zero characteristic is algebraically closed.

We define an R-group to be a stable group with the property that a generic element (for any definable transitive group action) can only be algebraic over a generic. We then derive some corollaries for R-groups and fields, and prove a decomposition theorem and a field theorem. As a nonsuperstable example, we prove that small stable groups are R-groups.

A totally ordered group G is called coset-minimal if every definable subset of G is a finite union of cosets of definable subgroups intersected with intervals with endpoints in G{±∞}. Continuing work in Belegradek et al. 1115) and Point and Wagner 261), we study coset-minimality, as well as two weak versions of the notion: eventual and ultimate coset-minimality. These groups are abelian; an eventually coset-minimal group, as a pure ordered group, is an ordered abelian group of finite regular rank. (...) Any pure ordered abelian group of finite regular rank is ultimately coset-minimal and has the exchange property; moreover, every definable function in such a group is piecewise linear. Pure coset-minimal and eventually coset-minimal groups are classified. In a discrete coset-minimal group every definable unary function is piece-wise linear 261), where coset-minimality of the theory of the group was required). A dense coset-minimal group has the exchange property ); moreover, any definable unary function is piecewise linear, except possibly for finitely many cosets of the smallest definable convex nonzero subgroup. Finally, we give some examples and open questions. (shrink)

1. We show that if p is a real type which is internal in a set $\sigma$ of partial types in a simple theory, then there is a type p' interbounded with p, which is finitely generated over $\sigma$ , and possesses a fundamental system of solutions relative to $\sigma$ . 2. If p is a possibly hyperimaginary Lascar strong type, almost \sigma-internal$ , but almost orthogonal to $\sigma^{\omega}$ , then there is a canonical non-trivial almost hyperdefinable polygroup which multi-acts (...) on p while fixing $\sigma$ generically. In case p is $\sigma-internal$ and T is stable, this is the binding group of p over \sigma$. (shrink)

We show that if p is a real type which is almost internal in a formula φ in a simple theory, then there is a type p' interalgebraic with a finite tuple of realizations of p, which is generated over φ. Moreover, the group of elementary permutations of p' over all realizations of φ is type-definable.

We define a generalized version of CM-triviality, and show that in the presence of enough regular types, or solubility, a stable CM-trivial group is nilpotent-by-finite. A torsion-free small CM-trivial stable group is abelian and connected. The first result makes use of a generalized version of the analysis of bad groups.

We generalise various properties of quasiendomorphisms from groups with regular generic to small abelian groups. In particular, for a small abelian group such that no infinite definable quotient is connected-by-finite, the ring of quasi-endomorphisms is locally finite. Under some additional assumptions, it decomposes modulo some nil ideal into a sum of finitely many matrix rings.

Non-$n$-ampleness as defined by Pillay [20] and Evans [5] is preserved under analysability. Generalizing this to a more general notion of $\Sigma$-ampleness, this gives an immediate proof for all simple theories of a weakened version of the Canonical Base Property (CBP) proven by Chatzidakis [4] for types of finite SU-rank. This is then applied to the special case of groups.

If * is a binary partial function which happens to be a group law on some infinite subset of some model of a stable theory, then this subset can be embedded into a definable group such that * becomes the group operation.

We prove that a stable solvable group $G$ which satisfies $x^n = 1$ generically is of finite exponent dividing some power of $n$. Furthermore, $G$ is nilpotent-by-finite. A second result is that in a stable group of finite exponent, involutions either have big centralisers, or invert a subgroup of finite index (which hence has to be abelian).

We show that a stable groupG satisfying certain commutator conditions is nilpotent. Furthermore, a soluble stable group with generically splitting automorphism of prime order is nilpotent-by-finite. In particular, a soluble stable group with a generic element of prime order is nilpotent-by-finite.

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 this paper, we shall survey results about the group-theoretic properties of stable groups. These can be classified into three main categories, according to the strength of the assumptions needed: chain conditions, generic types, and some form of rank. Each category has its typical application: Chain conditions often allow us to deduce global properties from local ones, generic properties are used to get definable groups from undefinable ones, and rank is necessary to interpret fields in certain group actions. While originally (...) the main input came from algebraic group theory, founded on the similarities between rank and dimension, increasingly methods borrowed from finite group theory have come to play a rôle, emphasizing the study of characteristic subgroups and characteristic families of subgroups. (shrink)

We prove that a stable solvable group G which satisfies xn = 1 generically is of finite exponent dividing some power of n. Furthermore, G is nilpotent-by-finite. A second result is that in a stable group of finite exponent, involutions either have big centralisers, or invert a subgroup of finite index (which hence has to be abelian).

We define a reasonably well-behaved class of ultraimaginaries, i.e. classes modulo [Formula: see text]-invariant equivalence relations, called tame, and establish some basic simplicity-theoretic facts. We also show feeble elimination of supersimple ultraimaginaries: If [Formula: see text] is an ultraimaginary definable over a tuple [Formula: see text] with [Formula: see text], then [Formula: see text] is eliminable up to rank [Formula: see text]. Finally, we prove some uniform versions of the weak canonical base property.

An infinite field with only countably many pure types is algebraically closed.

An elliptic curve over a supersimple field with exactly one extension of degree 2 has an s-generic point.

In a simple CM-trivial theory every hyperimaginary is interbounded with a sequence of finitary hyperimaginaries. Moreover, such a theory eliminates hyperimaginaries whenever it eliminates finitary hyperimaginaries. In a supersimple CM-trivial theory, the independence relation is stable.

The aim of this study was to analyze the association between physical activity and eating habits during the COVID-19 pandemic among Brazilian adults. A sample of 1,929 participants answered an online survey, however 1,874 were included in the analysis. The impact of the COVID-19 pandemic on eating habits was assessed inquiring about participants' intake of fruits, vegetables, fried foods, and sweets during the pandemic. Physical activity was assessed by asking participants about their weekly frequency, intensity and number of minutes/hours engaging (...) in structured physical activities per week. Participants were then stratified into categories based on moderate-to-vigorous intensity and into active or inactive. Increased sweets consumption was the most commonly reported change to eating habits, followed by an increase in the consumption of vegetables, fruits, and fried foods. Physical activity practice was related to lower consumption of fried foods and sweets. A cluster analysis revealed subjects with higher the level of physical activity was more likely to follow a healthy diet. Thus, physical activity was positively associated with healthier eating habits. Health authorities must recommend regular physical as a strategy to improve overall health during the COVID-19 pandemic. Future studies should address the physical activity interventions to improve health status during a pandemic. (shrink)

This paper completes the proof of the group configuration theorem for simple theories started in [1]. We introduce the notion of an almost hyperdefinable structure, and show that it has a reasonable model theory. We then construct an almost hyperdefinable group from a polygroup chunk.

We define a generalized notion of rank for stable theories without dense forking chains, and use it to derive that every type is domination-equivalent to a finite product of regular types. We apply this to show that in a small theory admitting finite coding, no realisation of a nonforking extension of some strong type can be algebraic over some realisation of a forking extension.

In recent work, the authors have established the group configuration theorem for simple theories, as well as some of its main applications from geometric stability theory, such as the binding group theorem, or in the $\omega$-categorical case, the characterization of the forking geometry of a finitely based non-trivial locally modular regular type as projective geometry over a finite field and the equivalence of pseudolinearity and local modularity. The proof necessitated an extension of the model-theoretic framework to include almost hyperimaginaries, and (...) the study of polygroups. (shrink)

A utilização das plantas pela espécie humana ocorre das mais variadas maneiras, principalmente, na alimentação, vestimenta, no tratamento e cura de doenças. Dentre os grupos culturais que usam as plantas medicinais, encontram-se os povos remanescentes dos quilombos. O conhecimento que os quilombolas possuem é baseado em valores, símbolos, crenças e mitos. Hábitos e costumes estão diretamente envolvidos com o ambiente e esta relação permitiu que estas comunidades acumulassem conhecimentos. Deste modo, a Lei nº 10.639/2003 tornou obrigatório o ensino sobre História (...) e Cultura Afro-Brasileira em instituições de ensino. Assim, o presente relato de experiência foi realizado por intermédio de uma intervenção, desenvolvida em três encontros e uma visita à UESB, sendo um conjunto de atividades mediadas pelo professor, que permite aos discentes questionar, sanar dúvidas e realizar ações. Assim, as visitas ao HUESB e ao LPN contribuíram para que os estudantes fizessem uma associação entre o conhecimento popular e o conhecimento científico e entendessem como esses estão entrelaçados, bem como perceber a relevância de ambos os conhecimentos para a história da Ciência. Palavras-chave: Educação informal; Pedagogia crítica; Educação Quilombola. (shrink)