Search results for " Set theory"

showing 10 items of 113 documents

A Note on Algebraic Sums of Subsets of the Real Line

2002

AbstractWe investigate the algebraic sums of sets for a large class of invari-ant ˙-ideals and ˙- elds of subsets of the real line. We give a simpleexample of two Borel subsets of the real line such that its algebraicsum is not a Borel set. Next we show a similar result to Proposition 2from A. Kharazishvili paper [4]. Our results are obtained for ideals withcoanalytical bases. 1 Introduction We shall work in ZFC set theory. By !we denote natural numbers. By 4wedenote the symmetric di erence of sets. The cardinality of a set Xwe denoteby jXj. By R we denote the real line and by Q we denote rational numbers. IfAand Bare subsets of R n and b2R , then A+B= fa+b: a2A^b2Bgand A+ b= A+ fbg. Simila…

Discrete mathematicsRational numberLebesgue measurenull setsBaire propertyMathematics::LogicBorel equivalence relation03E15Borel setsalgebraic sumsPolish spaceGeometry and TopologyProperty of Baire26A21Borel setBorel measureReal line28A05AnalysisDescriptive set theoryMathematicsReal Analysis Exchange
researchProduct

Circular sturmian words and Hopcroft’s algorithm

2009

AbstractIn order to analyze some extremal cases of Hopcroft’s algorithm, we investigate the relationships between the combinatorial properties of a circular sturmian word (x) and the run of the algorithm on the cyclic automaton Ax associated to (x). The combinatorial properties of words taken into account make use of sturmian morphisms and give rise to the notion of reduction tree of a circular sturmian word. We prove that the shape of this tree uniquely characterizes the word itself. The properties of the run of Hopcroft’s algorithm are expressed in terms of the derivation tree of the automaton, which is a tree that represents the refinement process that, in the execution of Hopcroft’s alg…

Discrete mathematicsReduction (recursion theory)Fibonacci numberGeneral Computer ScienceHopcroft'algorithmSturmian wordSturmian wordSturmian morphismsTheoretical Computer ScienceCombinatoricsTree (descriptive set theory)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputer Science::Discrete MathematicsDeterministic automatonHopcroft’s minimization algorithmCircular sturmian wordsTree automatonDeterministic finite state automataTime complexityAlgorithmComputer Science::Formal Languages and Automata TheoryWord (group theory)Computer Science(all)MathematicsTheoretical Computer Science
researchProduct

Absolutely summing operators on C[0,1] as a tree space and the bounded approximation property

2010

Abstract Let X be a Banach space. For describing the space P ( C [ 0 , 1 ] , X ) of absolutely summing operators from C [ 0 , 1 ] to X in terms of the space X itself, we construct a tree space l 1 tree ( X ) on X. It consists of special trees in X which we call two-trunk trees. We prove that P ( C [ 0 , 1 ] , X ) is isometrically isomorphic to l 1 tree ( X ) . As an application, we characterize the bounded approximation property (BAP) and the weak BAP in terms of X ∗ -valued sequence spaces.

Discrete mathematicsSequenceTree (descriptive set theory)Approximation propertyBounded functionInfinite-dimensional vector functionBanach spaceSpace (mathematics)Operator spaceAnalysisMathematicsJournal of Functional Analysis
researchProduct

Prioritization of students’ needs for education service design and development by embedding AHP and fuzzy set theory: A case study

2015

Student satisfaction represents a strategic factor for many universities towards increasing competition concerning students recruitment. Thus, nowadays many universities take into account typical customer-oriented industry’s approaches for the education service design and development. In such a condition, prioritization of students’ needs represents a crucial step to appropriately adopt these approaches. This paper proposes an effective way to evaluate importance of students’ needs based on the Analytic Hierarchy Process (AHP) method, in which linguistic variables are parameterized by means of triangular fuzzy numbers, to deal with uncertainty, subjectivity and vagueness. Finally, a case st…

Education service qualityStudent’s needs evaluationAHPFuzzy set theorySettore ING-IND/16 - Tecnologie E Sistemi Di Lavorazione
researchProduct

A two-scale approach to electron correlation in multiconfigurational perturbation theory.

2014

We present a new approach for the calculation of dynamic electron correlation effects in large molecular systems using multiconfigurational second-order perturbation theory (CASPT2). The method is restricted to cases where partitioning of the molecular system into an active site and an environment is meaningful. Only dynamic correlation effects derived from orbitals extending over the active site are included at the CASPT2 level of theory, whereas the correlation effects of the environment are retrieved at lower computational costs. For sufficiently large systems, the small errors introduced by this approximation are contrasted by the substantial savings in both storage and computational de…

Electronic correlationChemistryScale (descriptive set theory)General ChemistryMolecular systemsWhole systemsCorrelationComputational Mathematicscaspt2Atomic orbitalmultiscaleExcited stateStatistical physicsPerturbation theoryAtomic physicsJournal of computational chemistry
researchProduct

New Flexible Probability Distributions for Ranking Data

2015

Recently, several models have been proposed in literature for analyzing ranks assigned by people to some object. These models summarize the liking feeling for this object, possibly also with respect to a set of explanatory variables. Some recent works have suggested the use of the Shifted Binomial and of the Inverse Hypergeometric distribution for modelling the approval rate, while mixture models have been developed for taking into account the uncertainty of the ranking process. We propose two new probabilistic models, based on the Discrete Beta and the Shifted-Beta Binomial distributions, that ensure much flexibility and allow the joint modelling of the scale (approval rate) and the shape …

Flexibility (engineering)RankingBinomial (polynomial)Computer scienceRank (computer programming)EconometricsProbability distributionScale (descriptive set theory)Discrete Beta Ranking data Shifted-Beta BinomialRanking data Discrete Beta Shifted-Beta BinomialMixture modelSettore SECS-S/01 - StatisticaHypergeometric distribution
researchProduct

FUZZINESS: the emergence of a new scientific concept

2011

Fuzziness Fuzzy Set Theory Soft ComputingSettore INF/01 - Informatica
researchProduct

Fuzzy Logic, Vagueness and Uncertainty

2009

Fuzzy Logic Truth Set theory
researchProduct

Finiteness in a Minimalist Foundation

2008

We analyze the concepts of finite set and finite subset from the perspective of a minimalist foundational theory which has recently been introduced by Maria Emilia Maietti and the second author. The main feature of that theory and, as a consequence, of our approach is compatibility with other foundational theories such as Zermelo-Fraenkel set theory, Martin-Lof's intuitionistic Type Theory, topos theory, Aczel's CZF, Coquand's Calculus of Constructions. This compatibility forces our arguments to be constructive in a strong sense: no use is made of powerful principles such as the axiom of choice, the power-set axiom, the law of the excluded middle.

General set theoryMorse–Kelley set theoryNon-well-founded set theoryZermelo–Fraenkel set theoryConstructive set theoryminimalist foundation; finite sets; finite subsets; type theory; constructive mathematicsconstructive mathematicsfinite subsetsUrelementMathematics::LogicType theorytype theoryComputer Science::Logic in Computer ScienceAxiom of choicefinite setsminimalist foundationMathematical economicsMathematics
researchProduct

Effective interactions in Ricci-Based Gravity below the non-metricity scale

2020

We show how minimally-coupled matter fields of arbitrary spin, when coupled to Ricci-Based Gravity theories, develop non-trivial effective interactions that can be treated perturbatively only below a characteristic high-energy scale $\Lambda_Q$. Our results generalize to arbitrary matter fields those recently obtained for spin 1/2 fields in \cite{Latorre:2017uve}. We then use this interactions to set bounds on the high-energy scale $\Lambda_Q$ that controls departures of Ricci-Based Gravity theories from General Relativity. Particularly, for Eddington-inspired Born-Infeld gravity we obtain the strong bound $ |\kappa|<3.5 \times 10^{-14} \text{ m}^5 \text{kg}^{-1}\text{s}^{-2} $.

High Energy Physics - TheoryGravity (chemistry)Physics and Astronomy (miscellaneous)General relativityFOS: Physical sciencesScale (descriptive set theory)lcsh:AstrophysicsGeneral Relativity and Quantum Cosmology (gr-qc)Lambda01 natural sciencesGeneral Relativity and Quantum CosmologyGravitationHigh Energy Physics - Phenomenology (hep-ph)Born–Infeld model0103 physical scienceslcsh:QB460-466lcsh:Nuclear and particle physics. Atomic energy. Radioactivity010306 general physicsEngineering (miscellaneous)Spin-½Mathematical physicsPhysics010308 nuclear & particles physicsHigh Energy Physics - PhenomenologyHigh Energy Physics - Theory (hep-th)lcsh:QC770-798
researchProduct