Previous studies have offered indications that the way pre-adolescents structure their perceptions of their teacher’s interaction in terms of Agency and Communion differs from adolescents. The purpose of this study was to delineate previous findings by thoroughly examining the structure of pre-adolescents’ perceptions of their teacher’s interpersonal behaviour, and by investigating the extent to which this structure relates to pre-adolescents’ learning outcomes. A mixed methods research design was implemented including a qualitative instrument adaptation procedure followed by a quantitative large-scale administration. (...) Participants for the latter were a random sample of 504 pre-adolescents and 36 teachers. Results showed that participants placed significantly more emphasis on their teachers’ Communion behavioural dimension and this emphasis was illustrated on the association of perceived teacher interaction and students’ learning outcomes. Implications for theory, research and practice are discussed. (shrink)

This is the second paper of an essay in two parts. The first paper (Part I) is a critical discussion of Mark Risjord's conception of nursing knowledge where I argued against the conception of nursing knowledge as a kind of nursing science. The aim of the present paper (Part II) is to explicate and substantiate the thesis of nursing as a kind of concrete philosophy. My strategy is to elaborate upon certain themes from Wittgenstein's Tractatus in order to canvass a (...) general scheme of philosophy based on a distinction between reality and the world. This distinction will be employed in the appropriation of certain significant features of nursing and nursing knowledge. By elaborating on the contrast between the abstract and the concrete, I will suggest that nursing may be seen as a kind of concrete philosophy, being primarily concerned with reality (and secondarily with the world). This thesis, I will argue, implies that philosophy is the kind of theory that is essential to nursing (which is not so much a theory than a certain kind of activity). (shrink)

This essay addresses the problem of the essentiality of nursing knowledge and what kind of theory, if any, is essential to nursing practice. The overarching aim of the essay was to argue for the thesis that nursing may be described as a kind of philosophical activity, and, consequently, that philosophy is the kind of “theory” that is essential to nursing practice and to the nursing discipline at large. The essay consists of two papers. The present paper, Part I, is a (...) critical examination of Mark Risjord's discussion of the problem of the theory‐practice gap in his Nursing Knowledge: Practice, Science, Philosophy, from 2010. According to Risjord, the cause of the theory‐practice gap originates in an erroneous conception of science (logical positivism) which had a decisive influence upon the way nursing scholars appropriated theoretical frameworks for the nursing discipline. This philosophical influence is considered in effect to have generated the theory–practice gap. In order to bridge the gap, Risjord suggests, the nursing discipline needs to adopt a standpoint epistemology conjoined with a postpositivist conception of scientific theory. In this way, a legitimate brand of nursing science may be developed and the theory–practice gap overcome. I will argue that neither Risjord's diagnosis of the problem, nor his recommended cure, may succeed in rescuing the nursing discipline from the theory–practice gap. Rather, the real cause of the theory–practice gap, I will claim, derives from an erroneous conception of nursing (not of science), namely the conception of nursing as a kind of science (roughly speaking). On my view, to overcome the gap, the nursing discipline needs to make salient the inherently philosophical character of nursing. In the second paper (Part II), I will continue the discussion of nursing knowledge and delineate the thesis of nursing as a kind of concrete philosophy. (shrink)

This essay addresses the problem of the essentiality of nursing knowledge and what kind of theory, if any, is essential to nursing practice. The overarching aim of the essay was to argue for the thesis that nursing may be described as a kind of philosophical activity, and, consequently, that philosophy is the kind of “theory” that is essential to nursing practice and to the nursing discipline at large. The essay consists of two papers. The present paper, Part I, is a (...) critical examination of Mark Risjord's discussion of the problem of the theory‐practice gap in his Nursing Knowledge: Practice, Science, Philosophy, from 2010. According to Risjord, the cause of the theory‐practice gap originates in an erroneous conception of science (logical positivism) which had a decisive influence upon the way nursing scholars appropriated theoretical frameworks for the nursing discipline. This philosophical influence is considered in effect to have generated the theory–practice gap. In order to bridge the gap, Risjord suggests, the nursing discipline needs to adopt a standpoint epistemology conjoined with a postpositivist conception of scientific theory. In this way, a legitimate brand of nursing science may be developed and the theory–practice gap overcome. I will argue that neither Risjord's diagnosis of the problem, nor his recommended cure, may succeed in rescuing the nursing discipline from the theory–practice gap. Rather, the real cause of the theory–practice gap, I will claim, derives from an erroneous conception of nursing (not of science), namely the conception of nursing as a kind of science (roughly speaking). On my view, to overcome the gap, the nursing discipline needs to make salient the inherently philosophical character of nursing. In the second paper (Part II), I will continue the discussion of nursing knowledge and delineate the thesis of nursing as a kind of concrete philosophy. (shrink)

It is shown that in ZF Martin's $ \aleph_{0}^{}$-axiom together with the axiom of countable choice for finite sets imply that arbitrary powers 2X of a 2-point discrete space are Baire; and that the latter property implies the following: the axiom of countable choice for finite sets, power sets of infinite sets are Dedekind-infinite, there are no amorphous sets, and weak forms of the Kinna-Wagner principle.

It is common to assume that Descartes did not have a conception of an object's matter density independently of its size, but this is a rather incomplete assessment of the early modern natural philosopher's theory. Key to our understanding of Descartes's physics is a consideration of the ratios between the quantities of the different types of matter in which an object consists. As these ratios determine the degree of an object's porosity and elasticity, they also affect in Descartes's theory the (...) phenomena of gravity and weight. (shrink)

This paper distinguishes in Maxwell’s thought between “atomic molecules” and “ultimate atoms,” and arrives at a set of properties that characterize each type of atom. It concludes that Maxwell is a mathematical atomist, an approach that entails the notion that although it is impossible to observe the ultimate atoms as free particles, we can nevertheless study them as mathematical observables, on the caveat that mathematical formalism remains tied to phenomenalism and to theoretical interpretations of such phenomena as, for example, mass (...) and force variations, gravitational pull, gas diffusion and viscosity, and heat conduction. (shrink)

We show that none of the following statements is provable in Zermelo-Fraenkel set theory (ZF) answering the corresponding open questions from Brunner in ``The axiom of choice in topology'':(i) For every T2 topological space (X, T) if X is well-ordered, then X has a well-ordered base,(ii) For every T2 topological space (X, T), if X is well-ordered, then there exists a function f : X × W T such that W is a well-ordered set and f ({x} × W) is (...) a neighborhood base at x for each x X,(iii) For every T2 topological space (X, T), if X has a well-ordered dense subset, then there exists a function f : X × W T such that W is a well-ordered set and {x} = f ({x} × W) for each x X. (shrink)

I undertake a metaphysical investigation of Saul Kripke's modern classic, Naming and Necessity . The general problem of my study may be expressed as follows: What is the metaphysical justification of the validity and existence of the pertinent classes of truths, the necessary a posteriori and the contingent a priori, according to the Kripke Paradigm? My approach is meant to disclose the logical and ontological principles underlying Kripke's arguments for the necessary a posteriori and the contingent a priori respectively. The (...) results of my study are to a certain extent negative: They attempt to show that the classes of the necessary a posteriori and the contingent a priori statements cannot possibly be valid. If the general argument of this thesis is sound, then, on this ground, the realist conception of metaphysical essentialism is rejected. The positive thesis of this study is the articulation of certain ways to frame the necessary a posteriori and the contingent a priori which avoid the problems of realistic essentialism and which suggest a certain transcendental reading of modality. According to the Kripke Paradigm, any de dicto modal status derives ultimately from the de re modality inherent in the object designated, as the object is characterised by contingent and necessary properties on the ontological level. Thus, the Kripke Paradigm is primarily a thesis in de re realist essentialism. The final verdict in this study is that the Kripke Paradigm cannot sustain the realistic conception of de re metaphysical essentialism. If we should adopt a transcendental reading of modality, then certain portions of the Kripke Paradigm are valid. I do not delineate or possess the details of a comprehensive doctrine of transcendental metaphysic. Nevertheless, the observations I make should suffice to bring about the rough orientation of how I conceive the notion of transcendental modality. (shrink)

An overview is provided of how the concept of the thought experiment has developed and changed for the natural sciences in the course of the 20th century. First, we discuss the existing definitions of the term 'thought experiment' and the origin of the thought experimentation method, identifying it in Greek Presocratics epoch. Second, only in the end of the 19th century showed up the first systematic enquiry on thought experiments by Ernst Mach's work. After the Mach's work, a negative attitude (...) towards thought experiments came in the beginning of the 20th century, which went on until the Thomas Kuhn's and Karl Popper's work on thought experiments. Only from the mid-1980s did thought experiments begin to be considered relevant to scientific enterprise. Finally, we show the existing empirical and 'functional' theories which have developed about the nature and purpose of thought experiments. (shrink)

The riddle of the Cleitophon is a creature of nineteenth-century German scholarship which premised that Plato had developed a profound philosophical system. Thus, having no intrinsic purpose to serve in the context of the development of Plato's philosophy, Cleitophon was disallowed as spurious. Documenting the reception of this minor dialogue provides insights into the pluralism and the perplexities of modern Platonic exegesis. The more recent idea of a genre of literary fiction helps to restore cleitophon to its place in the (...) Platonic corpus. S.R. Slings's edition of this dialogue, with introduction, translation and commentary reconsiders both Plato's dialogical engagements and intellectual commitments, utilizes a two-dimensional approach to the text that avoids exaggerated conjectures, and effectively defends the authenticity of Cleitophon. (shrink)

This edited book explores the relationship between political expertise, which is defined as scientific statesmanship or governance, and political leadership throughout the history of ideas. An outstanding group of experts study and analyze the ideas of significant philosophers, such as Plato, Aristotle, Augustine, Machiavelli, Hobbes, Locke, Montesquieu, Kant, Burke, Comte, and Weber, among others. The contributors aim to interpret these thinkers' approaches to scientific statesmanship, deepening our understanding of the idea itself and decoding its theoretical complexities.

From the early 1930s to the early 1960s many scholars, whether liberal-minded or socialist ideologues, Marxist or scientific positivists, classical scholars or political theorists and historians, have shown a widespread consensus in discrediting and assailing the man and political philosopher Plato. Such an extensive assault led the 'Platonic Legend' to an unprecedented crisis. Philosophically, it was a reaction to the undisguised Platonolatry coming from Oxford and the school of the British Idealists. Ideologically, the appropriation of Plato by Nazi apologists fostered (...) further this vehement indictment. But a lot of other causes worked to the same effect. The general anguish and humanistic anxiety on the eve of World War II and the postwar traumas led scholars to reconsider the meaning of history and historicism, the psychology of the masses and the ethical responsibility of the citizen, the role of propaganda and state education. Such complementary elements converged in sustained anti-Platonic polemics, which in turn provoked a vigorous defence. Here an attempt is made to offer a preliminary survey of this complex debate and to provide a general intellectual framework in terms of which that controversy can be further explored. (shrink)

From the early 1930s to the early 1960s many scholars, whether liberalminded or socialist ideologues, Marxist or scientific positivists, classical scholars or political theorists and historians, have shown a widespread consensus in discrediting and assailing the man and political philosopher Plato. Such an extensive assault led the ‘Platonic Legend’ to an unprecedented crisis. Philosophically, it was a reaction to the undisguised Platonolatry coming from Oxford and the school of the British Idealists. Ideologically, the appropriation of Plato by Nazi apologists fostered (...) further this vehement indictment. But a lot of other causes worked to the same effect. The general anguish and humanistic anxiety on the eve ofWorldWar II and the postwar traumas led scholars to reconsider the meaning of history and historicism, the psychology of the masses and the ethical responsibility of the citizen, the role of propaganda and state education. Such complementary elements converged in sustained anti-Platonic polemics, which in turn provoked a vigorous defence. Here an attempt is made to offer a preliminary survey of this complex debate and to provide a general intellectual framework in terms of which that controversy can be further explored. (shrink)

From the early 1930s to the early 1960s many scholars, whether liberalminded or socialist ideologues, Marxist or scientific positivists, classical scholars or political theorists and historians, have shown a widespread consensus in discrediting and assailing the man and political philosopher Plato. Such an extensive assault led the ‘Platonic Legend’ to an unprecedented crisis. Philosophically, it was a reaction to the undisguised Platonolatry coming from Oxford and the school of the British Idealists. Ideologically, the appropriation of Plato by Nazi apologists fostered (...) further this vehement indictment. But a lot of other causes worked to the same effect. The general anguish and humanistic anxiety on the eve ofWorldWar II and the postwar traumas led scholars to reconsider the meaning of history and historicism, the psychology of the masses and the ethical responsibility of the citizen, the role of propaganda and state education. Such complementary elements converged in sustained anti-Platonic polemics, which in turn provoked a vigorous defence. Here an attempt is made to offer a preliminary survey of this complex debate and to provide a general intellectual framework in terms of which that controversy can be further explored. (shrink)

Let X be an infinite set and let and denote the propositions “every filter on X can be extended to an ultrafilter” and “X has a free ultrafilter”, respectively. We denote by the Stone space of the Boolean algebra of all subsets of X. We show: For every well‐ordered cardinal number ℵ, (ℵ) iff (2ℵ). iff “ is a continuous image of ” iff “ has a free open ultrafilter ” iff “every countably infinite subset of has a limit point”. (...) implies “every open filter on extends to an open ultrafilter” implies “has an open ultrafilter” implies It is relatively consistent with that (ω) holds, whereas (ω) fails. In particular, none of the statements given in (2) implies (ω). (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.

We show that some well known theorems in topology may not be true without the axiom of choice.

PREFACE Strange or inappropriate as it may appear, we propose to start this little book by stating as flatly and unrhetorically as possible a fundamental ...

The present article proceeds from the mainstream view that the conceptual framework underpinning adversarial systems of criminal adjudication, i.e. a mixture of common-sense philosophy and probabilistic analysis, is unsustainable. In order to provide fact-finders with an operable structure of justification, we need to turn to epistemology once again. The article proceeds in three parts. First, I examine the structural features of justification and how various theories have attempted to overcome Agrippa’s trilemma. Second, I put Inferential Contextualism to the test and (...) show that a defeasible structure of justification allocating epistemic rights and duties to all participants of an inquiry manages to dissolve the problem of scepticism. Third, I show that our epistemic practice already embodies a contextualist mechanism. Our problem was not that our Standard of Proof is inoperable but that it was not adequately conceptualized. Contextualism provides the framework to articulate the abovementioned practice and to treat ‘reasonable doubts’ as a mechanism which we can now describe in detail. The seemingly insurmountable problem with our efforts to define the concept “reasonable doubts” was the fact that we have been conflating the surface features of this mechanism and its internal structure, i.e. the rules for its use. (shrink)

The present article proceeds from the mainstream view that the conceptual framework underpinning adversarial systems of criminal adjudication, i.e. a mixture of common-sense philosophy and probabilistic analysis, is unsustainable. In order to provide fact-finders with an operable structure of justification, we need to turn to epistemology once again. The article proceeds in three parts. First, I examine the structural features of justification and how various theories have attempted to overcome Agrippa’s trilemma. Second, I put Inferential Contextualism to the test and (...) show that a defeasible structure of justification allocating epistemic rights and duties to all participants of an inquiry manages to dissolve the problem of scepticism. Third, I show that our epistemic practice already embodies a contextualist mechanism. Our problem was not that our Standard of Proof is inoperable but that it was not adequately conceptualized. Contextualism provides the framework to articulate the abovementioned practice and to treat ‘reasonable doubts’ as a mechanism which we can now describe in detail. The seemingly insurmountable problem with our efforts to define the concept “reasonable doubts” was the fact that we have been conflating the surface features of this mechanism and its internal structure, i.e. the rules for its use. (shrink)

The present article proceeds from the mainstream view that the conceptual framework underpinning adversarial systems of criminal adjudication, i.e. a mixture of common-sense philosophy and probabilistic analysis, is unsustainable. In order to provide fact-finders with an operable structure of justification, we need to turn to epistemology once again. The article proceeds in three parts. First, I examine the structural features of justification and how various theories have attempted to overcome Agrippa’s trilemma. Second, I put Inferential Contextualism to the test and (...) show that a defeasible structure of justification allocating epistemic rights and duties to all participants of an inquiry manages to dissolve the problem of scepticism. Third, I show that our epistemic practice already embodies a contextualist mechanism. Our problem was not that our Standard of Proof is inoperable but that it was not adequately conceptualized. Contextualism provides the framework to articulate the abovementioned practice and to treat ‘reasonable doubts’ as a mechanism which we can now describe in detail. The seemingly insurmountable problem with our efforts to define the concept “reasonable doubts” was the fact that we have been conflating the surface features of this mechanism and its internal structure, i.e. the rules for its use. (shrink)

The present article proceeds from the mainstream view that the conceptual framework underpinning adversarial systems of criminal adjudication, i.e. a mixture of common-sense philosophy and probabilistic analysis, is unsustainable. In order to provide fact-finders with an operable structure of justification, we need to turn to epistemology once again. The article proceeds in three parts. First, I examine the structural features of justification and how various theories have attempted to overcome Agrippa’s trilemma. Second, I put Inferential Contextualism to the test and (...) show that a defeasible structure of justification allocating epistemic rights and duties to all participants of an inquiry manages to dissolve the problem of scepticism. Third, I show that our epistemic practice already embodies a contextualist mechanism. Our problem was not that our Standard of Proof is inoperable but that it was not adequately conceptualized. Contextualism provides the framework to articulate the abovementioned practice and to treat ‘reasonable doubts’ as a mechanism which we can now describe in detail. The seemingly insurmountable problem with our efforts to define the concept “reasonable doubts” was the fact that we have been conflating the surface features of this mechanism and its internal structure, i.e. the rules for its use. (shrink)

Nearly 20 years after the Shonubi case and an extended discussion in the Anglophone world on the admissibility and probative force of statistical evidence, the labour courts of Germany seem not to have learned a simple lesson: aleatory probabilities are not informative for the individual in question. In this paper I argue that innumeracy (that is the lack of ability to understand and apply simple numerical concepts) is underestimated – if not ignored – both within the German jurisprudence and legal (...) theory. In this paper the pseudo-scientific methods of analyzing the evidence in the recent GEMA case by the labor courts of Berlin-Brandenburg and the Federal Labor Court are examined and it is shown that the persistence on applying reference class evidence to an individual-case ends up being not only theoretically unacceptable but also socially harmful. (shrink)

We prove that, in any fine structural extender model with Jensen’s λ-indexing, there is a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square(\kappa^{+})}$$\end{document} -sequence if and only if there is a pair of stationary subsets of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa^{+} \cap {\rm {cof}}( < \kappa)}$$\end{document} without common reflection point of cofinality \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${ < \kappa}$$\end{document} which, in turn, is equivalent to the existence of a (...) family of size \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${ < \kappa}$$\end{document} of stationary subsets of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa^{+} \cap {\rm {cof}}( < \kappa)}$$\end{document} without common reflection point of cofinality \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${ < \kappa}$$\end{document}. By a result of Burke/jensen, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_\kappa}$$\end{document} fails whenever \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document} is a subcompact cardinal. Our result shows that in extender models, it is still possible to construct a canonical \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square(\kappa^{+})}$$\end{document} -sequence where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document} is the first subcompact. (shrink)

In the realm of metric spaces the role of choice principles is investigated.

In \(\textbf{ZF}\), the well-known Fichtenholz–Kantorovich–Hausdorff theorem concerning the existence of independent families of _X_ of size \(|{\mathcal {P}} (X)|\) is equivalent to the following portion of the equally well-known Hewitt–Marczewski–Pondiczery theorem concerning the density of product spaces: “The product \({\textbf{2}}^{{\mathcal {P}}(X)}\) has a dense subset of size |_X_|”. However, the latter statement turns out to be strictly weaker than \(\textbf{AC}\) while the full Hewitt–Marczewski–Pondiczery theorem is equivalent to \(\textbf{AC}\). We study the relative strengths in \(\textbf{ZF}\) between the statement “_X_ has (...) no independent family of size \(|{\mathcal {P}}(X)|\) ” and some of the definitions of “_X_ is finite” studied in Levy’s classic paper, observing that the former statement implies one such definition, is implied by another, and incomparable with some others. (shrink)

It is shown that AC, the axiom of choice for families of non-empty subsets of the real line ℝ, does not imply the statement PW, the powerset of ℝ can be well ordered. It is also shown that the statement “the set of all denumerable subsets of ℝ has size 2math image” is strictly weaker than AC and each of the statements “if every member of an infinite set of cardinality 2math image has power 2math image, then the union has (...) power 2math image” and “ℵ ≠ ℵω” is Hartogs' aleph, the least ℵ not ≤ 2math image), is strictly weaker than the full axiom of choice AC. (shrink)

We establish the following results: 1. In ZF (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC), for every set I and for every ordinal number α ≥ ω, the following statements are equivalent: (a) The Tychonoff product of| α| many non-empty finite discrete subsets of I is compact. (b) The union of| α| many non-empty finite subsets of I is well orderable. 2. The statement: For every infinite set I, every closed subset of the Tychonoff product [0, 1] (...) I which consists of functions with finite support is compact, is not provable in ZF set theory. 3. The statement: For every set I, the principle of dependent choices relativised to I implies the Tychonoff product of countably many non-empty finite discrete subsets of I is compact, is not provable in ZF⁰ (i.e., ZF minus the Axiom of Regularity). 4. The statement: For every set I, every ℵ₀-sized family of non-empty finite subsets of I has a choice function implies the Tychonoff product of ℵ₀ many non-empty finite discrete subsets of I is compact, is not provable in ZF⁰. (shrink)

We show: iff every countable product of sequential metric spaces (sequentially closed subsets are closed) is a sequential metric space iff every complete metric space is Cantor complete. Every infinite subset X of has a countably infinite subset iff every infinite sequentially closed subset of includes an infinite closed subset. The statement “ is sequential” is equivalent to each one of the following propositions: Every sequentially closed subset A of includes a countable cofinal subset C, for every sequentially closed subset (...) A of, is a meager subset of, for every sequentially closed subset A of,, every sequentially closed subset of is separable, every sequentially closed subset of is Cantor complete, every complete subspace of is Cantor complete. (shrink)

It is shown that in ZF Martin's -axiom together with the axiom of countable choice for finite sets imply that arbitrary powers 2X of a 2-point discrete space are Baire; and that the latter property implies the following: (a) the axiom of countable choice for finite sets, (b) power sets of infinite sets are Dedekind-infinite, (c) there are no amorphous sets, and (d) weak forms of the Kinna-Wagner principle.

We show that it is consistent with ZFC that the additivity number add of the ideal of meager sets of the real line is strictly greater than the tower number t of the reals. MSC: 03E35, 54D20.

We show that for every we ordered cardinal number m the Tychonoff product 2m is a compact space without the use of any choice but in Cohen's Second Mode 2ℝ is not compact.