We study invariant types in NIP theories. Amongst other things: we prove a definable version of the [Formula: see text]-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of [Formula: see text]-invariant types to that of [Formula: see text]-finitely satisfiable types; we show some amalgamation results for invariant types and list a number of open questions.

We investigate the interaction between the product of invariant types and domination–equivalence. We present a theory where the latter is not a congruence with respect to the former, provide sufficient conditions for it to be, and study the resulting quotient when it is.

For a NIP theory T, a sufficiently saturated model ${\mathfrak C}$ of T, and an invariant (over some small subset of ${\mathfrak C}$ ) global type p, we prove that there exists a finest relatively type-definable over a small set of parameters from ${\mathfrak C}$ equivalence relation on the set of realizations of p which has stable quotient. This is a counterpart for equivalence relations of the main result of [2] on the existence of maximal stable quotients (...) of type-definable groups in NIP theories. Our proof adapts the ideas of the proof of this result, working with relatively type-definable subsets of the group of automorphisms of the monster model as defined in [3]. (shrink)

This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the -theorem holds in dp-minimal theories of small or medium directionality.In the second part, we study dp-rank in dp-minimal theories and show that it enjoys many nice properties. It is continuous, definable in families and it can be characterised geometrically with no mention of indiscernible sequences. In particular, if (...) the structure expands a divisible ordered abelian group, then dp-rank coincides with the dimension coming from the order. (shrink)

Let M be a big o-minimal structure and G a type-definable group in Mⁿ. We show that G is a type-definable subset of a definable manifold in Mⁿ that induces on G a group topology. If M is an o-minimal expansion of a real closed field, then G with this group topology is even definably isomorphic to a type-definable group in some Mk with the topology induced by Mk. Part of this result holds for the wider class (...) of so-called invariant groups: each invariant group G in Mⁿ has a unique topology making it a topological group and inducing the same topology on a large invariant subset of the group as Mⁿ. (shrink)

We investigate which filters onωcan contain towers, that is, a modulo finite descending sequence without any pseudointersection. We prove the following results:Many classical examples of nice tall filters contain no towers.It is consistent that tall analytic P-filters contain towers of arbitrary regular height.It is consistent that all towers generate nonmeager filters, in particular Borel filters do not contain towers.The statement “Every ultrafilter contains towers.” is independent of ZFC.Furthermore, we study many possible logical implications between the existence of towers in filters, (...) inequalities between cardinal invariants of filters $,${\rm{co}}{{\rm{f}}^{\rm{*}}}\left$,${\rm{no}}{{\rm{n}}^{\rm{*}}}\left$, and${\rm{co}}{{\rm{v}}^{\rm{*}}}\left$), and the existence of Luzin type families, that is, if${\cal F}$is a filter then${\cal X} \subseteq {[\omega ]^\omega }$is an${\cal F}$-Luzin family if$\left\{ {X \in {\cal X}:|X \setminus F| = \omega } \right\}$is countable for every$F \in {\cal F}$. (shrink)

Many philosophers are baffled by necessity. Humeans, in particular, are deeply disturbed by the idea of necessary laws of nature. In this paper I offer a systematic yet down to earth explanation of necessity and laws in terms of invariance. The type of invariance I employ for this purpose generalizes an invariance used in meta-logic. The main idea is that properties and relations in general have certain degrees of invariance, and some properties/relations have a stronger degree of invariance than (...) others. The degrees of invariance of highly-invariant properties are associated with high degrees of necessity of laws governing/describing these properties, and this explains the necessity of such laws both in logic and in science. This non-mysterious explanation has rich ramifications for both fields, including the formality of logic and mathematics, the apparent conflict between the contingency of science and the necessity of its laws, the difference between logical-mathematical, physical, and biological laws/principles, the abstract character of laws, the applicability of logic and mathematics to science, scientific realism, and logical-mathematical realism. (shrink)

The problem of finding a covariant expression for the distribution and conservation of gravitational energy-momentum dates to the 1910s. A suitably covariant infinite-component localization is displayed, reflecting Bergmann's realization that there are infinitely many gravitational energy-momenta. Initially use is made of a flat background metric (or rather, all of them) or connection, because the desired gauge invariance properties are obvious. Partial gauge-fixing then yields an appropriate covariant quantity without any background metric or connection; one version is the collection of pseudotensors (...) of a given type, such as the Einstein pseudotensor, in _every_ coordinate system. This solution to the gauge covariance problem is easily adapted to any pseudotensorial expression (Landau-Lifshitz, Goldberg, Papapetrou or the like) or to any tensorial expression built with a background metric or connection. Thus the specific functional form can be chosen on technical grounds such as relating to Noether's theorem and yielding expected values of conserved quantities in certain contexts and then rendered covariant using the procedure described here. The application to angular momentum localization is straightforward. Traditional objections to pseudotensors are based largely on the false assumption that there is only one gravitational energy rather than infinitely many. (shrink)

I argue that in order to apply the most common type of criteria for logicality, invariance criteria, to natural language, we need to consider both invariance of content—modeled by functions from contexts into extensions—and invariance of character—modeled, à la Kaplan, by functions from contexts of use into contents. Logical expressionsshould be invariant in both senses. If we do not require this, then old objections due to Timothy McCarthy and William Hanson, suitably modified, demonstrate that content invariant expressions (...) can display intuitive marks of non-logicality. If we do require this, we neatly avoid these objections while also managing to demonstrate desirable connections of logicality to necessity. The resulting view is more adequate as a demarcation of the logical expressions of natural language. (shrink)

Seven hundred adolescents with mean age of 15.3 years. Multigroup confirmatory factor analysis was performed to assess measurement invariance of the MSPSS scale across Chinese and South Asian ethnic minority samples. Results show that the original three-factor structure of the MSPSS was supported in both samples. Measurement invariance was supported in terms of configural, metric, and partial scalar invariance. Given partial scalar invariance was achieved, the latent mean differences were compared across samples. Chinese adolescents had higher levels of all three (...) types of social support when compared with their South Asian ethnic minority counterparts. The present study attempts to assess the measurement invariance of the MSPSS across ethnic groups in Asian society, which sheds light on future research that involves perceived social support among adolescents in Chinese culture contexts. (shrink)

Wigner's quantum-mechanical classification of particle-types in terms of irreducible representations of the Poincaré group has a classical analogue, which we extend in this paper. We study the compactness properties of the resulting phase spaces at fixed energy, and show that in order for a classical massless particle to be physically sensible, its phase space must feature a classical-particle counterpart of electromagnetic gauge invariance. By examining the connection between massless and massive particles in the massless limit, we also derive a classical-particle (...) version of the Higgs mechanism. (shrink)

Properties and relations in general have a certain degree of invariance, and some types of properties/relations have a stronger degree of invariance than others. In this paper I will show how the degrees of invariance of different types of properties are associated with, and explain, the modal force of the laws governing them. This explains differences in the modal force of laws/principles of different disciplines, starting with logic and mathematics and proceeding to physics and biology.

This paper has three main objectives: (a) Discuss the formal analogy between some important symmetry-invariance arguments used in physics, probability and statistics. Specifically, we will focus on Noether’s theorem in physics, the maximum entropy principle in probability theory, and de Finetti-type theorems in Bayesian statistics; (b) Discuss the epistemological and ontological implications of these theorems, as they are interpreted in physics and statistics. Specifically, we will focus on the positivist (in physics) or subjective (in statistics) interpretations vs. objective interpretations (...) that are suggested by symmetry and invariance arguments; (c) Introduce the cognitive constructivism epistemological framework as a solution that overcomes the realism-subjectivism dilemma and its pitfalls. The work of the physicist and philosopher Max Born will be particularly important in our discussion. (shrink)

The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. While it is incompatible with conventional foundations, it is a powerful addition to (...) homotopy type theory. It also gives the new system of foundations a distinctly structural character. (shrink)

This book seeks to answer the question "What explains CPT invariance and the spin-statistics connection?" These properties play foundational roles in relativistic quantum field theories, are supported by high-precision experiments, and figure into explanations of a wide range of phenomena, from antimatter, to the periodic table of the elements, to superconductors and superfluids. They can be derived in RQFTs by means of the famous CPT and Spin-Statistics theorems; but, the author argues, these theorems cannot be said to explain these properties, (...) at least under standard philosophical accounts of scientific explanation. This is because there are multiple, in some cases incompatible, ways of deriving these theorems, and, secondly, because the theorems fail for the types of theories that underwrite the empirical evidence: non-relativistic quantum theories, and realistic interacting RQFTs. The goal of this book is to work towards an understanding of CPT invariance and the spin-statistics connection by first providing an analysis of the necessary and sufficient conditions for these properties, and second by advocating a particular account of explanation appropriate for this context. (shrink)

In this note we outline the history of q-deformations, indicate their physical shortcomings, suggest their apparent resolution via an invariant Lie-admissible formulation based on a new mathematics of genotopic type, and point out their expected physical significance.

For the probabilistic description of all the joint von Neumann measurements on a D-dimensional quantum system, we present the specific example of a context-invariant quasi hidden variable model, proved in Loubenets to exist for each Hilbert space. In this model, a quantum observable X is represented by a variety of random variables satisfying the functional condition required in quantum foundations but, in contrast to a contextual model, each of these random variables equivalently models X under all joint von Neumann (...) measurements, regardless of their contexts. This, in particular, implies the specific local qHV model for an N-qudit state and allows us to derive the new exact upper bound on the maximal violation of 2\2-setting Bell-type inequalities of any type under N-partite joint von Neumann measurements on an N-qudit state. For d = 2, this new upper bound coincides with the maximal violation by an N-qubit state of the Mermin–Klyshko inequality. Based on our results, we discuss the conceptual and mathematical advantages of context-invariant and local qHV modelling. (shrink)

Symmetry, intended as invariance with respect to a transformation (more precisely, with respect to a transformation group), has acquired more and more importance in modern physics. This Chapter explores in 8 Sections the meaning, application and interpretation of symmetry in classical physics. This is done both in general, and with attention to specific topics. The general topics include illustration of the distinctions between symmetries of objects and of laws, and between symmetry principles and symmetry arguments (such as Curie's principle), and (...) reviewing the meaning and various types of symmetry that may be found in classical physics, along with different interpretative strategies that may be adopted. Specific topics discussed include the historical path by which group theory entered classical physics, transformation theory in classical mechanics, the relativity principle in Einstein's Special Theory of Relativity, general covariance in his General Theory of Relativity, and Noether's theorems. In bringing these diverse materials together in a single Chapter, we display the pervasive and powerful influence of symmetry in classical physics, and offer a possible framework for the further philosophical investigation of this topic. (shrink)

The paper examines the invariance principles proposed by the analytical and phenomenological traditions for demarcating the boundaries of formal and regional ontologies. The principle of invariance with respect to isomorphic transformations, generalizing Alfred Tarski’s criterion for logical concepts, is extended to formal ontology as the theory of manifolds in its phenomenological interpretation. Isomorphism types, which are abstract individuals of the highest order, hypostases of forms of all possible ontologies, are considered as model-theoretical analogs of manifolds. The correlativity of the phenomenological (...) principles of demarcation of ontological regions and the criterion of invariance with respect to isomorphic transformations is demonstrated, leading to the convergence of logic and formal mathematics in both traditions and, at the same time, to the exclusion of geometry from formal ontology. Particular attention is paid to the discussion of the analytical and phenomenological traditions of the synthetic (material) a priori and the contribution that Wittgenstein’s doctrine on internal relations at different stages of its evolution makes to this discussion. The paper reveals the basis for later Wittgenstein’s criticism of his earlier project of creating a phenomenological language for expressing internal regional relations (such as the colours exclusion). The paper shows how Wittgenstein’s doubts about the possibility of an ideal notation based on the dichotomy of the logical and phenomenological led him to the study of invariants arising in language games. These invariants are not determined by the special properties of the categorical objects of formal ontology or the structures of regional subject matter, but are stable equilibria generated by the “consensus of actions.” New perspectives are outlined that are opened for logic and phenomenology by switching focus from the invariants of ontological structures to the invariants of structured interactions of various agents. (shrink)

I present a notion of invariance under arbitrary surjective mappings for operators on a relational finite type hierarchy generalizing the so-called Tarski-Sher criterion for logicality and I characterize the invariant operators as definable in a fragment of the first-order language. These results are compared with those obtained by Feferman and it is argued that further clarification of the notion of invariance is needed if one wants to use it to characterize logicality.

Focus+Context techniques are commonly used in visualization systems to simultaneously provide both the details and the context of a particular dataset. This paper proposes a new methodology to empirically investigate the effect of various Focus+Context transformations on human perception. This methodology is based on the shaker paradigm, which tests performance for a visual task on an image that is rapidly alternated with a transformed version of itself. An important aspect of this technique is that it can determine two different kinds (...) of perceptual cost: (i) the effect on the perception of a static transformed image, and (ii) the effect of the dynamics of the transformation itself. This technique has been successfully applied to determine the extent to which human perception is invariant to scaling and rotation [Rensink 2004]. In this paper, we extend this approach to examine nonlinear fisheye transformations of the type typically used in a Focus+Context system. We show that there exists a no-cost zone where performance is unaffected by an abrupt, noticeable fisheye transformation, and that its extent can be determined. The lack of perceptual cost in regards to these sudden changes contradicts the belief that they are necessarily detrimental to performance, and suggests that smoothly animated transformations between visual states are not always necessary. We show that this technique also can map out low-cost zones where transformations result in only a slight degradation of performance. Finally, we show that rectangular grids have no positive effect on performance, acting only as a form of visual clutter. These results therefore demonstrate that the perceptual costs of nonlinear transformations can be successfully quantified. Interestingly, they show that some kinds of sudden transformation can be experienced with minimal or no perceptual cost. This contradicts the belief that sudden changes are necessarily detrimental to performance, and suggests that smoothly animated transformations between visual states are not always necessary.. (shrink)

The question of whether object recognition is orientation-invariant or orientation-dependent was investigated using a repetition blindness (RB) paradigm. In RB, the second occurrence of a repeated stimulus is less likely to be reported, compared to the occurrence of a different stimulus, if it occurs within a short time of the first presentation. This failure is usually interpreted as a difficulty in assigning two separate episodic tokens to the same visual type. Thus, RB can provide useful information about which (...) representations are treated as the same by the visual system. Two experiments tested whether RB occurs for repeated objects that were either in identical orientations, or differed by 30, 60, 90, or 180°. Significant RB was found for all orientation differences, consistent with the existence of orientation-invariant object representations. However, under some circumstances, RB was reduced or even eliminated when the repeated object was rotated by 180°, suggesting easier individuation of the repeated objects in this case. A third experiment confirmed that the upside-down orientation is processed more easily than other rotated orientations. The results indicate that, although object identity can be determined independently of orientation, orientation plays an important role in establishing distinct episodic representations of a repeated object, thus enabling one to report them as separate events. (shrink)

Humans are capable of extracting recurring patterns from their environment via statistical learning (SL), an ability thought to play an important role in language learning and learning more generally. While much work has examined statistical learning in infants and adults, less work has looked at the developmental trajectory of SL during childhood to see whether it is fully developed in infancy or improves with age, like many other cognitive abilities. A recent study showed modality‐based differences in the effect of age (...) during childhood: While visual SL improved with age, auditory SL did not. This finding was taken as evidence for modality‐based differences in SL. However, since that study used auditory linguistic stimuli (syllables), the differential effect of age may have been driven by stimulus type (linguistic vs. non‐linguistic) rather than modality. Here, we ask whether age will affect performance similarly in the two modalities when non‐linguistic auditory stimuli are used (familiar sounds instead of syllables). We conduct a large‐scale study of children's performance on visual and non‐linguistic auditory SL during childhood (ages 5–12 years). The results show a similar effect of age in both modalities: Unlike previous findings, both visual and non‐linguistic auditory SL improved with age. These findings highlight the stimuli‐sensitive nature of SL and suggest that modality‐based differences may be stimuli‐dependent, and that age‐invariance may be limited to linguistic stimuli. (shrink)

I present a notion of invariance under arbitrary surjective mappings for operators on a relational finite type hierarchy generalizing the so-called Tarski-Sher criterion for logicality and I characterize the invariant operators as definable in a fragment of the first-order language. These results are compared with those obtained by Feferman and it is argued that further clarification of the notion of invariance is needed if one wants to use it to characterize logicality.

We discuss, within the framework provided by a recently developed variational method, transposition-invariant field equations for unified field theories. Systems that are, in addition, invariant under Weyl-type gauge transformations or lambda transformations are derived. It is found that in a weak field limit two of the systems contain the equations of general relativity and the covariant Maxwell equations for a charge-free region.

According to the classical invariance criterion, a term is logical if and only if its extension is isomorphism-invariant. However, a number of authors have devised examples that challenge the sufficiency of this condition: accepting these examples as logical constants would introduce objectionable contingent elements into logic. Recently, Gil Sagi has responded that these objections are based on a fallacious inference from the modal status of a sentence to the modal status of the proposition expressed by that sentence. The present (...) paper demonstrates that Sagi’s response, though successful, is futile. There is another objection, based on the same type of example, that is not susceptible to Sagi’s criticism: accepting the examples as logical terms would have the fatal consequence that any contingent metalanguage sentence is entailed by the truth of some logically true object-language sentence. I conclude with a sketch of an alternative to the classical invariance criterion. (shrink)

§1. Introduction. A linear ordering embedsinto another linear ordering if it is isomorphic to a subset of it. Two linear orderings are said to beequimorphicif they can be embedded in each other. This is an equivalence relation, and we call the equivalence classesequimorphism types. We analyze the structure of equimorphism types of linear orderings, which is partially ordered by the embeddability relation. Our analysis is mainly fromthe viewpoints of Computability Theory and Reverse Mathematics. But we also obtain results, as the (...) definition of equimorphism invariants for linear orderings, which provide a better understanding of the shape of this structure in general.This study of linear orderings started by analyzing the proof-theoretic strength of a theorem due to Jullien [Jul69]. As is often the case in Reverse Mathematics, to solve this problem it was necessary to develop a deeper understanding of the objects involved. This led to a variety of results on the structure of linear orderings and the embeddability relation on them. These results can be divided into three groups. (shrink)

A massless Weyl-invariant dynamics of a scalar, a Dirac spinor, and electromagnetic fields is formulated in a Weyl space, W4, allowing for conformal rescalings of the metric and of all fields with nontrivial Weyl weight together with the associated transformations of the Weyl vector fields κμ, representing the D(1) gauge fields, with D(1) denoting the dilatation group. To study the appearance of nonzero masses in the theory the Weyl symmetry is broken explicitly and the corresponding reduction of the Weyl (...) space W4 to a pseudo-Riemannian space V4 is investigated assuming the breaking to be determined by an expression involving the curvature scalar R of the W4 and the mass of the scalar, selfinteracting field. Thereby also the spinor field acquires a mass proportional to the modulus Φ of the scalar field in a Higgs-type mechanism formulated here in a Weyl-geometric setting with Φ providing a potential for the Weyl vector fields κμ. After the Weyl-symmetry breaking, one obtains generally covariant and U(1) gauge covariant field equations coupled to the metric of the underlying V4. This metric is determined by Einstein's equations, with a gravitational coupling constant depending on Φ, coupled to the energy momentum tensors of the now massive fields involved together with the (massless) radiation fields. (shrink)

We study the monoid of global invariant types modulo domination-equivalence in the context of o-minimal theories. We reduce its computation to the problem of proving that it is generated by classes...

The world as we perceive it is structured into objects, actions and places that form parts of events. In this article, my aim is to explain why these categories are cognitively primary. From an empiricist and evolutionary standpoint, it is argued that the reduction of the complexity of sensory signals is based on the brain's capacity to identify various types of invariances that are evolutionarily relevant for the activities of the organism. The first aim of the article is to explain (...) why places, object and actions are primary cognitive categories in our constructions of the external world. It is shown that the invariances that determine these categories have their separate characteristics and that they are, by and large, independent of each other. This separation is supported by what is known about the neural mechanisms. The second aim is to show that the category of events can be analyzed as being constituted of the primary categories. The category of numbers is briefly discussed. Some implications for computational models of the categories are also presented. (shrink)

All the typical global quantum mechanical observables are complex relative phases obtained by interference phenomena. They are described by means of some global geometric phase factor, which is thought of as the “memory” of a quantum system undergoing a “cyclic evolution” after coming back to its original physical state. The origin of a geometric phase factor can be traced to the local phase invariance of the transition probability assignment in quantum mechanics. Beyond this invariance, transition probabilities also remain invariant (...) under the operation of complex conjugation. Most important, geometric phase factors distinguish between unitary and antiunitary transformations in terms of complex conjugation. These two types of invariance functions as an anchor point to investigate the role of loops and based loops in the state space of a quantum system as well as their links and interrelations. We show that arbitrary transition probabilities can be calculated using projective invariants of loops in the space of rays. The case of the double slit experiment serves as a model for this purpose. We also represent the action of one-parameter unitary groups in terms of oppositely oriented-based loops at a fixed ray. In this context, we explain the relation among observables, local Boolean frames of projectors, and one-parameter unitary groups. Next, we exploit the non-commutative group structure of oriented-based loops in 3-d space and demonstrate that it carries the topological semantics of a Borromean link. Finally, we prove that there exists a representation of this group structure in terms of one-parameter unitary groups that realizes the topological linking properties of the Borromean link. (shrink)

We introduce the notions of stationarily ordered types and theories; the latter generalizes weak o-minimality and the former is a relaxed version of weak o-minimality localized at the locus of a single type. We show that forking, as a binary relation on elements realizing stationarily ordered types, is an equivalence relation and that each stationarily ordered type in a model determines some order-type as an invariant of the model. We study weak and forking non-orthogonality of stationarily (...) ordered types, show that they are equivalence relations and prove that invariants of non-orthogonal types are closely related. The techniques developed are applied to prove that in the case of a binary, stationarily ordered theory with fewer than countable models, the isomorphism type of a countable model is determined by a certain sequence of invariants of the model. In particular, we confirm Vaught's conjecture for binary, stationarily ordered theories. (shrink)

The problem of logical constants consists in finding a principled way to draw the line between those expressions of a language that are logical and those that are not. The criterion of invariance under permutation, attributed to Tarski, is probably the most common answer to this problem, at least within the semantic tradition. However, as the received view on the matter, it has recently come under heavy attack. Does this mean that the criterion should be amended, or maybe even that (...) it should be abandoned? I shall review the different types of objections that have been made against invariance as a logicality criterion and distinguish between three kinds of objections, skeptical worries against the very relevance of such a demarcation, intensional warnings against the level at which the criterion operates, and extensional quarrels against the results that are obtained. I shall argue that the first two kinds of objections are at least partly misguided and that the third kind of objection calls for amendment rather than abandonment. (shrink)

: This is the second part of a three-part paper. In part I, some of the main issues regarding theoretical incommensurability and meaning invariance were considered, introducing the notion of a phenomenon type. Phenomenon types can be treated as subject matters in order to tackle the mentioned issues. Here, I show how a subject matter can be conceived as a common ground of two conflicting theories. However, crucial problems about realism and scientific progress remain. These are introduced in this (...) part of the paper and will be tackled in part III. (shrink)

In this paper, we review a general technique for converting the standard Lagrangian description of a classical system into a formulation that puts time on an equal footing with the system's degrees of freedom. We show how the resulting framework anticipates key features of special relativity, including the signature of the Minkowski metric tensor and the special role played by theories that are invariant under a generalized notion of Lorentz transformations. We then use this technique to revisit a classification (...) of classical particle-types that mirrors Wigner's classification of quantum particle-types in terms of irreducible representations of the Poincaré group, including the cases of massive particles, massless particles, and tachyons. Along the way, we see gauge invariance naturally emerge in the context of classical massless particles with nonzero spin, as well as study the massless limit of a massive particle and derive a classical-particle version of the Higgs mechanism. (shrink)

Although Maxwell theory is O(3,1)-covariant, electrodynamics only transforms invariantly between Lorentz frames for special forms of the field, and the generator of Lorentz transformations is not generally conserved. Bérard, Grandati, Lages, and Mohrbach have studied the O(3) subgroup, for which they found an extension of the rotation generator that satisfies the canonical angular momentum algebra in the presence of certain Maxwell fields, and is conserved by the classical motion. The extended generator depends on the field strength, but not the potential, (...) and so is manifestly gauge invariant. The conditions imposed on the Maxwell field by the algebra lead to a Dirac monopole solution.In this paper, we study the generalization of the Bérard, Grandati, Lages and Mohrbach construction to the full Lorentz group in N dimensions. The requirements can be maximally satisfied in a three-dimensional subspace of the full Minkowski space; this subspace can be chosen to describe either an O(3)-invariant space sector, or an O(2,1)-invariant restriction of spacetime. The field solution reduces to the Dirac monopole found in the nonrelativistic case when the O(3)-invariant subspace is selected. When an O(2,1)-invariant subspace is chosen, the field strength can be associated with a Coulomb-like potential of the type A μ(x) = n μ/ρ, where ρ = (x μ x μ)1/2, similar to that used by Horwitz and Arshansky to obtain a covariant generalization of the hydrogen-like bound state. In the presence of these fields, which are determined entirely by symmetry considerations, without reference to a source equation, the extended generator is conserved under classical relativistic system evolution. (shrink)

We report a Monte Carlo study examining the effects of two strategies for handling measurement non-invariance – modeling and ignoring non-invariant items – on structural regression coefficients between latent variables measured with item response theory models for categorical indicators. These strategies were examined across four levels and three types of non-invariance – non-invariant loadings, non-invariant thresholds, and combined non-invariance on loadings and thresholds – in simple, partial, mediated and moderated regression models where the non-invariant latent variable (...) occupied predictor, mediator, and criterion positions in the structural regression models. When non-invariance is ignored in the latent predictor, the focal group regression parameters are biased in the opposite direction to the difference in loadings and thresholds relative to the referent group (i.e., lower loadings and thresholds for the focal group lead to overestimated regression parameters). With criterion non-invariance, the focal group regression parameters are biased in the same direction as the difference in loadings and thresholds relative to the referent group. While unacceptable levels of parameter bias were confined to the focal group, bias occurred at considerably lower levels of ignored non-invariance than was previously recognized in referent and focal groups. (shrink)

Noetherian type and Noetherian π-type are two cardinal functions which were introduced by Peregudov in 1997, capturing some properties studied earlier by the Russian School. Their behavior has been shown to be akin to that of the cellularity, that is the supremum of the sizes of pairwise disjoint non-empty open sets in a topological space. Building on that analogy, we study the Noetherian π-type of κ-Suslin Lines, and we are able to determine it for every κ up (...) to the first singular cardinal. We then prove a consequence of Changʼs Conjecture for ℵω regarding the Noetherian type of countably supported box products which generalizes a result of Lajos Soukup. We finish with a connection between PCF theory and the Noetherian type of certain Pixley–Roy hyperspaces. (shrink)

The first system of intersection types, Coppo and Dezani [3], extended simple types to include intersections and added intersection introduction and elimination rules (( $\wedge$ I) and ( $\wedge$ E)) to the type assignment system. The major advantage of these new types was that they were invariant under β-equality, later work by Barendregt, Coppo and Dezani [1], extended this to include an (η) rule which gave types invariant under βη-reduction. Urzyczyn proved in [6] that for both these (...) systems it is undecidable whether a given intersection type is empty. Kurata and Takahashi however have shown in [5] that this emptiness problem is decidable for the sytem including (η), but without ( $\wedge$ I). The aim of this paper is to classify intersection type systems lacking some of ( $\wedge$ I), ( $\wedge$ E) and (η), into equivalence classes according to their strength in typing λ-terms and also according to their strength in possessing inhabitants. This classification is used in a later paper to extend the above (un)decidability results to two of the five inhabitation-equivalence classes. This later paper also shows that the systems in two more of these classes have decidable inhabitation problems and develops algorithms to find such inhabitants. (shrink)

Kathryn Parsons attempts a criticism of the traditional approach to the problem of meaning invariance of predicate expressions when a theory is replaced by a successor. I have considered three types of cases which Parsons presents as counter-examples to Fine's criterion, and find that the first two do not succeed in refuting the criterion. The third, however, does suceed; and I argue that there is no way to revise Fine's criterion in order to remove the difficulty. Hence some non-traditional approach (...) to meaning invariance is required, or subjectivity in the science must be shown to be avoidable in spite of the incommensurability of theories. (shrink)

We consider total well-founded orderings on monadic terms satisfying the replacement and full invariance properties. We show that any such ordering on monadic terms in one variable and two unary function symbols must have order typeω,ω2orωω. We show that a familiar construction gives rise to continuum many such orderings of order typeω. We construct a new family of such orderings of order typeω2, and show that there are continuum many of these. We show that there are only four such orderings (...) of order typeωω, the two familiar recursive path orderings and two closely related orderings. We consider also total well-founded orderings onNnwhich are preserved under vector addition. We show that any such ordering must have order typeωkfor some 1 ≤k≤n. We show that ifkshrink)

We consider total well-founded orderings on monadic terms satisfying the replacement and full invariance properties. We show that any such ordering on monadic terms in one variable and two unary function symbols must have order type $\omega, \omega^2$ or $\omega^\omega$. We show that a familiar construction gives rise to continuum many such orderings of order type $\omega$. We construct a new family of such orderings of order type $\omega^2$, and show that there are continuum many of these. (...) We show that there are only four such orderings of order type $\omega^\omega$, the two familiar recursive path orderings and two closely related orderings. We consider also total well-founded orderings on $\mathbf{N}^n$ which are preserved under vector addition. We show that any such ordering must have order type $\omega^k$ for some $1 \leq k \leq n$. We show that if $k < n$ there are continuum many such orderings, and if $k = n$ there are only $n$!, the $n$! lexicographic orderings. (shrink)

There is a natural map which assigns to every modelU of typeτ, (U ε Stτ) a groupG (U) in such a way that elementarily equivalent models are mapped into isomorphic groups.G(U) is a subset of a collection whose members are called Fraisse arrows (they are decreasing sequences of sets of partial isomorphisms) and which arise in connection with the Fraisse characterization of elementary equivalence. LetEC λ U be defined as {U εStr τ: ℬ ≡U and |ℬ|=λ; thenEG λ U can (...) be faithfully (i.e. 1-1) represented onto G(U) ×π *, whereπ *, is a collection of partitions over λ∪λ2∪.. (shrink)

This paper presents the first purely algebraic characterization of classes of partial algebras definable by a set of strong equations. This result was posible due to new tools such as invariant congruences, i.e. a generalization of the notion of a fully invariant congruence, and extension of algebras, specific for strong equations.

Purpose of the article is the reconstruction of ancient Greek and ancient Roman models of religiosity as anthropological invariants that determine the patterns of thinking and being of subsequent eras. Theoretical basis. The author applied the statement of Protagoras that "Man is the measure of all things" to the reconstruction of the religious sphere of culture. I proceed from the fact that each historical community has a set of inherent ideas about the principles of reality, which found unique "universes of (...) meanings". The historical space acquires anthropological properties that determine the specific mythology of the respective societies, as well as their spiritual successors. In particular, the religious models of ancient Greece and ancient Rome had a huge influence on formation of the worldview of the Christian civilization of the West. Originality. Multiplicity of the Olympic mythology contributed to the diversity of the expression forms of the Greek genius, which manifested itself in different fields of cultural activity, not reducible to political, philosophical or religious unity. The poverty of Roman mythology was compensated by a clear awareness of the unity of the community, which for all historical vicissitudes had always remained an unchanging ideal, and which was conceived as a reflection of the unity of the heavens. These two approaches to the divine predetermined the formation of two interacting, but conceptually different anthropological paradigms of Antiquity. Conclusions. Western concepts of divinity are invariants of two basic theological concepts – "Greek" and "Roman". These are ideal types, so these two tendencies can co-exist in one society. The Roman trend continued to be realized by the anti-Roman religion, which took Roman forms and Roman name. Iconoclasm was a Byzantine version of the Reformation, promoted by the Isaurian emperors and failed due to the strong Hellenistic naturalistic lobby. Modern "Romans" are trying to get rid of the last elements of religious naturalism, and modern "Greeks" are trying to preserve the Hellenic elements in Christianity. Patterns can be transformed, but the observational view will still be able to identify their lineage. The developed model allows a deeper understanding of the culture of both ancient societies, as well as the outlook of Western man. (shrink)

A structure is called weakly oligomorphic if its endomorphism monoid has only finitely many invariant relations of every arity. The goal of this paper is to show that the notions of homomorphism‐homogeneity, and weak oligomorphy are not only completely analogous to the classical notions of homogeneity and oligomorphy, but are actually closely related. We first prove a Fraïssé‐type theorem for homomorphism‐homogeneous relational structures. We then show that the countable models of the theories of countable weakly oligomorphic structures are (...) mutually homomorphism‐equivalent (we call first order theories with this property weakly ω‐categorical). Furthermore we show that every weakly oligomorphic homomorphism‐homogeneous structure contains (up to isomorphism) a unique homogeneous, homomorphism‐homogeneous core, to which it is homomorphism‐equivalent. As a consequence we obtain that every countable weakly oligomorphic structure is homomorphism‐equivalent to a finite or ω‐categorical structure. As a corollary we obtain a characterization of positive existential theories of weakly oligomorphic structures as the positive existential parts of ω‐categorical theories. (shrink)

The specification of specific and often unique fates to individual cells as a function of their position within a developing organism is a fundamental process during the development of multicellular organisms. The development of the Drosophila embryonic central nervous system serves as an excellent model system in which to clarify the developmental mechanisms that link pattern formation to cell-type specification. The Drosophila embryonic central nervous system develops from a set of neural stem cells termed neuroblasts. Neuroblasts arise from the (...) ectoderm in an invariant pattern, and each neuroblast acquires a unique fate based on its position within this pattern. Two groups of genes recently have been demonstrated to govern the individual fate specification of neuroblasts. One group, the segment polarity genes, enables neuroblasts that develop in different anteroposterior positions to acquire different fates. The second group, referred to as the columnar genes, ensures that neuroblasts that develop in different dorsoventral domains assume different fates. When integrated, the activities of the segment polarity and columnar genes create a Cartesian coordinate system that bestows unique fates to individual neuroblasts as a function of their position of formation within the ectoderm. BioEssays 1999;21:922–931. © 1999 John Wiley & Sons, Inc. (shrink)