All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 85 Next

Displaying 1681 – 1700 of 5970

Showing per page

Finite Embeddability of Sets and Ultrafilters

Andreas Blass, Mauro Di Nasso (2015)

Bulletin of the Polish Academy of Sciences. Mathematics

A set A of natural numbers is finitely embeddable in another such set B if every finite subset of A has a rightward translate that is a subset of B. This notion of finite embeddability arose in combinatorial number theory, but in this paper we study it in its own right. We also study a related notion of finite embeddability of ultrafilters on the natural numbers. Among other results, we obtain connections between finite embeddability and the algebraic and topological structure of the Stone-Čech...

Finite models and finitely many variables

Anuj Dawar (1999)

Banach Center Publications

This paper is a survey of results on finite variable logics in finite model theory. It focusses on the common underlying techniques that unite many such results.

Finite presentability of strongly finite dilators

Osamu Takaki (2010)

RAIRO - Theoretical Informatics and Applications

In this paper, we establish the following results: (i) every strongly finite dilator is finitely presentable in the category of endofunctors on the category of ordinals; (ii) a dilator F is strongly finite if and only if F is finitely presentable in the category of dilators.

Finite Product of Semiring of Sets

Roland Coghetto (2015)

Formalized Mathematics

We formalize that the image of a semiring of sets [17] by an injective function is a semiring of sets.We offer a non-trivial example of a semiring of sets in a topological space [21]. Finally, we show that the finite product of a semiring of sets is also a semiring of sets [21] and that the finite product of a classical semiring of sets [8] is a classical semiring of sets. In this case, we use here the notation from the book of Aliprantis and Border [1].

Finite Symmetric Functions with Non-Trivial Arity Gap

Shtrakov, Slavcho, Koppitz, Jörg (2012)

Serdica Journal of Computing

Given an n-ary k-valued function f, gap(f) denotes the essential arity gap of f which is the minimal number of essential variables in f which become fictive when identifying any two distinct essential variables in f. In the present paper we study the properties of the symmetric function with non-trivial arity gap (2 ≤ gap(f)). We prove several results concerning decomposition of the symmetric functions with non-trivial arity gap with its minors or subfunctions. We show that all non-empty sets of...

Finitely-additive, countably-additive and internal probability measures

Haosui Duanmu, William Weiss (2018)

Commentationes Mathematicae Universitatis Carolinae

We discuss two ways to construct standard probability measures, called push-down measures, from internal probability measures. We show that the Wasserstein distance between an internal probability measure and its push-down measure is infinitesimal. As an application to standard probability theory, we show that every finitely-additive Borel probability measure P on a separable metric space is a limit of a sequence of countably-additive Borel probability measures { P n } n ∈ ℕ in the sense that ∫ f d P = lim n → ∞ ∫ f d P n for all bounded...

Finiteness and choice

Omar De la Cruz (2002)

Fundamenta Mathematicae

We deal with weak choice principles of the form: Every "finite" family of non-empty sets has a choice function, where "finite" stands for one of several different definitions of finiteness that are not equivalent unless we assume the axiom of choice (AC). Several relations of implication and independence are established. In the process, we answer a few open questions about the relations between different definitions of finiteness.

Finite-to-one fuzzy maps and fuzzy perfect maps

Francisco Gallego Lupiañez (1998)

Kybernetika

In this paper we define, for fuzzy topology, notions corresponding to finite-to-one and k -to-one maps. We study the relationship between these new fuzzy maps and various kinds of fuzzy perfect maps. Also, we show the invariance and the inverse inveriance under the various kinds of fuzzy perfect maps (and the finite-to-one fuzzy maps), of different properties of fuzzy topological spaces.

First Order Languages: Further Syntax and Semantics

Marco Caminati (2011)

Formalized Mathematics

Third of a series of articles laying down the bases for classical first order model theory. Interpretation of a language in a universe set. Evaluation of a term in a universe. Truth evaluation of an atomic formula. Reassigning the value of a symbol in a given interpretation. Syntax and semantics of a non atomic formula are then defined concurrently (this point is explained in [16], 4.2.1). As a consequence, the evaluation of any w.f.f. string and the relation of logical implication are introduced....

Currently displaying 1681 – 1700 of 5970