English
Related papers

Related papers: Properties of Norms on Sets

200 papers

From last decade, when Molodtsov introduced the theory of soft set as a new approach to deal with uncertainties, until now this theory was considered sharply by a fair number of researchers. Combination of fuzzy set theory and soft set…

Functional Analysis · Mathematics 2013-09-20 Azadeh Zahedi Khameneh , Adem Kilicman , Abdul Razak Salleh

We present three natural combinatorial properties for class forcing notions, which imply the forcing theorem to hold. We then show that all known sufficent conditions for the forcing theorem (except for the forcing theorem itself),…

Logic · Mathematics 2017-10-31 Peter Holy , Regula Krapf , Philipp Schlicht

We lay the ground for an Isabelle/ZF formalization of Cohen's technique of forcing. We formalize the definition of forcing notions as preorders with top, dense subsets, and generic filters. We formalize the definition of forcing notions as…

Logic in Computer Science · Computer Science 2018-11-28 Emmanuel Gunther , Miguel Pagano , Pedro Sánchez Terraf

When deciding how to act, we must consider other agents' norms and values. However, our norms are ever-evolving. We often add exceptions or change our minds, and thus norms can conflict over time. Therefore, to maintain an accurate mental…

Artificial Intelligence · Computer Science 2024-07-09 Taylor Olson , Roberto Salas-Damian , Kenneth D. Forbus

The striking fractal geometry of strange attractors underscores the generative nature of chaos: like probability distributions, chaotic systems can be repeatedly measured to produce arbitrarily-detailed information about the underlying…

Machine Learning · Computer Science 2023-01-31 William Gilpin

We study learning of indexed families from positive data where a learner can freely choose a hypothesis space (with uniformly decidable membership) comprising at least the languages to be learned. This abstracts a very universal learning…

Convex neural codes are subsets of the Boolean lattice that record the intersection patterns of convex sets in Euclidean space. Much work in recent years has focused on finding combinatorial criteria on codes that can be used to classify…

Combinatorics · Mathematics 2020-12-18 R. Amzi Jeffs , Caitlin Lienkaemper , Nora Youngs

We develop the theory of the forcing with trees and creatures for an inaccessible lambda continuing Ros{\l}anowski and Shelah math.LO/9807172, math.LO/9909115. To make a real use of these forcing notions (that is to iterate them without…

Logic · Mathematics 2013-01-03 Andrzej Rosłanowski , Saharon Shelah

Let $\mathcal{SN}$ be the $\sigma$-ideal of the strong measure zero sets of reals. We present general properties of forcing notions that allow to control of the additivity of $\mathcal{SN}$ after finite support iterations. This is applied…

Logic · Mathematics 2025-08-21 Jörg Brendle , Miguel A. Cardona , Diego A. Mejía

We introduce a family of norms on the $n \times n$ complex matrices. These norms arise from a probabilistic framework, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in…

Functional Analysis · Mathematics 2022-11-16 Ángel Chávez , Stephan Ramon Garcia , Jackson Hurley

We investigate the partial orderings of the form (P(X),\subset), where X is a relational structure and P(X) the set of the domains of its isomorphic substructures. A rough classification of countable binary structures corresponding to the…

Logic · Mathematics 2017-09-26 Milos S. Kurilic

We obtain algebraic characterizations of relative notions of size in a discrete semigroup that generalize the usual combinatorial notions of syndetic, thick, and piecewise syndetic sets. "Filtered" syndetic and piecewise syndetic sets were…

General Topology · Mathematics 2021-07-21 Cory Christopherson , John H. Johnson

Outside ideal settings, conventions are shaped by competing processes that can challenge the emergence of norms. This paper identifies three trade-offs challenging the diffusion of conventions: (I) the trade-off between the imperatives of…

Physics and Society · Physics 2025-03-17 Lucas Gautheron

We further investigate the uniform regularity property of collections of sets via primal and dual characterizing constants. These constants play an important role in determining convergence rates of projection algorithms for solving…

Optimization and Control · Mathematics 2015-01-20 Alexander Y. Kruger , Nguyen H. Thao

We examine the existence (and mostly non-existence) of fresh sets in commonly used iterations of Prikry type forcing notions. Results of [4] are generalized. As an application, a question of a referee of [9] is answered. In addition…

Logic · Mathematics 2024-03-05 Moti Gitik , Eyal Kaplan

Recent work in set theory indicates that there are many different notions of 'set', each captured by a different collection of axioms, as proposed by J. Hamkins in [Ham11]. In this paper we strive to give one class theory that allows for a…

Logic · Mathematics 2022-06-10 Alec Rhea

This paper analyzes the working or default assumptions researchers in the formal, statistical, and case study traditions typically hold regarding the sources of unexplained variance, the meaning of outliers, parameter values, human…

Methodology · Statistics 2022-02-17 Andrew Bennett , Bear F. Braumoeller

In Orlicz spaces generated by convex Orlicz functions a family of norms generated by some lattice norms in $\mathbb{R}^{2}$ are defined and studied. This family of norms includes the family of the p-Amemiya norms ($1\leq p\leq\infty$)…

Functional Analysis · Mathematics 2018-05-18 Yunan Cui , Henryk Hudzik , Haifeng Ma

Using a countable support product of creature forcing posets, we show that consistently, for uncountably many different functions the associated Yorioka ideals' uniformity numbers can be pairwise different. In addition we show that, in the…

Logic · Mathematics 2022-07-25 Lukas Daniel Klausner , Diego Alejandro Mejía

Using forcing with measured creatures we build a universe of set theory in which: (a) every sup-measurable function f:RxR-->R is measurable, and (b) every function f:R-->R is continuous on a non-measurable set. This answers a question of…

Logic · Mathematics 2013-01-03 Andrzej Roslanowski , Saharon Shelah