Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userSouslins Hypothesis and Convergence in Category
97
0
0.0
(
0
)
Authors
Arnold W. Miller
Ask ChatGPT about the research
No Arabic abstract
A sequence of functions f_n: X -> R from a Baire space X to the reals is said to converge in category iff every subsequence has a subsequence which converges on all but a meager set. We show that if there exists a Souslin Tree then there exists a nonatomic Baire space X such that every sequence which converge in category converges everywhere on a comeager set. This answers a question of Wagner and Wilczynski, Convergence of sequences of measurable functions, Acta Math Acad Sci Hung 36(1980), 125-128.
rate research
Read More
The Omitting Types Theorem in model theory and the Baire Category Theorem in topology are known to be closely linked. We examine the precise relation between these two theorems. Working with a general notion of logic we show that the classical Omitting Types Theorem holds for a logic if a certain associated topological space has all closed subspaces Baire. We also consider stronger Baire category conditions, and hence stronger Omitting Types Theorems, including a game version. We use examples of spaces previously studied in set-theoretic topology to produce abstract logics showing that the game Omitting Types statement is consistently not equivalent to the classical one.
A function F:R^2->R is sup-measurable if F_f:R->R given by F_f(x)=F(x,f(x)), x in R, is measurable for each measurable function f:R->R. It is known that under different set theoretical assumptions, including CH, there are sup-measurable non-measurable functions, as well as their category analog. In this paper we will show that the existence of category analog of sup-measurable non-measurable functions is independent of ZFC. A similar result for the original measurable case is a subject of a work in prepartion by Roslanowski and Shelah.
This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which emph{ex falso quodlibet} holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, we study the case of paraconsistentization of propositional classical logic.
We establish a framework for the study of the effective theory of weak convergence of measures. We define two effective notions of weak convergence of measures on $mathbb{R}$: one uniform and one non-uniform. We show that these notions are equivalent. By means of this equivalence, we prove an effective version of the Portmanteau Theorem, which consists of multiple equivalent definitions of weak convergence of measures.
In their recent work Scale-free networks are rare, Broido and Clauset address the problem of the analysis of degree distributions in networks to classify them as scale-free at different strengths of scale-freeness. Over the last two decades, a multitude of papers in network science have reported that the degree distributions in many real-world networks follow power laws. Such networks were then referred to as scale-free. However, due to a lack of a precise definition, the term has evolved to mean a range of different things, leading to confusion and contradictory claims regarding scale-freeness of a given network. Recognizing this problem, the authors of Scale-free networks are rare try to fix it. They attempt to develop a versatile and statistically principled approach to remove this scale-free ambiguity accumulated in network science literature. Although their paper presents a fair attempt to address this fundamental problem, we must bring attention to some important issues in it.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
