We use modified Tsirelson's spaces to prove that there is no finite basis for turbulent Polish group actions. This answers a question of Hjorth and Kechris 329–346; Hjorth, Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 2000, Section 3.4.3).

This paper has three parts. First, we establish some of the basic model theoretic facts about, the Tsirelson space of Figiel and Johnson [20]. Second, using the results of the first part, we give some facts about general Banach spaces. Third, we study model‐theoretic dividing lines in some Banach spaces and their theories. In particular, we show: (1) has the non independence property (NIP); (2) every Banach space that is ℵ0‐categorical up to small perturbations embeds c0 or (...) () almost isometrically; consequently the (continuous) first‐order theory of does not characterize, up to almost isometric isomorphism. (shrink)

Traditionally, the role of general topology in model theory has been mainly limited to the study of compacta that arise in first-order logic. In this context, the topology tends to be so trivial that it turns into combinatorics, motivating a widespread approach that focuses on the combinatorial component while usually hiding the topological one. This popular combinatorial approach to model theory has proved to be so useful that it has become rare to see more advanced topology in model-theoretic articles. Prof. (...) Franklin D. Tall has led the re-introduction of general topology as a valuable tool to push the boundaries of model theory. Most of this thesis is directly influenced by and builds on this idea.The first part of the thesis will answer a problem of T. Gowers on the undefinability of pathological Banach spaces such as Tsirelson space. The topological content of this chapter is centred around Grothendieck spaces.In a similar spirit, the second part will show a new connection between the notion of metastability introduced by T. Tao and the topological concept of pseudocompactness. We shall make use of this connection to show a result of X. Caicedo, E. Dueñez, J. Iovino in a much simplified manner.The third part of the thesis will carry a higher set-theoretic content as we shall use forcing and descriptive set theory to show that the well-known theorem of M. Morley on the trichotomy concerning the number of models of a first-order countable theory is undecidable if one considers second-order countable theories instead.The only part that did not originate from model-theoretic questions will be the fourth one. We show that $\operatorname {ZF} + \operatorname {DC} +$ “all Turing invariant sets of reals have the perfect set property” implies that all sets of reals have the perfect set property. We also show that this result generalizes to all countable analytic equivalence relations. This result provides evidence in favour of a long-standing conjecture asking whether Turing determinacy implies the axiom of determinacy.Abstract prepared by Clovis HamelE-mail: chamel@math.toronto.edu. (shrink)

Inspired by a construction of the Tsirelson space , we prove a general theorem for omitting countably many positive formulas in normed spaces. This theorem can be used in functional analysis as a tool to guarantee the existence of complicated normed spaces without having to construct them. The proof of this result is based on the notion of approximate truth and on a study of the relationship between approximate truth and convergence in normed spaces. We illustrate the power (...) of this result with an application to functional analysis. (shrink)

We investigate ideals of the form {A⊆ω: Σn∈Axnis unconditionally convergent} where n∈ωis a sequence in a Polish group or in a Banach space. If an ideal onωcan be seen in this form for some sequence inX, then we say that it is representable inX.After numerous examples we show the following theorems: An ideal is representable in a Polish Abelian group iff it is an analytic P-ideal. An ideal is representable in a Banach space iff it is a nonpathological (...) analytic P-ideal.We focus on the family of ideals representable inc0. We characterize this property via the defining sequence of measures. We prove that the trace of the null ideal, Farah’s ideal, and Tsirelson ideals are not representable inc0, and that a tallFσP-ideal is representable inc0iff it is a summable ideal. Also, we provide an example of a peculiar ideal which is representable inℓ1but not in ℝ.Finally, we summarize some open problems of this topic. (shrink)

We use Bub's (2016) correlation arrays and Pitowksy's (1989b) correlation polytopes to analyze an experimental setup due to Mermin (1981) for measurements on the singlet state of a pair of spin-12 particles. The class of correlations allowed by quantum mechanics in this setup is represented by an elliptope inscribed in a non-signaling cube. The class of correlations allowed by local hidden-variable theories is represented by a tetrahedron inscribed in this elliptope. We extend this analysis to pairs of particles of arbitrary (...) spin. The class of correlations allowed by quantum mechanics is still represented by the elliptope; the subclass of those allowed by local hidden-variable theories by polyhedra with increasing numbers of vertices and facets that get closer and closer to the elliptope. We use these results to advocate for an interpretation of quantum mechanics like Bub's. Probabilities and expectation values are primary in this interpretation. They are determined by inner products of vectors in Hilbert space. Such vectors do not themselves represent what is real in the quantum world. They encode families of probability distributions over values of different sets of observables. As in classical theory, these values ultimately represent what is real in the quantum world. Hilbert space puts constraints on possible combinations of such values, just as Minkowski space-time puts constraints on possible spatio-temporal constellations of events. Illustrating how generic such constraints are, the equation for the elliptope derived in this paper is a general constraint on correlation coefficients that can be found in older literature on statistics and probability theory. Yule (1896) already stated the constraint. De Finetti (1937) already gave it a geometrical interpretation. (shrink)

We study Schauder equivalence relations, which are Borel equivalence relations induced by actions of Banach spaces with Schauder bases. Firstly, we show that and are minimal Schauder equivalence relations. Then, we prove that neither of them is Borel reducible to the quotient where T is the Tsirelson space. This implies that they cannot form a basis for the Schauder equivalence relations. In addition, we apply an argument of Farah to show that every basis for the Schauder equivalence relations, (...) if such exist, has to be of cardinality. (shrink)

Correlations of spins in a system of entangled particles are inconsistent with Kolmogorov’s probability theory (KPT), provided the system is assumed to be non-contextual. In the Alice–Bob EPR paradigm, non-contextuality means that the identity of Alice’s spin (i.e., the probability space on which it is defined as a random variable) is determined only by the axis $\alpha _{i}$ chosen by Alice, irrespective of Bob’s axis $\beta _{j}$ (and vice versa). Here, we study contextual KPT models, with two properties: (1) (...) Alice’s and Bob’s spins are identified as $A_{ij}$ and $B_{ij}$ , even though their distributions are determined by, respectively, $\alpha _{i}$ alone and $\beta _{j}$ alone, in accordance with the no-signaling requirement; and (2) the joint distributions of the spins $A_{ij},B_{ij}$ across all values of $\alpha _{i},\beta _{j}$ are constrained by fixing distributions of some subsets thereof. Of special interest among these subsets is the set of probabilistic connections, defined as the pairs $\left( A_{ij},A_{ij'}\right) $ and $\left( B_{ij},B_{i'j}\right) $ with $\alpha _{i}\not =\alpha _{i'}$ and $\beta _{j}\not =\beta _{j'}$ (the non-contextuality assumption is obtained as a special case of connections, with zero probabilities of $A_{ij}\not =A_{ij'}$ and $B_{ij}\not =B_{i'j}$ ). Thus, one can achieve a complete KPT characterization of the Bell-type inequalities, or Tsirelson’s inequalities, by specifying the distributions of probabilistic connections compatible with those and only those spin pairs $\left( A_{ij},B_{ij}\right) $ that are subject to these inequalities. We show, however, that quantum-mechanical (QM) constraints are special. No-forcing theorem says that if a set of probabilistic connections is not compatible with correlations violating QM, then it is compatible only with the classical–mechanical correlations. No-matching theorem says that there are no subsets of the spin variables $A_{ij},B_{ij}$ whose distributions can be fixed to be compatible with and only with QM-compliant correlations. (shrink)

Some mathematical theories in physics justify their explanatory superiority over earlier formalisms by the clarity of their postulates. In particular, axiomatic reconstructions drive home the importance of the composition rule and the continuity assumption as two pillars of quantum theory. Our approach sits on these pillars and combines new mathematics with a testable prediction. If the observer is defined by a limit on string complexity, information dynamics leads to an emergent continuous model in the critical regime. Restricting it to a (...) family of binary codes describing ‘bipartite systems,’ we find strong evidence of an upper bound on bipartite correlations equal to 2.82537. This is measurably different from the Tsirelson bound. The Hilbert space formalism emerges from this mathematical investigation as an effective description of a fundamental discrete theory in the critical regime. (shrink)

We point out that, when the dimension of the Hilbert space is greater than two, Bell’s operators entering the Bell-CHSH inequality do exhibit inequivalent unitary matrix representations. Although the Bell-CHSH inequality turns out to be violated, the size of the violation is different for different representations, the maximum violation being given by Tsirelson’s bound. The feature relies on a pairing mechanism between the modes of the Hilbert space of the system.

Instead of the usual asymptotic passage from quantum mechanics to classical mechanics when a parameter tended to infinity, a sharp boundary is obtained for the domain of existence of classical reality. The last is treated as separable empirical reality following d'Espagnat, described by a mathematical superstructure over quantum dynamics for the universal wave function. Being empirical, this reality is constructed in terms of both fundamental notions and characteristics of observers. It is presupposed that considered observers perceive the world as a (...) system of collective degrees of freedom that are inherently dissipative because of interaction with thermal degrees of freedom. Relevant problems of foundation of statistical physics are considered. A feasible example is given of a macroscopic system not admitting such classical reality.The article contains a concise survey of some relevant domains: quantum and classical Bell-type inequalities; universal wave function; approaches to quantum description of macroscopic world, with emphasis on dissipation; spontaneous reduction models; experimental tests of the universal validity of the quantum theory. (shrink)

The principle of 'information causality' can be used to derive an upper bound---known as the 'Tsirelson bound'---on the strength of quantum mechanical correlations, and has been conjectured to be a foundational principle of nature. In this paper, however, I argue that the principle has not to date been sufficiently motivated to play this role; the motivations that have so far been given are either unsatisfactorily vague or else amount to little more than an appeal to intuition. I then consider (...) how one might begin to successfully motivate the principle. I argue that a compelling way of so doing is to understand it as a generalisation of Einstein's principle of the mutually independent existence---the 'being-thus'---of spatially distant things, interpreted as a special methodological principle. More specifically: I describe an argument, due to Demopoulos, to the effect that the quantum-mechanical no-signalling condition can be viewed as a generalisation, appropriate to an irreducibly statistical theory such as quantum mechanics, of the Einsteinian principle. And I then argue that a compelling way to motivate information causality is to in turn consider it as a further generalisation of the Einsteinian principle that is appropriate to a theory of communication. I nevertheless describe important obstacles that must yet be overcome if the project of establishing information causality as a foundational principle of nature is to succeed. (shrink)

Tsirelson’s problem deals with how to model separate measurements in quantum mechanics. In addition to its theoretical importance, the resolution of Tsirelson’s problem could have great consequences for device independent quantum key distribution and certified randomness. Unfortunately, understanding present literature on the subject requires a heavy mathematical background. In this paper, we introduce quansality, a new theoretical concept that allows to reinterpret Tsirelson’s problem from a foundational point of view. Using quansality as a guide, we recover all (...) known results on Tsirelson’s problem in a clear and intuitive way. (shrink)

Local hidden-variable model of singlet-state correlations discussed in Czachor (Acta Phys Polon A 139:70, 2021a) is shown to be a particular case of an infinite hierarchy of local hidden-variable models based on an infinite hierarchy of calculi. Violation of Bell-type inequalities can be interpreted as a ‘confusion of languages’ problem, a result of mixing different but neighboring levels of the hierarchy. Mixing of non-neighboring levels results in violations beyond the Tsirelson bounds.

Journal of Political Philosophy, EarlyView.

Alongside clinical practice, medical schools now confront mounting reasons to examine nontraditional approaches to ethics. Increasing awareness of systems of oppression and their effects on the experiences of trainees, patients, professionals, and generally on medical care, is pushing medical curriculum into an unfamiliar territory. While there is room throughout medical school to take up these concerns, ethics curricula are well-positioned to explore new pedagogical approaches. Feminist ethics has long addressed systems of oppression and broader structures of power. Some of its (...) established concepts can offer distinct value as medical climates change and adapt in response to increased awareness of the experiences of marginalized individuals and populations. In this essay, we offer a set of concepts from feminist ethics that have a fundamental role to play in medical school curriculum: relationality, relational autonomy, and epistemic justice. Though these concepts are not exhaustive, they can be taught in tandem with the concepts that have historically grounded ethics education in medical school, such as autonomy and beneficence. Ultimately, we contend that these concepts hold particular value in ethics curriculum insofar as they diversify mainstream ethical approaches, directly address the pervasiveness of systems of oppression in medicine, and recognize the voices and concerns that may be marginalized in standard approaches. (shrink)

Sebastian Luft presents and defends the philosophy of culture championed by the Marburg School of Neo-Kantianism. Following a historical trajectory from Hermann Cohen to Paul Natorp and through to Ernst Cassirer, this book makes a systematic case for the viability and attractiveness of a philosophical culture in a transcendental vein, in the manner in which the Marburgers intended to broaden Kant's approach.

In reasoning, we draw conclusions from multiple premises. But thinkers can be fragmented. And if there is no single fragment of the agent that thinks all of the premises, then the agent cannot draw any conclusions from them. It follows that reasoning from multiple premises depends on their being thought together. But what is it to think premises together? What is the condition that contrasts with fragmentation? This paper provides an answer to this question that is simple but compelling: to (...) think premises together is to attribute those very thoughts to one and the same self. The ability to reason depends on the ability to attribute the thoughts from which one reasons to oneself. Reasoning—at least the sort of reasoning that we do—requires de se thought. (shrink)

Helmholtz's theory of space had significant impact on Schlick's early ?critical realist? point of view. However, it will be argued in this paper that Schlick's appropriation of Helmholtz's ideas eventually lead to a rather radical transformation of the original Helmholtzian position.

The theory of branching space-times, put forward by Belnap, considers indeterminism as local in space and time. In the axiomatic foundations of that theory, so-called choice points mark the points at which the possible future can turn out in different ways. Working under the assumption of choice points is suitable for many applications, but has an unwelcome topological consequence that makes it difficult to employ branching space-times to represent a range of possible physical space-times. Therefore it (...) is interesting to develop a branching space-times theory without choice points. This is what we set out to do in this paper, providing new foundations for branching space-times in terms of choice sets rather than choice points. After motivating and developing the resulting theory in formal detail, we show that it is possible to translate structures of one style into structures of the other style and vice versa. This result shows that the underlying idea of indeterminism as the branching of spatio-temporal histories is robust with respect to different implementations, making a choice between them a matter of expediency rather than of principle. (shrink)