Abstract. The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing ones in a routine way. We use techniques of modal logic to formalize the logic of Reverse Mathematics into a system that we name s-logic. We argue that s-logic captures precisely the "logical" content of the implication and nonimplication relations between subsystems in Reverse Mathematics. We present a sound, complete, decidable, and compact tableaustyle deductive system for s-logic, and explore in detail two fragments that are particularly relevant to Reverse Mathematics practice and automated theorem proving of Reverse Mathematics results.
We examine the averaging operator corresponding to the manifold in R 2d of pairs of points (u, v) satisfying |u| = |v| = |u − v| = 1, so that {0, u, v} is the set of vertices of an equilateral triangle. We establish L p × L q → L r boundedness for T for (1/p, 1/q, 1/r) in the convex hull of the set of points {(0, 0, 0) , (1, 0, 1) , (0, 1, 1) , (1/p d , 1/p d , 2/p d )}, where p d = 5d 3d−2 .
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.