Given sets and a regular cardinal μ, let be the statement that for any function, there are functions and such that for all,. In, the statement is false. However, we show the theory (which is implied by + “” + “ω1 is measurable”) implies that for every there is a such that in some inner model, κ is measurable with Mitchell order.

Twitter played a dominant role during the 2014 general elections in India, ushering a right-wing party into power. Political leaders employed Twitter to augment their public image and push right-wing campaign agendas to millions of followers. A prominent and strategic use of Twitter was credited to Prime Ministerial candidate Narendra Modi, portrayed as a visionary leader supporting economic development, social empowerment and good governance. Within this narrative, women's empowerment debates underwent multiple transformations. Through this article, we aim to establish the (...) nature of discussions lying at the intersections of feminist thinking and internet technology. We study the discursive trajectory of women's empowerment against the backdrop of a right-wing political ideology playing out on Twitter. Utilising the qualitative methods of Thematic Analysis and Feminist Relational Discourse Analysis, we study two cases highlighting feminist campaigns beginning in 2014: instant triple talaq, and the Sabarimala verdict. We analyse tweets in relation to these incidents and highlight the rhetorical inconsistency of right-wing leaders and supporters. We further discuss the implications of this inconsistency for the simultaneous suppression of voices demanding empowerment and amplification of those justifying religious tradition. Finally, we conclude by introducing the idea of the ‘controlled empowerment’ of women in support of our analysis. (shrink)

PurposeThe purpose of this paper is to profile everyday management and business strategies of 30 cyber cafés in Mumbai and contextualize them in the broader and pervasive culture of non‐formal economy.Design/methodology/approachThe paper conducts an ethnographic study of open‐ended interviews of cyber café owner/managers to understand everyday patterns of managing a cyber café. The field observations and literature review aid an understanding of non‐formal economy in Mumbai.FindingsThe paper finds three important insights: business with internet technologies, even at the level of a (...) small café, is expensive, requiring reasonable computing skills to maintain or expand business potential; in order to survive expense management several unauthorized practices are routinised and merge with the broader structures of non‐formal economy; and the non‐formality of business practices influence an open, liberal atmosphere to browse the internet and turn in a predominantly youth clientele.Research limitations/implicationsWith regulatory discourse on information and communication technologies centered on piracy and ill‐legality, informality of business practices in emerging economies provide an alternate premise to understand its nature and function. These challenge received notions of visualizing ICT as simply piracy and coming to terms with markets shaped and structured by non‐formal processes.Originality/valueThe study is one of the first on cyber cafés in Mumbai using the framework of non‐formal economy to analyse data. This paper presents the connections between a small ICT‐enabled business and the pervasive culture of non‐formal business relations in Mumbai. It also reports on the everyday organizational practices and client usages of internet cafés in India. (shrink)

We prove that the statement “there is aksuch that for everyfthere is ak-bounded diagonally nonrecursive function relative tof” does not imply weak König’s lemma over${\rm{RC}}{{\rm{A}}_0} + {\rm{B\Sigma }}_2^0$. This answers a question posed by Simpson. A recursion-theoretic consequence is that the classic fact that everyk-bounded diagonally nonrecursive function computes a 2-bounded diagonally nonrecursive function may fail in the absence of${\rm{I\Sigma }}_2^0$.

The assertion that every definable set has a definable element is equivalent over to the principle, and indeed, we prove, so is the assertion merely that every Π2‐definable set has an ordinal‐definable element. Meanwhile, every model of has a forcing extension satisfying in which every Σ2‐definable set has an ordinal‐definable element. Similar results hold for and and other natural instances of.

We present and analyze \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${F_\sigma}$$\end{document}-Mathias forcing, which is similar but tamer than Mathias forcing. In particular, we show that this forcing preserves certain weak subsystems of second-order arithmetic such as \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{ACA}_0}$$\end{document} and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{WKL}_0 + \mathsf{I}\Sigma^0_2}$$\end{document}, whereas Mathias forcing does not. We also show that the needed reals for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${F_\sigma}$$\end{document}-Mathias forcing (in the sense of Blass in Ann Pure Appl Logic 109(1–2):77–88, 2001) are just the computable reals, as opposed to the hyperarithmetic reals for Mathias forcing. (shrink)

We study the reverse mathematics of pigeonhole principles for finite powers of the ordinal $\omega$ . Four natural formulations are presented, and their relative strengths are compared. In the analysis of the pigeonhole principle for $\omega^{2}$ , we uncover two weak variants of Ramsey’s theorem for pairs.

Several notions of computability-theoretic reducibility between [Formula: see text] principles have been studied. This paper contributes to the program of analyzing the behavior of versions of Ramsey’s Theorem and related principles under these notions. Among other results, we show that for each [Formula: see text], there is an instance of RT[Formula: see text] all of whose solutions have PA degree over [Formula: see text] and use this to show that König’s Lemma lies strictly between RT[Formula: see text] and RT[Formula: see (...) text] under one of these notions. We also answer two questions raised by Dorais, Dzhafarov, Hirst, Mileti, and Shafer on comparing versions of Ramsey’s Theorem and of the Thin Set Theorem with the same exponent but different numbers of colors. Still on the topic of the effect of the number of colors on the computable aspects of Ramsey-theoretic properties, we show that for each [Formula: see text], there is an [Formula: see text]-coloring [Formula: see text] of [Formula: see text] such that every [Formula: see text]-coloring of [Formula: see text] has an infinite homogeneous set that does not compute any infinite homogeneous set for [Formula: see text], and connect this result with the notion of infinite information reducibility introduced by Dzhafarov and Igusa. Next, we introduce and study a new notion that provides a uniform version of the idea of implication with respect to [Formula: see text]-models of RCA0, and related notions that allow us to count how many applications of a principle [Formula: see text] are needed to reduce another principle to [Formula: see text]. Finally, we fill in a gap in the proof of Theorem 12.2 in Cholak, Jockusch, and Slaman. (shrink)

${\mathsf {CAC\ for\ trees}}$ is the statement asserting that any infinite subtree of $\mathbb {N}^{<\mathbb {N}}$ has an infinite path or an infinite antichain. In this paper, we study the computational strength of this theorem from a reverse mathematical viewpoint. We prove that ${\mathsf {CAC\ for\ trees}}$ is robust, that is, there exist several characterizations, some of which already appear in the literature, namely, the statement $\mathsf {SHER}$ introduced by Dorais et al. [8], and the statement $\mathsf {TAC}+\mathsf {B}\Sigma ^0_2$ (...) where $\mathsf {TAC}$ is the tree antichain theorem introduced by Conidis [6]. We show that ${\mathsf {CAC\ for\ trees}}$ is computationally very weak, in that it admits probabilistic solutions. (shrink)

Along the line of Hirst‐Mummert and Dorais, we analyze the relationship between the classical provability of uniform versions Uni(S) of Π2‐statements S with respect to higher order reverse mathematics and the intuitionistic provability of S. Our main theorem states that (in particular) for every Π2‐statement S of some syntactical form, if its uniform version derives the uniform variant of over a classical system of arithmetic in all finite types with weak extensionality, then S is not provable in strong semi‐intuitionistic systems (...) including bar induction in all finite types but also nonconstructive principles such as Kőnig's lemma and uniform weak Kőnig's lemma. Our result is applicable to many mathematical principles whose sequential versions imply. (shrink)