We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We use the pairs to isolate a class of geometric structures called weakly locally modular which generalizes the class of linear structures in the settings of SU-rank one theories and o-minimal theories. For o-minimal theories, we use the Peterzil–Starchenko trichotomy theorem to characterize for a sufficiently general point, the local geometry around it in terms of the thorn U-rank of its type inside a lovely pair.

I suggest that we may settle the question of their relatedness by way of two arguments. The first argument holds that two worlds might be identical in structure but different in their dispositions and subsequent behaviors. This argument loosens the relation of dispositional to structural properties; but, though plausible in itself, the argument has disastrous implications for the uniformity of processes within each world. The second argument supports our intuitive belief that the dependency of a thing’s dispositions upon its (...) structure must be complete, e.g., as the knife’s powers for cutting devolve only upon the fine edge of its rigid blade. This second argument is also a defence against the chaotic implications of the previous one. But it has these two effects only because of affirming that structural properties are, more accurately, geometrical-structural properties. Together, these arguments justify the conclusion that no theory of dispositions is comprehensive, unless it provides for these two factors: Geometrical-structural properties are necessary and sufficient to determine what a thing’s dispositions shall be; but these structural properties are distinguishable from dispositions as properties constitutive of a thing are different from its qualifications for relatedness, and especially causal relatedness, to other things. (shrink)

Given the eikonal equation σ i=1 3 (∂ψ/∂x i ) 2 =n′ 2, we investigate the geometric structure that underlies the law of propagation of the wavefronts ψ(x 1,x 2,x 3) —ct=0. It turns out that Huygens' principle for the propagation of wavefronts is given in terms of a contact structure. Wavefronts are carried into wavefronts by contact transformations. As regards the wave-particle duality principle that arises in quantum mechanics, there is a natural geometric structure, a symplectic (...) manifold (M 2n , Ω), which “unifies” Fermat's principle and the eikonal equation (Huygens' principle). (shrink)

Density matrices for mixed state qubits, parametrized by the Bloch vector in the open unit ball of the Euclidean 3-space, are well known in quantum computation theory. We bring the seemingly structureless set of all these density matrices under the umbrella of gyrovector spaces, where the Bloch vector is treated as a hyperbolic vector, called a gyrovector. As such, this article catalizes and supports interdisciplinary research spreading from mathematical physics to algebra and geometry. Gyrovector spaces are mathematical objects that form (...) the setting for the hyperbolic geometry of Bolyai and Lobachevski just as vector spaces form the setting for Euclidean geometry. It is thus interesting, in geometric quantum computation, to realize that the set of all qubit density matrices has rich structure with strong link to hyperbolic geometry. Concrete examples for the use of the gyro-structure to derive old and new, interesting identities for qubit density matrices are presented. (shrink)

We study definable groups in dense/codense expansions of geometric theories with a new predicate P such as lovely pairs and expansions of fields by groups with the Mann property. We show that in such expansions, large definable subgroups of groups definable in the original language \ are also \-definable, and definably amenable \-definable groups remain amenable in the expansion. We also show that if the underlying geometric theory is NIP, and G is a group definable in a model of T, (...) then the connected component \ of G in the expansion agrees with the connected component \ in the original language. We prove similar preservation results for \^n\), the P-part of G in a lovely pair, and for subgroups of G in pairs where R is a real closed field and G is a subgroup of \ or the unit circle \\) with the Mann property. (shrink)

Let T be a complete geometric theory and let $$T_P$$ T P be the theory of dense pairs of models of T. We show that if T is superrosy with "Equation missing"-rank 1 then $$T_P$$ T P is superrosy with "Equation missing"-rank at most $$\omega $$ ω.

The basic methods of constructing the sets of mutually unbiased bases in the Hilbert space of an arbitrary finite dimension are reviewed and an emerging link between them is outlined. It is shown that these methods employ a wide range of important mathematical concepts like, e.g., Fourier transforms, Galois fields and rings, finite, and related projective geometries, and entanglement, to mention a few. Some applications of the theory to quantum information tasks are also mentioned.

In this paper, we examine Sextus Empiricus' treatise Against the geometers . We first set this treatise in the overall context of the sceptic's polemics against the liberal arts. After a discussion of Sextus' attitude to the quadrivium , we discuss the structure, the sources and the target of the Against the geometers . It appears that Euclid is not Sextus' source, and neither he, nor the professional geometers, seem to be Sextus' main targets. Of course, Sextus never really (...) makes clear his precise target, but his attacks are rather directed against geometry as a means of modelling the physical world, thus ruining the support geometry was intended to bring to the physical part of dogmatic philosophy. (shrink)

We study the class of weakly locally modular geometric theories introduced in [4], a common generalization of the classes of linear SU-rank 1 and linear o-minimal theories. We find new conditions equivalent to weak local modularity: "weak one-basedness", absence of type definable "almost quasidesigns", and "generic linearity". Among other things, we show that weak one-basedness is closed under reducts. We also show that the lovely pair expansion of a non-trivial weakly one-based ω-categorical geometric theory interprets an infinite vector space over (...) a finite field. (shrink)

Evans’ 1968 ANALOGY system was the first computer model of analogy. This paper demonstrates that the structure mapping model of analogy, when combined with high‐level visual processing and qualitative representations, can solve the same kinds of geometric analogy problems as were solved by ANALOGY. Importantly, the bulk of the computations are not particular to the model of this task but are general purpose: We use our existing sketch understanding system, CogSketch, to compute visual structure that is used by (...) our existing analogical matcher, Structure Mapping Engine (SME). We show how SME can be used to facilitate high‐level visual matching, proposing a role for structural alignment in mental rotation. We show how second‐order analogies over differences computed via analogies between pictures provide a more elegant model of the geometric analogy task. We compare our model against human data on a set of problems, showing that the model aligns well with both the answers chosen by people and the reaction times required to choose the answers. (shrink)

The quest for a ‘unified field theory’, which aims to integrate gravitational and electromagnetic fields into a single field structure, spanned most of Einstein’s professional life from 1919 until his death in 1955. It is seldom noted that Hans Reichenbach was possibly the only philosopher who could navigate the technical intricacies of the various unification attempts. By analyzing published writings and private correspondences, this paper aims to provide an overview of the Einstein-Reichenbach relationship from the point of view of (...) their evolving attitudes toward the program of unifying electricity and gravitation. The paper concludes that the Einstein-Reichenbach relationship is more complex than usually portrayed. Reichenbach was not only the indefatigable ‘defender’ of relativity theory but also the caustic ‘attacker’ of Einstein’s and others’ attempts at unified field theory. Over the years, Reichenbach managed to provide the first, and possibly only, overall philosophical reflection on the unified field theory program. Thereby, Reichenbach was responsible for bringing to the debate, often for the first time, some of the central issues of the philosophy of space-time physics: (a) the relation between a theory’s abstract geometrical structures (metric, affine connection) and the behavior of physical probes (rods and clocks, free particles, and so on); (b) the question of whether such association should be regarded as a geometrization of physics or a physicalization of geometry; (c) the interplay between geometrization and unification in the context of a field theory. (shrink)

We reformulate minimalist grammars as partial functions on term algebras for strings and trees. Using filler/role bindings and tensor product representations, we construct homomorphisms for these data structures into geometric vector spaces. We prove that the structure-building functions as well as simple processors for minimalist languages can be realized by piecewise linear operators in representation space. We also propose harmony, i.e. the distance of an intermediate processing step from the final well-formed state in representation space, as a measure of (...) processing complexity. Finally, we illustrate our findings by means of two particular arithmetic and fractal representations. (shrink)

This introduction to physical science combines a rigorous discussion of scientific principles with sufficient historical background and philosophic interpretation to add a new dimension of interest to the accounts given in more conventional textbooks. It brings out the twofold character of physical science as an expanding body of verifiable knowledge and as an organized human activity whose goals and values are major factors in the revolutionary changes sweeping over the world today.Professor Kemble insists that to understand science one must understand (...) not only what the scientists have discovered, but how the discoveries were made, why the growth of scientific knowledge had to begin slowly, and what it has done to our habits of thought. He has written neither a history of science nor an introduction to the philosophy of science but an introduction to scientific concepts and principles that supplies as much of their historical and philosophical context as limits of space permit.The volume takes up in turn the story of the astronomy of ancient Greece, the Copernican revolution, the idea of the expanding sidereal universe, the rise of Newton's classical mechanics with its many astronomical applications, the concept of energy and its relation to heat, to steam engines, and to thermodynamics. The volume ends with an account of the successes and failures of classical kinetic-molecular theory of heat. (shrink)

We present the unification of Riemann–Cartan–Weyl (RCW) space-time geometries and random generalized Brownian motions. These are metric compatible connections (albeit the metric can be trivially euclidean) which have a propagating trace-torsion 1-form, whose metric conjugate describes the average motion interaction term. Thus, the universality of torsion fields is proved through the universality of Brownian motions. We extend this approach to give a random symplectic theory on phase-space. We present as a case study of this approach, the invariant Navier–Stokes equations for (...) viscous fluids, and the kinematic dynamo equation of magnetohydrodynamics. We give analytical random representations for these equations. We discuss briefly the relation between them and the Reynolds approach to turbulence. We discuss the role of the Cartan classical development method and the random extension of it as the method to generate these generalized Brownian motions, as well as the key to construct finite-dimensional almost everywhere smooth approximations of the random representations of these equations, the random symplectic theory, and the random Poincaré–Cartan invariants associated to it. We discuss the role of autoparallels of the RCW connections as providing polygonal smooth almost everywhere realizations of the random representations. (shrink)

Every linear perspective image has a center of the perspective construction. Only when observed from that location does a 2D image provide the same stimulus as the original 3D scene. Geometric analyses indicate that observing the image from other vantage points should affect the perceived spatial structure of the scene conveyed by the image, involving transformations such as shear, compression, and dilation. Based on previous research, this paper presents a detailed account of these transformations. The analyses are presented in (...) a uniform manner, illustrated with special 3D diagrams, and embedded in a wider framework of related perspective paradigms. Such analyses provide the potential theoretical basis for empirical work on the effects of changes of observer vantage points on the perception of spatial structure in perspective images. (shrink)

The question of the existence of gravitational stress-energy in general relativity has exercised investigators in the field since the inception of the theory. Folklore has it that no adequate definition of a localized gravitational stress-energetic quantity can be given. Most arguments to that effect invoke one version or another of the Principle of Equivalence. I argue that not only are such arguments of necessity vague and hand-waving but, worse, are beside the point and do not address the heart of the (...) issue. Based on a novel analysis of what it may mean for one tensor to depend in the proper way on another, which, en passant, provides a precise characterization of the idea of a "geometric object", I prove that, under certain natural conditions, there can be no tensor whose interpretation could be that it represents gravitational stress-energy in general relativity. It follows that gravitational energy, such as it is in general relativity, is necessarily non-local. Along the way, I prove a result of some interest in own right about the structure of the associated jet bundles of the bundle of Lorentz metrics over spacetime. I conclude by showing that my results also imply that, under a few natural conditions, the Einstein field equation is the unique equation relating gravitational phenomena to spatiotemporal structure, and discuss how this relates to the non-localizability of gravitational stress-energy. (shrink)

Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. If x is an element of X, let $B_n (x)$ be the ball of radius n around x. Suppose that X is infinite, connected and of bounded degree. A first-order sentence ϕ in the language of X is almost surely true (resp. a. s. false) for finite substructures of X if for every x ∈ X, the fraction of substructures of $B_n (...) (x)$ satisfying ϕ approaches 1 (resp. 0) as n approaches infinity. Suppose further that, for every finite substructure, X has a disjoint isomorphic substructure. Then every ϕ is a. s. true or a. s. false for finite substructures of X. This is one form of the geometric zero-one law. We formulate it also in a form that does not mention the ambient infinite structure. In addition, we investigate various questions related to the geometric zero-one law. (shrink)

We relate personal encounters of three kinds with geometrical approaches in the development of a relativistic quantum field theory of the fundamental interactions—including interactions with Nathan Rosen. We characterize the geometrical structures involved and discuss the more recent attempts to develop a unified theory based on a Klein-Kaluza contraction of the eightfold extended supergravity.

Large portions of mathematics such as algebra and geometry can be formalized using first-order axiomatizations. In many cases it is even possible to use a very well-behaved class of first-order axioms, namely, what are called coherent or geometric implications. Such class of axioms can be translated to inference rules that can be added to a sequent calculus while preserving its structural properties. In this work, this fundamental result is extended to their infinitary generalizations as extensions of sequent calculi for both (...) classical and intuitionistic infinitary logic. As an application, a simple proof of the infinitary Barr’s theorem without the axioms of choice is shown. (shrink)

In contrast to symbolic or associationist representations, I advocate a third form of representing information that employs geometrical structures. I argue that this form is appropriate for modelling concept learning. By using the geometrical structures of what I call conceptual spaces, I define properties and concepts. A learning model that shows how properties and concepts can be learned in a simple but naturalistic way is then presented. I also discuss the advantages of the geometric approach over the symbolic (...) and associationist traditions. (shrink)

Pessimistic meta-induction is a powerful argument against scientific realism, so one of the major roles for advocates of scientific realism will be trying their best to give a sustained response to this argument. On the other hand, it is also alleged that structural realism is the most plausible form of scientific realism; therefore, the plausibility of scientific realism is threatened unless one is given the explicit form of a structural continuity and minimal structural preservation for all our current theories. This (...) essay aims to present what we call expansive structures, which are the structures that can be reconstructed from geometrized Newtonian gravitation and are capable of expanding into general relativity, explicitly. In this way, pessimistic meta-induction will be undermined. (shrink)

In this article I argue that structure in chemistry is a creature of abstraction: attending selectively to structural similarities, we neglect differences. There are different ways to abstract, so abstraction is interest dependent. So is structure. First, there are two different and mutually irreducible notions of structure in chemistry: bond structure and geometrical structure. Second, structure is relative to scale : the same substance has different structures at different scales, and relationships of structural (...) sameness and difference vary across the scales. However, these facts have no tendency to undermine structure’s claim to reality, or its metaphysical seriousness. (shrink)

In contrast to symbolic or associationist representations, I advocate a third form of representing information that employs geometrical structures. I argue that this form is appropriate for modelling concept learning. By using the geometrical structures of what I call conceptual spaces, I define properties and concepts. A learning model that shows how properties and concepts can be learned in a simple but naturalistic way is then presented. I also discuss the advantages of the geometric approach over the symbolic (...) and associationist traditions. (shrink)

The agronomist who wants to study the nutrient and water uptake of roots needs a quantitative three-dimensional dynamic model of the structure of root systems.The model presented takes into account current knowledge about the morphogenesis of root systems. It describes the root system as a set of root axes, characterised by their orders. The morphogenetic properties of root axes differ according to their order. The axes of order 1 are directly inserted on the stem, the axes of order 2 (...) are inserted on axes of order 1, and so on. They tend to be more plagiotropec and to have less vascular bundles as the order increases. (shrink)

We establish a criterion for deciding whether a class of structures is the class of models of a geometric theory inside Grothendieck toposes; then we specialize this result to obtain a characterization of the infinitary first-order theories which are geometric in terms of their models in Grothendieck toposes, solving a problem posed by Ieke Moerdijk in 1989.

It is argued that quantum mechanics is fundamentally a geometric theory. This is illustrated by means of the connection and symplectic structures associated with the projective Hilbert space, using which the geometric phase can be understood. A prescription is given for obtaining the geometric phase from the motion of a time dependent invariant along a closed curve in a parameter space, which may be finite dimensional even for nonadiabatic cyclic evolutions in an infinite dimensional Hilbert space. Using the natural metric (...) on the projective space, we reformulate Schrödinger's equation for an isolated system. This metric is generalized to the space of all density matrices, and a physical meaning is proposed. (shrink)

Quantum Structures and the Nature of Reality is a collection of papers written for an interdisciplinary audience about the quantum structure research within the International Quantum Structures Association. The advent of quantum mechanics has changed our scientific worldview in a fundamental way. Many popular and semi-popular books have been published about the paradoxical aspects of quantum mechanics. Usually, however, these reflections find their origin in the standard views on quantum mechanics, most of all the wave-particle duality picture. Contrary to (...) relativity theory, where the meaning of its revolutionary ideas was linked from the start with deep structural changes in the geometrical nature of our world, the deep structural changes about the nature of our reality that are indicated by quantum mechanics cannot be traced within the standard formulation. The study of the structure of quantum theory, its logical content, its axiomatic foundation, has been motivated primarily by the search for their structural changes. Due to the high mathematical sophistication of this quantum structure research, no books have been published which try to explain the recent results for an interdisciplinary audience. This book tries to fill this gap by collecting contributions from some of the main researchers in the field. They reveal the steps that have been taken towards a deeper structural understanding of quantum theory. (shrink)

A connection viewed from the perspective of integration has the Bianchi identities as constraints. It is shown that the removal of these constraints admits a natural solution on manifolds endowed with a metric and teleparallelism. In the process, the equations of structure and the Bianchi identities take standard forms of field equations and conservation laws.The Levi-Civita (part of the) connection ends up as the potential for the gravity sector, where the source is geometric and tensorial and contains an explicit (...) gravitational contribution.Nonlinear field equations for the torsion result. In a “low-energy” approximation (linearity andlow energy-momentumtransfer), the postulate that only charge and velocities contribute to the source transforms these equations into the Maxwell system. Moreover, the affine geodesics become the equations of motion of special relativity with Lorentz force in the same approximation [J. G. Vargas,Found. Phys. 21, 379 (1991)]. The field equations for the torsion must then be viewed as applying to an electromagnetic/strong interaction.A classical unified theory thus arises where the underlying geometry confers their contrasting characters to Maxwell-Lorentz electrodynamics and to an Einstein's-like theory of gravity. The highly compact field equations must, however, be developed in phase-spacetime, since the connection is velocity-dependent, i.e., Finsler-like.Further opportunities for similarities with present-day physics are discussed: (a) teleparallelism allows for the formulation of the torsion sector of the theory as a flat space theory with concomitant point-dependent transformations; (b) spinors should replace Lorentz frames in their role as the subjects to which the connection refers; (c) the Dirac equation consistent with the frame bundle for a velocity-dependent metric with Lorentz signature generates a weak-like interaction in the torsion sector. (shrink)

I argue that the best spacetime setting for Newtonian gravitation (NG) is the curved spacetime setting associated with geometrized Newtonian gravitation (GNG). Appreciation of the ‘Newtonian equivalence principle’ leads us to conclude that the gravitational field in NG itself is a gauge quantity, and that the freely falling frames are naturally identified with inertial frames. In this context, the spacetime structure of NG is represented not by the flat neo-Newtonian connection usually made explicit in formulations, but by the sum (...) of the flat connection and the gravitational field. 1 Introduction2 Newtonian Gravity: The Orthodox Approach3 Newtonian Gravity: Additional Symmetries4 Cosmological Considerations5 A Newtonian Equivalence Principle: Inertial Frames in Newtonian Gravitation6 Theory Equivalence?7 Conclusion. (shrink)

This paper contains a tutorial introduction to the ideas of geometric algebra, concentrating on its physical applications. We show how the definition of a “geometric product” of vectors in 2-and 3-dimensional space provides precise geometrical interpretations of the imaginary numbers often used in conventional methods. Reflections and rotations are analyzed in terms of bilinear spinor transformations, and are then related to the theory of analytic functions and their natural extension in more than two dimensions (monogenics), Physics is greatly facilitated (...) by the use of Hestenes' spacetime algebra, which automatically incorporates the geometric structure of spacetime. This is demonstrated by examples from electromagnetism. In the course of this purely classical exposition many surprising results are obtained—results which are usually thought to belong to the preserve of quantum theory. We conclude that geometric algebra is the most powerful and general language available for the development of mathematical physics. (shrink)

INTRODUCTION In Einstein's theory of gravitation matter and its dynamical interaction are based on the notion of an intrinsic geometric structure of the space -time continuum. The ideal aspiration, the ultimate aim, of the theory is not more and ...

In an accompanying paper (I), it is shown that the basic equations of the theory of Lorentzian connections with teleparallelism (TP) acquire standard forms of physical field equations upon removal of the constraints represented by the Bianchi identities. A classical physical theory results that supersedes general relativity and Maxwell-Lorentz electrodynamics if the connection is viewed as Finslerian. The theory also encompasses a short-range, strong, classical interaction. It has, however, an open end, since the source side of the torsion field equation (...) is not geometric.In this paper, Kaehler's partial geometrization of the Dirac equation is taken as a starting point for the development of fully geometric Dirac equations via the correspondence principle given in I. For this purpose, Kaehler's calculus (where the spinors are differential forms) is generalized so that it also applies when the torsion is not zero. The point is then made that the forms can take values in tangent Clifford algebras rather than in tensor algebras. The basic “Eigenschaft” of the Kaehler calculus also is examined from the physical perspective of dimensional analysis.Geometric Dirac equations of great structural simplicity are finally inferred from the standard Dirac equation by using the aforementioned correspondence principle. The realm of application of the Dirac theory is thus enriched in principle, though only at an abstract level at this point: the standard spinors, which are scalar-valued forms in the Kaehler version of that theory, become Clifford-valued. In addition, the geometrization of the Dirac equation implies a geometrization of the Dirac current. When this current is replaced in the field equations for the torsion, the theory of Paper I becomes fully geometric. (shrink)

A constructivisation of the cut-elimination proof for sequent calculi for classical, intuitionistic and minimal infinitary logics with geometric rules—given in earlier work by the second author—is presented. This is achieved through a procedure where the non-constructive transfinite induction on the commutative sum of ordinals is replaced by two instances of Brouwer’s Bar Induction. The proof of admissibility of the structural rules is made ordinal-free by introducing a new well-founded relation based on a notion of embeddability of derivations. Additionally, conservativity for (...) classical over intuitionistic/minimal logic for the seven (finitary) Glivenko sequent classes is here shown to hold also for the corresponding infinitary classes. (shrink)

We unify three approaches within the vast body of gauge-theory research that have independently developed distinct representations of a geometrical surface-like structure underlying the vector-potential. The three approaches that we unify are: those who use the compactified dimensions of Kaluza–Klein theory, those who use Grassmannian models models) to represent gauge fields, and those who use a hidden spatial metric to replace the gauge fields. In this paper we identify a correspondence between the geometrical representations of the three (...) schools. Each school was mostly independently developed, does not compete with other schools, and attempts to isolate the gauge-invariant geometrical surface-like structures that are responsible for the resulting physics. By providing a mapping between geometrical representations, we hope physicists can now isolate representation-dependent physics from gauge-invariant physical results and share results between each school. We provide visual examples of the geometrical relationships between each school for \\) electric and magnetic fields. We highlight a first new result: in all three representations a static electric field has a hidden gauge-invariant time dependent surface that is underlying the vector potential. (shrink)

Consider a physical system for which a mathematically rigorous geometric quantization procedure exists. Now subject the system to a finite set of irreducible first class (bosonic) constraints. It is shown that there is a mathematically rigorous BRST quantization of the constrained system whose cohomology at ghost number zero recovers the constrained quantum states. Moreover this space of constrained states has a well-defined Hilbert space structure inherited from that of the original system. Treatments of these ideas in the physics literature (...) are more general but suffer from having states with infinite or zero "norms" and thus are not admissible as states. Also BRST operators for many systems require regularization to be well-defined. In our more restricted context, we show that our treatment does not suffer from any of these difficulties. (shrink)

One cannot expect an exact answer to the question “What are the possible structures of space?”, but rough answers to it impact central debates within philosophy of space and time. Recently Gordon Belot has suggested that a rough answer takes the class of metric spaces to represent the possible structures of space. This answer has intuitive appeal, but I argue, focusing on topological characterizations of dimension, examples of prima facie space-like mathematical spaces that have pathological dimension properties, and endorsing a (...) principle of plenitude for possibility, that we get a different rough answer: either the class of metrizable spaces or the class of separable metrizable spaces are possible structures of space. (shrink)

The article investigates one of the key contributions to modern structural mathematics, namely Hilbert’sFoundations of Geometry and its mathematical roots in nineteenth-century projective geometry. A central innovation of Hilbert’s book was to provide semantically minded independence proofs for various fragments of Euclidean geometry, thereby contributing to the development of the model-theoretic point of view in logical theory. Though it is generally acknowledged that the development of model theory is intimately bound up with innovations in 19th century geometry, so far, little (...) has been said about how exactly model-theoretic concepts grew out of methodological investigations within projective geometry. This article is supposed to fill this lacuna and investigates this geometrical prehistory of modern model theory, eventually leading up to Hilbert’sFoundations. (shrink)

We study the theory of the structure induced by parameter free formulas on a “dense” algebraically independent subset of a model of a geometric theory T. We show that while being a trivial geometric theory, inherits most of the model theoretic complexity of T related to stability, simplicity, rosiness, the NIP and the NTP2. In particular, we show that T is strongly minimal, supersimple of SU‐rank 1, has the NIP or the NTP2 exactly when has these properties. We show (...) that if T is superrosy of thorn rank 1, then so is, and that the converse holds if T satisfies acl = dcl. (shrink)