We give an example of a simple ω-categorical theory such that for any finite set of parameters the corresponding constant expansion does not satisfy the PAPA. We describe a wide class of homogeneous structures with generic automorphisms and show that some natural reducts of our example belong to this class.

We present three examples of countable homogeneous structures whose automorphism groups are not universal, namely, fail to contain isomorphic copies of all automorphism groups of their substructures.Our first example is a particular case of a rather general construction on Fraïssé classes, which we call diversification, leading to automorphism groups containing copies of all finite groups. Our second example is a special case of another general construction on Fraïssé classes, the mixed sums, leading to a Fraïssé class with all (...) finite symmetric groups appearing as automorphism groups and at the same time with a torsion-free automorphism group of its Fraïssé limit. Our last example is a Fraïssé class of finite models with arbitrarily large finite abelian automorphism groups, such that the automorphism group of its Fraïssé limit is again torsion-free. (shrink)

We consider the complexity of the isomorphism relation on countable first-order structures with transitive automorphism groups. We use the theory of Borel reducibility of equivalence relations to show that the isomorphism problem for vertex-transitive graphs is as complicated as the isomorphism problem for arbitrary graphs and determine for which first-order languages the isomorphism problem for transitive countable structures is as complicated as it is for arbitrary countable structures. We then use these results to characterize the complexity of (...) the isometry relation for certain classes of homogeneous and ultrahomogeneous metric spaces. (shrink)

We show that if M is a strongly minimal large homogeneous structure in a countable similarity type and the pregeometry of M is locally modular but not modular, then the pregeometry is affine over a division ring.

A superstable homogeneous structure is said to be simple if every complete type over any set A has a free extension over any B ⊇ A. In this paper we give a characterization for this property in terms of U-rank. As a corollary we get that if the structure has finite U-rank, then it is simple.

We show that if M is a stable unsuperstable homogeneous structure, then for most κ ⩽ |M|, the number of elementary submodels of M of power κ is 2κ.

In the first part of this paper we let M be a stable homogeneous model and we prove a nonstructure theorem for the class of all elementary submodels of M, assuming that M is ‘unsuperstable’ and has Skolem functions. In the second part we assume that M is an unstable homogeneous model of large cardinality and we prove a nonstructure theorem for the class of all elementary submodels of M.

We prove a main gap theorem for locally saturated submodels of a homogeneous structure. We also study the number of locally saturated models, which are not elementarily embeddable into each other.

We prove a main gap theorem for locally saturated submodels of a homogeneous structure. We also study the number of locally saturated models, which are not elementarily embeddable into each other.

We generalize the result of non-finite axiomatizability of totally categorical first-order theories from elementary model theory to homogeneous model theory. In particular, we lift the theory of envelopes to homogeneous model theory and develope theory of imaginaries in the case of ω-stable homogeneous classes of finite U-rank.

Countable homogeneous relational structures have been studied by many people. One area of focus is the Ramsey theory of such structures. After a review of background material, a partition theorem of Laflamme, Sauer, and Vuksanovic for countable homogeneous binary relational structures is discussed with a focus on the size of the set of unavoidable colors.

The model theoretic `back and forth' construction of isomorphisms and automorphisms is based on the proof by Cantor that the theory of dense linear orderings without endpoints is ℵ 0 -categorical. However, Cantor's method is slightly different and for many other structures it yields an injection which is not surjective. The purpose here is to examine Cantor's method (here called `going forth') and to determine when it works and when it fails. Partial answers to this question are found, extending (...) those earlier given by Cameron. We also give fuller characterisations of when forth suffices for model theoretic classes such as structures containing Jordan sets for the automorphism group, and ℵ 0 -categorical ω-stable structures. The work is based on the author's Ph.D. thesis. (shrink)

Let V be a finite relational vocabulary in which no symbol has arity greater than 2. Let be countable V‐structure which is homogeneous, simple and 1‐based. The first main result says that if is, in addition, primitive, then it is strongly interpretable in a random structure. The second main result, which generalizes the first, implies (without the assumption on primitivity) that if is “coordinatized” by a set with SU‐rank 1 and there is no definable (without parameters) nontrivial equivalence relation (...) on M with only finite classes, then is strongly interpretable in a random structure. (shrink)

The first main result isolates some conditions which fail for the class of graphs and hold for the class of Abelian p-groups, the class of Abelian torsion groups, and the special class of "rank-homogeneous" trees. We consider these conditions as a possible definition of what it means for a class of structures to have "Ulm type". The result says that there can be no Turing computable embedding of a class not of Ulm type into one of Ulm type. (...) We apply this result to show that there is no Turing computable embedding of the class of graphs into the class of "rank-homogeneous" trees. The second main result says that there is a Turing computable embedding of the class of rank-homogeneous trees into the class of torsion-free Abelian groups. The third main result says that there is a "rank-preserving" Turing computable embedding of the class of rank-homogeneous trees into the class of Boolean algebras. Using this result, we show that there is a computable Boolean algebra of Scott rank ${\mathrm{\omega }}_{1}^{\mathrm{C}\mathrm{K}}$. (shrink)

One determining characteristic of contemporary sociopolitical systems is their power over increasingly large and diverse populations. This raises questions about power relations between heterogeneous individuals and increasingly dominant and homogenizing system objectives. This article crosses epistemic boundaries by integrating computer engineering and a historicalphilosophical approach making the general organization of individuals within large-scale systems and corresponding individual homogenization intelligible. From a versatile archeological-genealogical perspective, an analysis of computer and social architectures is conducted that reinterprets Foucault’s disciplines and political anatomy to (...) establish the notion of politics for a purely technical system. This permits an understanding of system organization as modern technology with application to technical and social systems alike. Connecting to Heidegger’s notions of the enframing (Gestell) and a more primal truth (anfänglicheren Wahrheit), the recognition of politics in differently developing systems then challenges the immutability of contemporary organization. Following this critique of modernity and within the conceptualization of system organization, Derrida’s democracy to come (à venir) is then reformulated more abstractly as organizations to come. Through the integration of the discussed concepts, the framework of Large-Scale Systems Composed of Homogeneous Individuals (LSSCHI) is proposed, problematizing the relationships between individuals, structure, activity, and power within large-scale systems. The LSSCHI framework highlights the conflict of homogenizing system-level objectives and individual heterogeneity, and outlines power relations and mechanisms of control shared across different social and technical systems. (shrink)

We prove that any torsion-free, residually finite relatively free group of infinite rank is not \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\aleph_1}$$\end{document} -homogeneous. This generalizes Sklinos’ result that a free group of infinite rank is not \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\aleph_1}$$\end{document} -homogeneous, and, in particular, gives a new simple proof of that result.

The faithfulness condition (FC) is a useful principle for inferring causal structure from statistical data. The usual motivation for the FC appeals to theorems showing that exceptions to it have probability zero, provided that some apparently reasonable assumptions obtain. However, some have objected that, the theorems notwithstanding, exceptions to the FC are probable in commonly occurring circumstances. I argue that exceptions to the FC are probable in the circumstances specified by this objection only given the presence of a condition that (...) I label homogeneity, and furthermore that this condition typically does not obtain in the FC’s intended domain of application. (shrink)

We study the expansion of stable structures by adding predicates for arbitrary subsets. Generalizing work of Poizat-Bouscaren on the one hand and Baldwin-Benedikt-Casanovas-Ziegler on the other we provide a sufficient condition (Theorem 4.7) for such an expansion to be stable. This generalization weakens the original definitions in two ways: dealing with arbitrary subsets rather than just submodels and removing the 'small' or 'belles paires' hypothesis. We use this generalization to characterize in terms of pairs, the 'triviality' of the geometry (...) on a strongly minimal set (Theorem 2.5). Call a set A benign if any type over A in the expanded language is determined by its restriction to the base language. We characterize the notion of benign as a kind of local homogenity (Theorem 1.7). Answering a question of [8] we characterize the property that M has the finite cover property over A (Theorem 3.9). (shrink)

We consider the question of when, given a subset A of M, the setwise stabilizer of the group of automorphisms induces a closed subgroup on Sym(A). We define s-homogeneity to be the analogue of homogeneity relative to strong embeddings and show that any subset of a countable, s-homogeneous, ω-stable structure induces a closed subgroup and contrast this with a number of negative results. We also show that for ω-stable structures s-homogeneity is preserved under naming countably many constants, but (...) under slightly weaker conditions it can be lost by naming a single point. (shrink)

In this paper we study elementary submodels of a stable homogeneous structure. We improve the independence relation defined in Hyttinen 167–182). We apply this to prove a structure theorem. We also show that dop and sdop are essentially equivalent, where the negation of dop is the property we use in our structure theorem and sdop implies nonstructure, see Hyttinen.

In a recent paper, we have shown that the class of Boolean contact algebras (BCAs) has the hereditary property, the joint embedding property and the amalgamation property. By Fraïssé’s theorem, this shows that there is a unique countable homogeneous BCA. This paper investigates this algebra and the relation algebra generated by its contact relation. We first show that the algebra can be partitioned into four sets {0}, {1}, K, and L, which are the only orbits of the group of (...) base automorphisms of the algebra, and then show that the contact relation algebra of this algebra is finite, which is the first non-trivial extensional BCA we know which has this property. (shrink)

Wesley Salmon has recently proposed a new theory of scientific explanation based on a model which he calls the statistical-relevance model. It is intended primarily as an account of the structure of explanations of particular events--explanations which, according to Salmon, are very often motivated largely by practical concerns. Two important features of this account are the concepts of homogeneity and screening off. In this paper we argue that the employment of these two concepts (which, in fact, are intimately connected) is (...) fundamentally at odds with the desire to capture everyday explanations of the practical sort, and that it leads instead to an account in which the only satisfactory explanations are those expressed in the very deepest physical terms. (shrink)

In his recent book Scientific Explanation and the Causal Structure of the World Wesley Salmon provides a detailed explanation of objective homogeneity, a concept which is central to his S-R model of explanation. 1 propose a modification of Salmon's definition which both simplifies and (in minor ways) corrects it, while at the same time generalizes it by including an important temporal factor that is missing from the original. I argue that if the world is irreducibly stochastic, then objective probabilities (determined (...) by objective homogeneous reference classes) must be temporally relativized. We can speak coherently of the objective probability of a particular event relative to a given point in time, but not of the objective probability of the event simpliciter. I briefly explore the consequences, of the temporal relativity of objective homogeneity for Salmon's attempt to secure an objective (nonepistemic, nonpraagmatic) S-R basis for causal explanation. (shrink)

In his recent book Scientific Explanation and the Causal Structure of the World Wesley Salmon provides a detailed explication of objective homogeneity, a concept which is central to his Statistical-Relevance (S-R) model of explanation. One of the purposes of Salmon’s explication is to refute Hempel’s thesis of the epistemic relativity of statistical explanation. According to this thesis “the concept of statistical explanation for particular events is essentially relative to a given knowledge situation” (Hempel 1965, pp. 402-403, quoted in Salmon 1984, (...) p. 48). Salmon introduces (1984, p. 55) the concept that forms the basis for his S-R model as follows: “A reference class A is homogeneous with respect to an attribute B provided there is no set of properties Ci (1 ≤i ≤ k; k ≥ 2) in terms of which A can be relevantly partitioned. (shrink)

In this dissertation, I investigate the role of Aristotle's theory of science, and specifically the homogeneity criterion, for the set-up of Aristotle's metaphysics project as sketched in Met. IV, 1--3 and VI, 1. I argue that Aristotelian metaphysics takes shape through a dialectical argument stretching from Met. I to VI, 1. Along this path, both Aristotle's theory of science , and the Platonist competitor in metaphysics are constantly kept in view. They propel the argument at crucial stages. The resulting metaphysics (...) is compatible with Aristotle's theory of science, though it is not a direct application of it. Rather, metaphysics is a content-neutral complement to the content-specific sciences. The Platonist competitor remains refuted. Some of its central ideas and tools are nevertheless assimilated into Aristotelian metaphysics. ;Aristotle's postulate of a universal science of being seems to contradict a central requirement for a science: the homogeneity principle. According to the Posterior Analytics, every science has its specific subject matter , which it explores in terms of predicative content, and to which it is restricted. Being, does not constitute such a genos. Aristotle has to find a feature which can play a role for 'being' that is analogous to 'genos' in a special science. Aristotle finds it in the pros hen notion . Pros hen makes the content-neutral, focal structure of being transparent. It is not an extension of synonymy . With the help of pros hen, Aristotle can construct a content-neutral universal metaphysics project, solving the puzzles which arose in III, 1/2 precisely as a conflict between the questions which metaphysics should address and the homogeneity criterion for content-specific sciences. His theory of science remains fully intact for the sciences for which it was designed. The objections against Platonist metaphysics remain in place as well. The content-neutral analysis of being meets the expectations formulated for metaphysics in I, 1/2, on the basis of endoxa. Aristotle's project is constituted by what is commonly called 'general metaphysics'. It includes a consideration of the divine. (shrink)

We study simplicity and stability in some large strongly homogeneous expansions of Hilbert spaces. Our approach to simplicity is that of Buechler and Lessmann 69). All structures we consider are shown to have built-in canonical bases.

The universal homogeneous triangle-free graph, constructed by Henson [A family of countable homogeneous graphs, Pacific J. Math.38(1) (1971) 69–83] and denoted H3, is the triangle-free analogue of the Rado graph. While the Ramsey theory of the Rado graph has been completely established, beginning with Erdős–Hajnal–Posá [Strong embeddings of graphs into coloured graphs, in Infinite and Finite Sets. Vol.I, eds. A. Hajnal, R. Rado and V. Sós, Colloquia Mathematica Societatis János Bolyai, Vol. 10 (North-Holland, 1973), pp. 585–595] and culminating (...) in work of Sauer [Coloring subgraphs of the Rado graph, Combinatorica26(2) (2006) 231–253] and Laflamme–Sauer–Vuksanovic [Canonical partitions of universal structures, Combinatorica26(2) (2006) 183–205], the Ramsey theory of H3 had only progressed to bounds for vertex colorings [P. Komjáth and V. Rödl, Coloring of universal graphs, Graphs Combin.2(1) (1986) 55–60] and edge colorings [N. Sauer, Edge partitions of the countable triangle free homogenous graph, Discrete Math.185(1–3) (1998) 137–181]. This was due to a lack of broadscale techniques. We solve this problem in general: For each finite triangle-free graph G, there is a finite number T(G) such that for any coloring of all copies of G in H3 into finitely many colors, there is a subgraph of H3 which is again universal homogeneous triangle-free in which the coloring takes no more than T(G) colors. This is the first such result for a homogeneous structure omitting copies of some nontrivial finite structure. The proof entails developments of new broadscale techniques, including a flexible method for constructing trees which code H3 and the development of their Ramsey theory. (shrink)

We introduce a new approach to the model theory of metric structures by defining the notion of a metric abstract elementary class (MAEC) closely resembling the notion of an abstract elementary class. Further we define the framework of a homogeneous MAEC were we additionally assume the existence of arbitrarily large models, joint embedding, amalgamation, homogeneity and a property which we call the perturbation property. We also assume that the Löwenheim-Skolem number, which in this setting refers to the density (...) character of the set instead of the cardinality, is ${\aleph_0}$ . In these settings we prove an analogue of Morley’s categoricity transfer theorem. We also give concrete examples of homogeneous MAECs. (shrink)

Some arguments, based on the possible spontaneous violation of the cosmological principle (represented by the observed large-scale structures of galaxies), on the Cartan geometry of simple spinors, and on the Fock formulation of hydrogen atom wave equation in momentum space, are presented in favor of the hypothesis that space-time and momentum space should be both conformally compactified and should both originate from the two four-dimensional homogeneous spaces of the conformai group, both isomorphic (S 3 ×S 1)/Z 2 and (...) correlated by conformal inversion, but should not necessarily be identified with them. Within this framework, the possible common origin for the SO(4) symmetry underlying the geometrical structure of the Universe, of Kepler orbits, and of the H atom is discussed. One of the consequences of the proposed hypothesis could be that any quantum field theory should be naturally free from both infrared and ultraviolet divergences. But then physical spaces defined as those where physical phenomena may be best described through some set of fields, could be different from those homogeneous spaces. A simple, exactly soluble, toy model, valid for a two-dimensional spacetime, is presented where the conjectured conformally compactified homogeneous spaces are both isomorphic to (S 1 ×S 1)/Z 2,while the possible physical spaces could be two finite lattices which are dual since Fourier transforms, represented by finite, discrete, sums, may be well defined on them. (shrink)

Given a finite relational language L is there an algorithm that, given two finite sets A and B of structures in the language, determines how many homogeneous L structures there are omitting every structure in B and embedding every structure in A? For directed graphs this question reduces to: Is there an algorithm that, given a finite set of tournaments Γ, determines whether QΓ, the class of finite tournaments omitting every tournament in Γ, is well-quasi-order? First, we (...) give a nonconstructive proof of the existence of an algorithm for the case in which Γ consists of one tournament. Then we determine explicitly the set of tournaments each of which does not have an antichain omitting it. Two antichains are exhibited and a summary is given of two structure theorems which allow the application of Kruskal's Tree Theorem. Detailed proofs of these structure theorems will be given elsewhere. The case in which Γ consists of two tournaments is also discussed. (shrink)

Lonely students typically underperform academically. According to several studies, the COVID-19 pandemic is an important risk factor for increases in loneliness, as the contact restrictions and the switch to mainly online classes potentially burden the students. The previously familiar academic environment, as well as the exchange with peers and lecturers on site, were no longer made available. In our cross-sectional study, we examine factors that could potentially counteract the development of higher education student loneliness during the COVID-19 pandemic from a (...) social network perspective. During the semester, N = 283 students from across all institutional faculties of a German comprehensive university took part in an online survey. We surveyed their social and emotional experiences of loneliness, their self-reported digital information-sharing behavior, and their current egocentric networks. Here, we distinguished between close online contacts and close offline contacts. In addition, we derived the interconnectedness and heterogeneity of students’ contacts. To obtain the latter, we used a novel two-step method combining t-distributed stochastic neighbor embedding and cluster analysis. We explored the associations of the aforementioned predictors on social and emotional loneliness separately using two hierarchical multiple linear regression models. Our results suggest that social loneliness is strongly related to digital information-sharing behavior and the network structure of close contacts. In particular, high information-sharing behavior, high number of close contacts, a highly interconnected network, and a homogeneous structure of close contacts were associated with low social loneliness. Emotional loneliness, on the other hand, was mainly related to network homogeneity, in the sense that students with homogeneous close contacts networks experienced low emotional loneliness. Overall, our study highlights the central role of students’ close social network on feelings of loneliness in the context of COVID-19 restrictions. Limitations and implications are discussed. (shrink)

According to ante rem structuralism a branch of mathematics, such as arithmetic, is about a structure, or structures, that exist independent of the mathematician, and independent of any systems that exemplify the structure. A structure is a universal of sorts: structure is to exemplified system as property is to object. So ante rem structuralist is a form of ante rem realism concerning universals. Since the appearance of my Philosophy of mathematics: Structure and ontology, a number of criticisms of the (...) idea of ante rem structures have appeared. Some argue that it is impossible to give identity conditions for places in homogeneous ante rem structures, invoking a version of the identity of indiscernibles. Others raise issues concerning the identity and distinctness of places in different structures, such as the the natural number 2 and the real number 2. The purpose of this paper is to take the measure of these objections, and to further articulate ante rem structuralism to take them into account. (shrink)

With increasing attention on the role of parenting stress on family functioning and children’s development, one area that has been neglected is how such relations differ across cultures. Although sometimes viewed as homogeneous, Asian countries often have markedly different belief systems. Cross-cultural studies require instruments that have been validated in different socio-cultural contexts. The widely used parenting stress index-short form has been used in several locations. However, results regarding its factorial structure have been mixed. Furthermore, there are only a (...) few cross-cultural comparison studies. This study examined the factorial structure of an abridged version of the PSI-SF with data from Hong Kong and Thailand. The results from confirmatory factor analyses indicated that, in both cultures, a three-factorial structure provides the best model fit. Furthermore, we found evidence for partial metric invariance, suggesting that the test scores can be compared directly. Tests for convergent and discriminant validity revealed that the three factors were correlated with parent general distress, authoritative, authoritarian, and permissive parenting behaviors, in both cultures. These findings suggest that the abridged PSI-SF can provide a meaningful comparison of parenting stress between Hong Kong and Thailand. (shrink)

In this dissertation we explore projective Fraïssé theory and its applications, as well as limitations, to the study of compact metrizable spaces. The goal of projective Fraïssé theory is to approximate spaces via classes of finite structures and glean topological or dynamical properties of a space by relating them to combinatorial features of the associated class of structures. Using the framework of compact metrixable structures, we establish general results which expand and help contextualize previous works in the (...) field. Many proofs in the domain of projective Fraïssé theory are carried out in a context dependent fashion and have thus far eluded clean generalizations. A reason is to be found in the lack of a clear understanding of which spaces are amenable to be studied via projective Fraïssé limits. We give both positive and negative results in this direction. We isolate a combinatorial condition which entails a correspondence between finite structures and regular quasi-partitions of compact metrizable spaces. This correspondence greatly aids the combinatorial-toplogical translation. We apply this machinery to study a class of one-dimensional compact metrizable spaces, which we call smooth fences. To this end, we isolate a class of finite structures—finite partial orders whose Hasse diagram is a forest—whose projective Fraïssé limit approximates a distinctive smooth fence with remarkable properties. We call it the Fraïssé fence and characterize it topologically by carefully exploiting the bridge between the combinatorial and topological worlds. We explore homogeneity and universality features of the Fraïssé fence and the properties of its spaces and endpoints, and provide some results on the dynamics of its group of homeomorphisms. The dissertation is partially based on [1, 2]. (shrink)

Products of particlelike representations of the homogeneous Lorentz group are used to construct the degrees of spin angular momentum of a composite system of protons and neutrons. If a canonical labeling system is adopted for each state, a shell structure emerges. Furthermore the use of the Dirac ring ensures that the spin is characterized by half-angles in accord with the neutron-rotation experiment. It is possible to construct a Clebsch-Gordan decomposition to reduce a state of complex angular momentum into simpler (...) states which can be identified with α and β particles, multipole operators, etc. Finally, ground-state energy levels are calculated for all the even-even nuclei by using a differentiable manifold that is spin-graded and gauge-invariant by construction. It is shown that this manifold is Grassmann. (shrink)

The paper advances a new comprehensive complex approach to the investigation of the civilizational aspects in the development of regional associations of countries. The research starts with the overview of historical dimensions of the civilizational approach and the contribution of the founding scholars to its development. It continues with the analysis of the scientific and methodological input of the followers and the critics of this approach. The authors suggest their theoretical approach to the identification of the modern local civilizations according (...) to six parameters: natural, biological, technical, economic, social, and governing. The civilizational affiliation of countries and the civilizational structure of major 17 regional associations of countries are identified. The results demonstrate that some regional groups have been more homogeneous in terms of civilizational composition, others – less homogeneous, which does not interfere with their dynamic development. However, the logic of the historical dynamics of human development indicates the inevitability of changing the current situation through prolonged civilizational conflicts resulting in significant changes in the global social dynamics and the civilizational structure of the world and of regional associations of countries. The identification of the civilization structure of countries and regional associations contributes to the rational decision-making in the areas of international economic relations and to the formation of the integration/disintegration policies on the national and regional levels. It is predicted that from 2030 global social dynamics will undergo a fundamental breakthrough that will radically change the civilizational structure of the world and regional unions of countries. Methods. The research is based on the application of the systemic and historical approach, combined with the methods of analysis, synthesis, analogy, abstraction, generalization and method of individual expert assessment. Novelty of the research. The authors have identified the civilizational structure of countries using statistically available criteria for the six groups of factors, which allows to determine the homogeneity level of the major regional groups of countries. Practical significance. Identification of civilization structure of countries and regional associations creates the opportunity for adjusting national and subregional integration and disintegration policies. The aim of the study is to determine the civilizational structure of the regional associations of countries. To achieve this goal the following tasks are set and solved: –to analyze and optimize the existing approaches to the identification of local civilizations; –to identify the current state of the countries’ belonging to this or that civilization, their civilizational structure; –to reveal the civilizational structure of the major regional blocs. (shrink)