In early 2020, as the first of many COVID lockdowns began across Australia, a collective of feminist and queer performance scholars and artists embarked on the research project Staging Australian Women’s Lives: Theatre, Feminism and Socially Engaged Art. Our aim was to document contributions of womxn theatre makers, while conducting a feminist analysis of strategies used to deal with gender inequality and oppression, on stage and off. While pivoting to the digital and the virtual, we recognised a need to support (...) womxn theatre makers whose lives and livelihoods are thrown into further precarity by the pandemic. This paper speaks to our commitment to bringing together critical theory, arts practices and everyday life in ethical forms and encounters that make visible, recognise and express care for one another and for the work. (shrink)

The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture. One particular motivation for resolving MSC is that (...) it provides grounds for solving the inner model problem which dates back to 1960s. There have been some new partial results on MSC and the methods used to prove the new instances suggest a general program for solving the full conjecture. It is then our goal to communicate the ideas of this program to the community at large. (shrink)

Building on the work of Schimmerling [Coherent sequences and threads, Adv. Math.216 89–117] and Steel [PFA implies AD L, J. Symbolic Logic70 1255–1296], we show that the failure of square principle at a singular strong limit cardinal implies that there is a nontame mouse. The proof presented is the first inductive step beyond L of the core model induction that is aimed at getting a model of ADℝ + "Θ is regular" from the failure of square at a singular strong (...) limit cardinal or PFA. (shrink)

Frege’s famous definition of number famously uses the concept of “extension”. Extensions, in the Fregean framework, are susceptible to bringing many difficulties, and, some say, even paradoxes. Therefore, neo-logicist programs want to avoid the problems and to replace the classical Fregean definition of number with Hume’s Principle. I argue that this move, even if it makes sense from a computational point of view, is at odds with Frege’s larger philosophical project. For Frege, I claim, extensions were an important part of (...) his philosophical program of logic-as-an-universal-language. This is why Frege places his project in line with Leibniz’ philosophical project of finding a lingua characterica universalis. (shrink)

Frege’s famous definition of number famously uses the concept of “extension”. Extensions, in the Fregean framework, are susceptible to bringing many difficulties, and, some say, even paradoxes. Therefore, neo-logicist programs want to avoid the problems and to replace the classical Fregean definition of number with Hume’s Principle. I argue that this move, even if it makes sense from a computational point of view, is at odds with Frege’s larger philosophical project. For Frege, I claim, extensions were an important part of (...) his philosophical program of logic-as-an-universal-language. This is why Frege places his project in line with Leibniz’ philosophical project of finding a lingua characterica universalis. (shrink)

Frege’s famous definition of number famously uses the concept of “extension”. Extensions, in the Fregean framework, are susceptible to bringing many difficulties, and, some say, even paradoxes. Therefore, neo-logicist programs want to avoid the problems and to replace the classical Fregean definition of number with Hume’s Principle. I argue that this move, even if it makes sense from a computational point of view, is at odds with Frege’s larger philosophical project. For Frege, I claim, extensions were an important part of (...) his philosophical program of logic-as-an-universal-language. This is why Frege places his project in line with Leibniz’ philosophical project of finding a lingua characterica universalis. (shrink)

I analyze in this article the different ways in which Descartes uses abstraction in the Regulæ, discussing his project of a mathematical physics, the role of the imagination, and the status of numbers. I also try to show that the doctrine of simple natures cannot be well accommodated with the theory of abstraction developed in Rule 14, having instead a greater affinity with Descartes’ later theory of abstraction and exclusion, in which imagination plays no role and everything happens at a (...) strictly intellectual level. This interpretation is supported by the recent discovery of the Cambridge manuscript, which almost certainly records an early stage of composition and in which the doctrine of simple natures is absent, thus being very probably a later development. (shrink)

We show that assuming the determinacy of all games on reals, every set of reals is \ universally baire.

Supported by a qualitative study of triple bottom line firms—those that simultaneously prioritize economic, social, and environmental objectives—we investigated the market logic and practices of TBL firms to better understand how they fulfill their mission and achieve their goals. We explored if and how TBL firms may differ in their approach to stakeholders and the management of their resources, including dynamic capabilities. We employed a research design that emphasizes the iterative comparison of narrative data within themselves and with scholarly literature (...) [i.e., resource-based view ] to develop new theoretical insights. Because the RBV is commonly used to theorize how firms achieve competitive advantage, we explored whether TBL firms achieve competitive advantage differently from what RBV theory would predict. Our data suggest that how a firm defines value has a significant influence on the capabilities it creates and how it treats its resources. We find that TBL firms redefine value to not only focus on the end product or service but also to include the systemic cost of delivering goods. As a result, TBL firms differ from prevailing scholarly thought in RBV. They strive to have resources that are sustainable and therefore imitable, commonly found, and substitutable. Moreover, they are not only transparent in their processes but also collaborate with others in the value chain and in their sector. In doing so, they deliberately create new markets from which other firms can benefit. Rather than focusing on competitive advantage, they focus on collaborative advantage. (shrink)

We investigate the indestructibility properties of strongly compact cardinals in universes where strong compactness suffers from identity crisis. We construct an iterative poset that can be used to establish Kimchi–Magidor theorem from (in The independence between the concepts of compactness and supercompactness, circulated manuscript), i.e., that the first n strongly compact cardinals can be the first n measurable cardinals. As an application, we show that the first n strongly compact cardinals can be the first n measurable cardinals while the strong (...) compactness of each strongly compact cardinal is indestructible under Levy collapses (our theorem is actually more general, see Sect. 3). A further application is that the class of strong cardinals can be nonempty yet coincide with the class of strongly compact cardinals while strong compactness of any strongly compact cardinal κ is indestructible under κ-directed closed posets that force GCH at κ. (shrink)

During his Fall 2005 set theory seminar, Woodin asked whether V-supercompactness implies HOD-supercompactness. We show, as he predicted, that that the answer is no.

In lieu of an abstract, here is a brief excerpt of the content:James K. Mish'alani KAFKA: TEXT'S BODY, BODY'S TEXT LONG BEFORE it appears in its own life as a bio-anatomical object, the body itself is integrally lived; and after it makes its appearance, lying or standing there ready for scrutiny, dissection, examination, it yields itself thus in its objectivity only to kindred bodily probing, wherein the hands that search, press, palpate and die roving eyes, the patient, closeheld ear, (...) are not encountered, but lived as modes of access to their object. Generally, the lived body is for itself transcendence toward the world as that within which diings are to be met, and the world, disclosed in an implicit understanding of what things one can behave toward and how one can variously behave toward diem, thus stands in correspondence to the body. As limit, die world determines the specific ways in which things are to be dealt with. As access, the body on its side projects through the lived articulation of limbs and organs those paths toward, by and about things whereby die very complexion ofdie world is always revealed. The body is world-revelation. ] But as die presence of diings in the lighting of revelation is not uniform or indifferent, but variegated, so is die body differentiated, articulated, variously organed and limbed, outfitted, equipped, and geared. The window lets in the light ofday and opens out on scenes only for die seeing eyes of a creature of vistas and distances. The hammer, standing out toward nails and wood, as toward all that they may be nailed togedier for and all diat diey may be brought togedier from, does so only insofar as it is ready for die hand diat lifts it. The pair of shoes suited to the earth, gathering about it die doorsill to die country path, the windswept fields, sun, rain, grain, bread, evening, dawn, die hearth and floorboards by childbed or deadibed, does all this in its humble reliability for the tread of the peasant woman whose footedness releases her through it to the security of a simple world. Thejug mat comes to full presence asjug in the outpouring ofa gift 56 James K. Mish'alani57 in which, be it water or wine, earth and sky together dwell by a marriage of soil and rock to rain and sun in spring or vine — this jug does its manifold-simple gathering of the world's extremities for the hand that pours the outpour, toward the lips for whom a refreshing drink is given, or before the faces lifted up in thanks to the gods for whom a libation is poured.2 Thus are things in most essential ways rooted in the body; and as primal ground the body in turn remains matrix to the world, not an object found in it.3 Nor does the other's body appear in the manner of an object in my encounter with him or her, whose features, glances, gestures, and movements all point beyond themselves and thus turn me with them toward that which occupies them and in relation to which I must assume a specific stance if only to reject it or, deciding it does not concern me, pass it by. The other's body lights up the world for me no less than mine does, in a co-transcendence toward a common horizon of meaning consensually confirmed, and ever renewed, laying for us a shared ground of world engagement without which even error, disagreement, and dissension become impossible. As the equipment through which I ordinarily pass in my projects does not stand out as an object until it breaks or is lost, so the other's body and mine do not obtrude and call attention to themselves in pure anatomical objectivity unless a radical breakdown occurs occasioned by some such disruption as disease, death, or a chaos of incoordination. Otherwise and until then, the other and I continue to be co-workers at world-disclosure, passing through each other's attitudes and movements as through unobstructed space. The human shape that comes toward me from the opposite direction reveals that part ofmy path I have left behind. The open hand thrust out from that tattered sleeve... (shrink)

Assuming $V=L+AD$, using methods from inner model theory, we give a new proof of the strong partition property for ${\sim}{ \delta }^{2}_{1}$. The result was originally proved by Kechris et al.

We re-prove Becker’s theorem from Becker :229–234, 1981) by showing that \}\) implies that \\vDash ``\omega _2\) is -supercompact”. Our proof uses inner model theoretic tools instead of Baire category. We also show that \ is \-strongly compact.

A set of reals is universally Baire if all of its continuous preimages in topological spaces have the Baire property. ${\sf Sealing}$ is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be changed by set forcings. The ${\sf Largest\ Suslin\ Axiom}$ is a determinacy axiom isolated by Woodin. It asserts that the largest Suslin cardinal is inaccessible for ordinal definable surjections. Let ${\sf LSA}$ - ${\sf (...) over}$ - ${\sf uB}$ be the statement that in all generic extensions there is a model of $\sf {LSA}$ whose Suslin, co-Suslin sets are the universally Baire sets. We outline the proof that over some mild large cardinal theory, $\sf {Sealing}$ is equiconsistent with $\sf {LSA}$ - $\sf {over}$ - $\sf {uB}$. In fact, we isolate an exact theory that is equiconsistent with both. As a consequence, we obtain that $\sf {Sealing}$ is weaker than the theory “ $\sf {ZFC}$ + there is a Woodin cardinal which is a limit of Woodin cardinals.” This significantly improves upon the earlier consistency proof of $\sf {Sealing}$ by Woodin. A variation of $\sf {Sealing}$, called $\sf {Tower \ Sealing}$, is also shown to be equiconsistent with $\sf {Sealing}$ over the same large cardinal theory. We also outline the proof that if V has a proper class of Woodin cardinals, a strong cardinal, and a generically universally Baire iteration strategy, then $\sf {Sealing}$ holds after collapsing the successor of the least strong cardinal to be countable. This result is complementary to the aforementioned equiconsistency result, where it is shown that $\sf {Sealing}$ holds in a generic extension of a certain minimal universe. This theorem is more general in that no minimal assumption is needed. A corollary of this is that $\sf {LSA}$ - $\sf {over}$ - $\sf {uB}$ is not equivalent to $\sf {Sealing}$. (shrink)

In this paper, we show that the failure of the unique branch hypothesis for tame iteration trees implies that in some homogenous generic extension of [Formula: see text] there is a transitive model [Formula: see text] containing [Formula: see text] such that [Formula: see text] is regular. The results of this paper significantly extend earlier works from [Non-tame mice from tame failures of the unique branch bypothesis, Canadian J. Math. 66 903–923; Core models with more Woodin cardinals, J. Symbolic Logic (...) 67 1197–1226] for tame trees. (shrink)

Предназначено для студентов художественных вузов и факультетов, а также для учащихся профессиональных учебных заведений художественного профиля.

kn. 1. Predystorii͡a, zasedanii͡a -- kn. 2. Khronika, portrety.