A Stringent Test of Magnetic Models of Stellar Evolution

Main-sequence stars with convective envelopes often appear larger and cooler than predicted by standard models of stellar evolution for their measured masses. This is believed to be caused by stellar activity. In a recent study, accurate measurements were published for the K-type components of the 1.62-day detached eclipsing binary EPIC 219511354, showing the radii and temperatures for both stars to be affected by these discrepancies. This is a rare example of a system in which the age and chemical composition are known, by virtue of being a member of the well-studied open cluster Ruprecht 147 (age~3 Gyr, [Fe/H] = +0.10). Here, we report a detailed study of this system with nonstandard models incorporating magnetic inhibition of convection. We show that these calculations are able to reproduce the observations largely within their uncertainties, providing robust estimates of the strength of the magnetic fields on both stars: 1600 ± 130 G and 1830 ± 150 G for the primary and secondary, respectively. Empirical estimates of the magnetic field strengths based on the measured X-ray luminosity of the system are roughly consistent with these predictions, supporting this mechanism as a possible explanation for the radius and temperature discrepancies.

Truncations of ordered abelian groups

We give axioms for a class of ordered structures, called truncated ordered abelian groups (TOAG’s) carrying an addition. TOAG’s come naturally from ordered abelian groups with a 0 and a $$+$$ + , but the addition of a TOAG is not necessarily even a cancellative semigroup. The main examples are initial segments $$[0, \tau ]$$ [ 0 , τ ] of an ordered abelian group, with a truncation of the addition. We prove that any model of these axioms (i.e. a truncated ordered abelian group) is an initial segment of an ordered abelian group. We define Presburger TOAG’s, and give a criterion for a TOAG to be a Presburger TOAG, and for two Presburger TOAG’s to be elementarily equivalent, proving analogues of classical results on Presburger arithmetic. Their main interest for us comes from the model theory of certain local rings which are quotients of valuation rings valued in a truncation [0, a] of the ordered group $${\mathbb {Z}}$$ Z or more general ordered abelian groups, via a study of these truncations without reference to the ambient ordered abelian group. The results are used essentially in a forthcoming paper (D’Aquino and Macintyre, The model theory of residue rings of models of Peano Arithmetic: The prime power case, 2021, arXiv:2102.00295) in the solution of a problem of Zilber about the logical complexity of quotient rings, by principal ideals, of nonstandard models of Peano arithmetic.

A Note on Intended and Standard Models

This note discusses some problems concerning intended, standard, and nonstandard models of mathematical theories. We pay attention to the role of extremal axioms in attempts at a unique characterization of the intended models. We recall also Jan Woleński’s views on these issues.

Solvability and Bifurcation of Solutions of Nonlinear Equations with Fredholm Operator

The necessary and sufficient conditions of existence of the nonlinear operator equations’ branches of solutions in the neighbourhood of branching points are derived. The approach is based on the reduction of the nonlinear operator equations to finite-dimensional problems. Methods of nonlinear functional analysis, integral equations, spectral theory based on index of Kronecker-Poincaré, Morse-Conley index, power geometry and other methods are employed. Proposed methodology enables justification of the theorems on existence of bifurcation points and bifurcation sets in the nonstandard models. Formulated theorems are constructive. For a certain smoothness of the nonlinear operator, the asymptotic behaviour of the solutions is analysed in the neighbourhood of the branch points and uniformly converging iterative schemes with a choice of the uniformization parameter enables the comprehensive analysis of the problems details. General theorems and effectiveness of the proposed methods are illustrated on the nonlinear integral equations.

Solvability of Nonlinear Equations in Case of Branching Solutions

The necessary and sufficient conditions of existence of the nonlinear operator equations' branches of solutions in the neighbourhood of branching points are derived. The approach is based on reduction of the nonlinear operator equations to finite-dimensional problems. Methods of nonlinear functional analysis, integral equations, spectral theory based on index of Kronecker-Poincare, Morse-Conley index, power geometry and other methods are employed. Proposed methodology enables justification of the theorems on existence of bifurcation points and bifurcation sets in the nonstandard models. Formulated theorems are constructive. For a certain smoothness of the nonlinear operator, the asymptotic behaviour of the solutions is analysed in the neighbourhood of the branch points and uniformly converging iterative schemes with a choice of the uniformization parameter enables the comprehensive analysis of the problems details. General theorems are illustrated on the nonlinear integral equations.

Categories for Quantum Theory

Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition and a conceptual way to understand many high-level quantum phenomena. Here, we lay the foundations for this categorical quantum mechanics, with an emphasis on the graphical calculus that makes computation intuitive. We describe superposition and entanglement using biproducts and dual objects, and show how quantum teleportation can be studied abstractly using these structures. We investigate monoids, Frobenius structures and Hopf algebras, showing how they can be used to model classical information and complementary observables. We describe the CP construction, a categorical tool to describe probabilistic quantum systems. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding. Previous knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text, we point out links with many other areas, such as representation theory, topology, quantum algebra, knot theory and probability theory, and present nonstandard models including sets and relations. All results are stated rigorously and full proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook.

Löwenheim–Skolem theorems and nonstandard models

Sometimes we specify a structure by giving a description and counting anything that satisfies the description as just another model of it. But at other times we start from a conception we try to articulate, and then our articulation may fail to pin down what we had in mind. Sets seem to have had such a fate. For millennia sets lay fallow in logic, but when cultivated by mathematics in the nineteenth century, they seemed to bear both a foundation and a theory of the infinite. The paradoxes of set theory seemed to threaten this promise. With an eye to proving freedom from paradox, versions of set theory were articulated rigorously. But around 1920, Löwenheim and Skolem proved that no such formalized set theory can come out true only in the hugely infinite world it seemed to reveal, for if it is true in such a world, it will also be true in a world of the smallest infinite size. (Versions of this remain true even if we augment the standard expressive devices used to formalize set theory.) But then, Skolem inferred, we cannot articulate sets determinately enough for them to constitute a firm foundation for mathematics.

STRICT FINITISM, FEASIBILITY, AND THE SORITES

This article bears on four topics: observational predicates and phenomenal properties, vagueness, strict finitism as a philosophy of mathematics, and the analysis of feasible computability. It is argued that reactions to strict finitism point towards a semantics for vague predicates in the form of nonstandard models of weak arithmetical theories of the sort originally introduced to characterize the notion of feasibility as understood in computational complexity theory. The approach described eschews the use of nonclassical logic and related devices like degrees of truth or supervaluation. Like epistemic approaches to vagueness, it may thus be smoothly integrated with the use of classical model theory as widely employed in natural language semantics. But unlike epistemicism, the described approach fails to imply either the existence of sharp boundaries or the failure of tolerance for soritical predicates. Applications of measurement theory (in the sense of Krantz, Luce, Suppes, & Tversky (1971)) to vagueness in the nonstandard setting are also explored.