Working within weak subsystems of second-order arithmetic Z2 we consider two versions of the Baire Category theorem which are not equivalent over the base system RCA0. We show that one version (B.C.T.I) is provable in RCA0 while the second version (B.C.T.II) requires a stronger system. We introduce two new subsystems of Z2, which we call RCA+ 0 and WKL+ 0, and show that RCA+ 0 suffices to prove B.C.T.II. Some model theory of WKL+ 0 and its importance in (...) view of Hilbert's program is discussed, as well as applications of our results to functional analysis. (shrink)

A notion of resource-bounded Baire category is developed for the class PC[0,1] of all polynomial-time computable real-valued functions on the unit interval. The meager subsets of PC[0,1] are characterized in terms of resource-bounded Banach-Mazur games. This characterization is used to prove that, in the sense of Baire category, almost every function in PC[0,1] is nowhere differentiable. This is a complexity-theoretic extension of the analogous classical result that Banach proved for the class C[0, 1] in 1931.

A notion of resource‐bounded Baire category is developed for the classPC[0,1]of all polynomial‐time computable real‐valued functions on the unit interval. The meager subsets ofPC[0,1]are characterized in terms of resource‐bounded Banach‐Mazur games. This characterization is used to prove that, in the sense of Baire category, almost every function inPC[0,1]is nowhere differentiable. This is a complexity‐theoretic extension of the analogous classical result that Banach proved for the classC[0, 1] in 1931. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, (...) Weinheim). (shrink)

Let κ B be the least cardinal for which the Baire category theorem fails for the real line R. Thus κ B is the least κ such that the real line can be covered by κ many nowhere dense sets. It is shown that κ B cannot have countable cofinality. On the other hand it is consistent that the corresponding cardinal for 2 ω 1 be ℵ ω . Similar questions are considered for the ideal of measure zero (...) sets, other ω 1 saturated ideals, and the ideal of zero-dimensional subsets of R ω 1. (shrink)

Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.

We show that it is relatively consistent with ZFC that there is a non-meager set of reals [Formula: see text] such that for every non-meager [Formula: see text], there exist distinct [Formula: see text] such that [Formula: see text] is computable from the Turing join of [Formula: see text] and [Formula: see text].

We study the uniform computational content of different versions of the Baire category theorem in the Weihrauch lattice. The Baire category theorem can be seen as a pigeonhole principle that states that a complete metric space cannot be decomposed into countably many nowhere dense pieces. The Baire category theorem is an illuminating example of a theorem that can be used to demonstrate that one classical theorem can have several different computational interpretations. For one, we (...) distinguish two different logical versions of the theorem, where one can be seen as the contrapositive form of the other one. The first version aims to find an uncovered point in the space, given a sequence of nowhere dense closed sets. The second version aims to find the index of a closed set that is somewhere dense, given a sequence of closed sets that cover the space. Even though the two statements behind these versions are equivalent to each other in classical logic, they are not equivalent in intuitionistic logic, and likewise, they exhibit different computational behavior in the Weihrauch lattice. Besides this logical distinction, we also consider different ways in which the sequence of closed sets is “given.” Essentially, we can distinguish between positive and negative information on closed sets. We discuss all four resulting versions of the Baire category theorem. Somewhat surprisingly, it turns out that the difference in providing the input information can also be expressed with the jump operation. Finally, we also relate the Baire category theorem to notions of genericity and computably comeager sets. (shrink)

The Principle of Dependent Choice is shown to be equivalent to: the Baire Category Theorem for Čech-complete spaces (or for complete metric spaces); the existence theorem for generic sets of forcing conditions; and a proof-theoretic principle that abstracts the "Henkin method" of proving deductive completeness of logical systems. The Rasiowa-Sikorski Lemma is shown to be equivalent to the conjunction of the Ultrafilter Theorem and the Baire Category Theorem for compact Hausdorff spaces.

We develop the concepts of recursively nowhere dense sets and sets that are recursively of first category and study closed sets of points in light of Baire's Category Theorem. Our theorems are primarily concerned with exdomains of recursive quantum functions and hence with avoidable points . An avoidance function is a recursive function which can be used to expel avoidable points from domains of recursive quantum functions. We define an avoidable set of points to be an arbitrary (...) subset of the avoidable points of a single avoidance function, and we study an effective union of such sets which we call a piecemeal avoidable set. We note that each of ‘the set of recursive points’ and ‘the set of avoidable points’ is of first category but not recursively of first category. We show an exdomain exists which is recursively nowhere dense, as well as one that is nowhere dense but not recursively nowhere dense. After establishing that every exdomain is recursively of first category, we prove that given any fixed exdomain, there is another exdomain, which while dense in the underlying space, is disjoint from the fixed exdomain. Finally, we show how to build a recursive sequence of recursive quantum functions that have mutually disjoint, dense exdomains. (shrink)

In this paper, we generalize a result of Brown and Simpson [1] to prove that RCA0+Π0∞-BCT is conservative over RCA0 with respect to the set of formulae in the form ∃!Xφ, where φ is arithmetical. We also consider the conservation of Π00∞-BCT over Σb1-NIA+∇b1-CA.

We show that the statement “separable, countably compact, regular spaces are Baire” is deducible from a strictly weaker form than AC, namely, CAC . We also find some characterizations of the axiom of dependent choices.

In this work we give a complete answer as to the possible implications between some natural properties of Lebesgue measure and the Baire property. For this we prove general preservation theorems for forcing notions. Thus we answer a decade-old problem of J. Baumgartner and answer the last three open questions of the Kunen-Miller chart about measure and category. Explicitly, in \S1: (i) We prove that if we add a Laver real, then the old reals have outer measure one. (...) (ii) We prove a preservation theorem for countable-support forcing notions, and using this theorem we prove (iii) If we add ω 2 Laver reals, then the old reals have outer measure one. From this we obtain (iv) $\operatorname{Cons}(\mathrm{ZF}) \Rightarrow \operatorname{Cons}(\mathrm{ZFC} + \neg B(m) + \neg U(m) + U(c))$ . In \S2: (i) We prove a preservation theorem, for the finite support forcing notion, of the property " $F \subseteq ^\omega\omega$ is an unbounded family." (ii) We introduce a new forcing notion making the old reals a meager set but the old members of ω ω remain an unbounded family. Using this we prove (iii) $\operatorname{Cons}(\mathrm{ZF}) \Rightarrow \operatorname{Cons}(\mathrm{ZFC} + U(m) + \neg B(c) + \neg U(c) + C(c))$ . In \S3: (i) We prove a preservation theorem, for the finite support forcing notion, of a property which implies "the union of the old measure zero sets is not a measure zero set," and using this theorem we prove (ii) $\operatorname{Cons}(\mathrm{ZF}) \Rightarrow \operatorname{Cons}(\mathrm{ZFC} + \neg U(m) + C(m) + \neg C(c))$. (shrink)

We apply Benacerraf’s distinction between mathematical ontology and mathematical practice to examine contrasting interpretations of infinitesimal mathematics of the seventeenth and eighteenth century, in the work of Bos, Ferraro, Laugwitz, and others. We detect Weierstrass’s ghost behind some of the received historiography on Euler’s infinitesimal mathematics, as when Ferraro proposes to understand Euler in terms of a Weierstrassian notion of limit and Fraser declares classical analysis to be a “primary point of reference for understanding the eighteenth-century theories.” Meanwhile, scholars like (...) Bos and Laugwitz seek to explore Eulerian methodology, practice, and procedures in a way more faithful to Euler’s own. Euler’s use of infinite integers and the associated infinite products are analyzed in the context of his infinite product decomposition for the sine function. Euler’s principle of cancellation is compared to the Leibnizian transcendental law of homogeneity. The Leibnizian law of continuity similarly finds echoes in Euler. We argue that Ferraro’s assumption that Euler worked with a classical notion of quantity is symptomatic of a post-Weierstrassian placement of Euler in the Archimedean track for the development of analysis, as well as a blurring of the distinction between the dual tracks noted by Bos. Interpreting Euler in an Archimedean conceptual framework obscures important aspects of Euler’s work. Such a framework is profitably replaced by a syntactically more versatile modern infinitesimal framework that provides better proxies for his inferential moves. (shrink)

The first half of the 17th century was a time of intellectual ferment when wars of natural philosophy were echoes of religious wars, as we illustrate by a case study of an apparently innocuous mathematical technique called adequality pioneered by the honorable judge Pierre de Fermat, its relation to indivisibles, as well as to other hocus-pocus. André Weil noted that simple applications of adequality involving polynomials can be treated purely algebraically but more general problems like the cycloid curve cannot be (...) so treated and involve additional tools–leading the mathematician Fermat potentially into troubled waters. Breger attacks Tannery for tampering with Fermat’s manuscript but it is Breger who tampers with Fermat’s procedure by moving all terms to the left-hand side so as to accord better with Breger’s own interpretation emphasizing the double root idea. We provide modern proxies for Fermat’s procedures in terms of relations of infinite proximity as well as the standard part function. (shrink)

Can visual interaction with artwork prompt healing? Can the brain recover from traumatic experiences and help heal the whole body? Since the 1940s, art therapists have claimed that the production of art can help heal past traumas. Similarly, occupational therapists have employed techniques from arts and crafts since the end of World War II to retrain soldiers helping them recover from the trauma of war. The global Covid-19 pandemic has caused health-related and psychological problems--isolation, increased anxiety, and fear--for people of (...) all ages, with the rates of such traumas affecting children tripling over the past two years. According to the Nebraska-based quilting company, Accuquilt, during the first six months of pandemic isolation in 2020, sales more than doubled as new customers showed a desire to participate in arts and crafts from home. This essay explores various approaches to the arts to determine how art may restore dignity and health following traumatic experiences. (shrink)

Classically, an osculating circle at a point of a planar curve is introduced technically, often with formula giving its radius and the coordinates of its center. In this note, we propose a new and intuitive definition of this concept: among all the circles which have, on the considered point, the same tangent as the studied curve and thus seem equal to the curve through a microscope, the osculating circle is this that seems equal to the curve through a microscope within (...) microscope. (shrink)

ABSTRACTMetaphors frequently link negative affect with darkness and associations of this type have been established in several experimental paradigms. Given the ubiquity and strength of these associations, people who prefer dark to light may be more prone to negative emotional experiences and symptoms. A five study investigation couches these ideas in a new theoretical framework and then examines them. Across studies, 1 in 4 people preferred the perceptual concept of dark over the perceptual concept of light. These dark-preferring people scored (...) higher in neuroticism and experienced greater depressive feelings in daily life. Moreover, dark preferences shared a robust relationship with depressive symptoms as well as generalised anxiety symptoms. The results provide novel insights into negative affectivity and extend conceptual metaphor theory in a way that is capable of making individual difference predictions. (shrink)

We formulate an abstract version of the finite injury method in the form of the Baire category theorem. The theorem has the following corollaries: The Friedberg-Muchnik pair of recursively enumerable degrees, the Sacks splitting theorem, the existence of a minimal degree below 0′ and the Shoenfield jump theorem.

This paper studies how well computable functions can be approximated by their Fourier series. To this end, we equip the space of Lp-computable functions with a size notion, by introducing Lp-computable Baire categories. We show that Lp-computable Baire categories satisfy the following three basic properties. Singleton sets {f } are meager, suitable infinite unions of meager sets are meager, and the whole space of Lp-computable functions is not meager. We give an alternative characterization of meager sets via Banach-Mazur (...) games. We study the convergence of Fourier series for Lp-computable functions and show that whereas for every p > 1, the Fourier series of every Lp-computable function f converges to f in the Lp norm, the set of L1-computable functions whose Fourier series does not diverge almost everywhere is meager. (shrink)

Research on applying signature character strengths demonstrated positive effects on well-being, health and work behavior. Future health care professionals represent a group at risk for impaired well-being due to high study demands. This study investigates potential long-term protective effects on well-being. In total, 504 medical students participated in a longitudinal online study, with at least 96 providing complete data at all three time points. Data on individual signature character strengths and their applicability, thriving, work engagement, burnout, mental and physical health (...) were collected. Longitudinal relations of signature character strengths’ applicability and well-being, mental and physical health were tested with cross-lagged panel analyses. Moreover, indirect longitudinal mediation effects via work engagement and emotional exhaustion were considered. Cross-lagged panel analyses demonstrated significant positive effects of thriving on signature character strengths’ applicability at later time points indicating that higher levels of well-being might be mandatory first to have access to one’s own signature character strengths in a naturalistic setting. Disentangling thriving, the effect was only significant for psychological well-being. Across all three time points, significant indirect effects via work engagement on the relation of the applicability of signature character strengths and well-being were identified, whereas significant indirect effects on mental and physical health were only evident at t2 and t3. A longitudinal mediation analysis via work engagement revealed a significant indirect effect. These results call for further research as previous studies showed that the applicability of signature character strengths affected well-being, not vice versa. The ‘broaden-and-build’ theory and the assumption of well-being in a “top-down” model could possibly explain these novel results. (shrink)

By utilizing the topological concept of pseudocompactness, we simplify and improve a proof of Caicedo, Dueñez, and Iovino concerning Terence Tao's metastability. We also pinpoint the exact relationship between the Omitting Types Theorem and the Baire Category Theorem by developing a machine that turns topological spaces into abstract logics.

We give topological proofs of Görnemann’s adaptation to Heyting algebras of the Rasiowa-Sikorski Lemma for Boolean algebras; and of the Rauszer-Sabalski generalisation of it to distributive lattices. The arguments use the Priestley topology on the set of prime filters, and the Baire category theorem. This is preceded by a discussion of criteria for compactness of various spaces of subsets of a lattice, including spaces of filters, prime filters etc.

A Souslin algebra is a complete Boolean algebra whose main features are ruled by a tight combination of an antichain condition with an infinite distributive law. The present article divides into two parts. In the first part a representation theory for the complete and atomless subalgebras of Souslin algebras is established (building on ideas of Jech and Jensen). With this we obtain some basic results on the possible types of subalgebras and their interrelation. The second part begins with a review (...) of some generalizations of results from descriptive set theory concerning Baire category which are then used in non-trivial Souslin tree constructions that yield Souslin algebras with a remarkable subalgebra structure. In particular, we use this method to prove that under the diamond principle there is a bi-embeddable though not isomorphic pair of homogeneous Souslin algebras. (shrink)

ObjectiveTo evaluate the relationship between recently trained paediatricians' ethics knowledge and exposure to a formal ethics or professionalism curriculum during residency.MethodsWe conducted a cross-sectional survey of recently trained paediatricians which included a validated 23-item instrument called the Test of Residents' Ethics Knowledge for Pediatrics. The sample included paediatricians who completed medical school in 2006–2008, whose primary specialty was paediatrics or a paediatric subspecialty, and who completed paediatric residency training in 2010–2011. This sample was stratified based on residency programme variables: presence (...) of a formal curriculum in ethics or professionalism, programme size and American Board of Pediatrics certifying exam passage rate. Paediatricians were randomly selected from each stratum for survey participation.ResultsAmong the 370 responding paediatricians (55%), the mean knowledge score was 17.3 (SD 2.2) out of a possible 23. Presence of a formal curriculum in ethics and/or professionalism was not significantly associated with knowledge. Knowledge was lowest on items about parental requests for a child to undergo genetic testing (2 items, 44% and 85% incorrect), preserving patient confidentiality over email (55% incorrect), decision-making regarding life-sustaining technologies (61% incorrect), and decision-making principles such as assent and parental permission (2 items, 47% and 49% incorrect).ConclusionsThis study highlights several areas in which paediatricians' knowledge may be low and that are amenable to targeted educational interventions. These findings should prompt discussion and research among ethicists and educators about how ethics and professionalism curricula can more consistently influence paediatricians' knowledge. (shrink)

We investigate in ZF conditions that are necessary and sufficient for countable products ∏m∈ℕXm of finite Hausdorff spaces Xm resp. Hausdorff spaces Xm with at most n points to be compact resp. Baire. Typica results: Countable products of finite Hausdorff spaces are compact if and only if countable products of non-empty finite sets are non-empty. Countable products of discrete spaces with at most n + 1 points are compact if and only if countable products of non-empty sets with at (...) most n points are non-empty. (shrink)

The present paper proposes a generalisation of the notion of disjunctive sequence, that is, of an infinite sequence of letters having each finite sequence as a subword. Our aim is to give a reasonable notion of disjunctiveness relative to a given set of sequences F. We show that a definition like “every subword which occurs at infinitely many different positions in sequences in F has to occur infinitely often in the sequence” fulfils properties similar to the original unrelativised notion of (...) disjunctiveness. Finally, we investigate our concept of generalised disjunctiveness in spaces of Cantor expansions of reals. (shrink)

We extend results of Elekes and Máthé on monotone Borel hulls to an abstract setting of measurable space with negligibles. This scheme yields the respective theorems in the case of category and in the cases associated with the Mendez σ-ideals on the plane. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Let J be any proper ideal of subsets of the real line R which contains all finite subsets of R. We define an ideal J * ∣B as follows: X ∈ J * ∣B if there exists a Borel set $B \subset R \times R$ such that $X \subset B$ and for any x ∈ R we have $\{y \in R: \langle x,y\rangle \in B\} \in \mathscr{J}$ . We show that there exists a family $\mathscr{A} \subset \mathscr{J}^\ast\mid\mathscr{B}$ of power ω (...) 1 such that $\bigcup\mathscr{A} \not\in \mathscr{J}^\ast\mid\mathscr{B}$ . In the last section we investigate properties of ideals of Lebesgue measure zero sets and meager sets in Cohen extensions of models of set theory. (shrink)

In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can be continuously or computably transferred into each other? For this purpose theorems are considered via their realizers which are operations with certain input and output data. The technical tool to express continuous or computable relations between such operations is Weihrauch reducibility and the partially ordered degree structure induced by it. We have identified certain choice (...) principles such as co-finite choice, discrete choice, interval choice, compact choice and closed choice, which are cornerstones among Weihrauch degrees and it turns out that certain core theorems in analysis can be classified naturally in this structure. In particular, we study theorems such as the Intermediate Value Theorem, the Baire Category Theorem, the Banach Inverse Mapping Theorem, the Closed Graph Theorem and the Uniform Boundedness Theorem. We also explore how existing classifications of the Hahn—Banach Theorem and Weak Kőnig's Lemma fit into this picture. Well-known omniscience principles from constructive mathematics such as LPO and LLPO can also naturally be considered as Weihrauch degrees and they play an important role in our classification. Based on this we compare the results of our classification with existing classifications in constructive and reverse mathematics and we claim that in a certain sense our classification is finer and sheds some new light on the computational content of the respective theorems. Our classification scheme does not require any particular logical framework or axiomatic setting, but it can be carried out in the framework of classical mathematics using tools of topology, computability theory and computable analysis. We develop a number of separation techniques based on a new parallelization principle, on certain invariance properties of Weihrauch reducibility, on the Low Basis Theorem of Jockusch and Soare and based on the Baire Category Theorem. Finally, we present a number of metatheorems that allow to derive upper bounds for the classification of the Weihrauch degree of many theorems and we discuss the Brouwer Fixed Point Theorem as an example. (shrink)

We investigate Turing cones as sets of reals, and look at the relationship between Turing cones, measures, Baire category and special sets of reals, using these methods to show that Martin's proof of Turing Determinacy (every determined Turing closed set contains a Turing cone or is disjoint from one) does not work when you replace “determined” with “Blackwell determined”. This answers a question of Tony Martin.

Let G be a closed subgroup of S∞ and X be a Polish G -space. To every x ∈ X we associate an admissible set Ax and show how questions about X which involve Baire category can be formalized in Ax.

For [Formula: see text], the coarse similarity class of [Formula: see text], denoted by [Formula: see text], is the set of all [Formula: see text] such that the symmetric difference of [Formula: see text] and [Formula: see text] has asymptotic density [Formula: see text]. There is a natural metric [Formula: see text] on the space [Formula: see text] of coarse similarity classes defined by letting [Formula: see text] be the upper density of the symmetric difference of [Formula: see text] and (...) [Formula: see text]. We study the metric space of coarse similarity classes under this metric, and show in particular that between any two distinct points in this space there are continuum many geodesic paths. We also study subspaces of the form [Formula: see text] where [Formula: see text] is closed under Turing equivalence, and show that there is a tight connection between topological properties of such a space and computability-theoretic properties of [Formula: see text]. We then define a distance between Turing degrees based on Hausdorff distance in the metric space [Formula: see text]. We adapt a proof of Monin to show that the Hausdorff distances between Turing degrees that occur are exactly [Formula: see text], [Formula: see text], and [Formula: see text], and study which of these values occur most frequently in the senses of Lebesgue measure and Baire category. We define a degree [Formula: see text] to be attractive if the class of all degrees at distance [Formula: see text] from [Formula: see text] has measure [Formula: see text], and dispersive otherwise. In particular, we study the distribution of attractive and dispersive degrees. We also study some properties of the metric space of Turing degrees under this Hausdorff distance, in particular the question of which countable metric spaces are isometrically embeddable in it, giving a graph-theoretic sufficient condition for embeddability. Motivated by a couple of issues arising in the above work, we also study the computability-theoretic and reverse-mathematical aspects of a Ramsey-theoretic theorem due to Mycielski, which in particular implies that there is a perfect set whose elements are mutually [Formula: see text]-random, as well as a perfect set whose elements are mutually [Formula: see text]-generic. Finally, we study the completeness of [Formula: see text] from the perspectives of computability theory and reverse mathematics. (shrink)

We define the ideal with the property that a real omits all Borel sets in the ideal which are coded in a transitive model if and only if it is an amoeba real over this model. We investigate some other properties of this ideal. Strolling through the "amoeba forest" we gain as an application a modification of the proof of the inequality between the additivities of Lebesgue measure and Baire category.