An ultrafilter with property $\sigma $
نویسندگان
چکیده
منابع مشابه
The Sigma-Delta CNN with Second Order Noise Shaping Property
Abstract: In this paper, a novel spatial domain 2-D sigma-delta modulation using two-layered discrete-time cellular neural networks (DT-CNNs) with multi-stage noise shaping (MASH) property is proposed. Although the sigmadelta modulation is widely used for realizing of analog to digital converter (ADC), sigma-delta concepts are only for 1-D signals. Signal processing in the digital domain is ext...
متن کاملAn Ultrafilter Approach to Jin’s Theorem
It is well known and not difficult to prove that if C ⊆ Z has positive upper Banach density, the set of differences C −C is syndetic, i.e. the length of gaps is uniformly bounded. More surprisingly, Renling Jin showed that whenever A and B have positive upper Banach density, then A − B is piecewise syndetic. Jin’s result follows trivially from the first statement provided that B has large inter...
متن کاملAn efficient nonstandard numerical method with positivity preserving property
Classical explicit finite difference schemes are unsuitable for the solution of the famous Black-Scholes partial differential equation, since they impose severe restrictions on the time step. Furthermore, they may produce spurious oscillations in the solution. We propose a new scheme that is free of spurious oscillations and guarantees the positivity of the solution for arbitrary stepsizes. The...
متن کاملUltrafilter Extensions for Coalgebras
This paper studies finitary modal logics as specification languages for Set-coalgebras (coalgebras on the category of sets) using Stone duality. It is wellknown that Set-coalgebras are not semantically adequate for finitary modal logics in the sense that bisimilarity does not in general coincide with logical equivalence. Stone-coalgebras (coalgebras over the category of Stone spaces), on the ot...
متن کاملHindman's theorem: an ultrafilter argument in second order arithmetic
Hindman’s Theorem is a prototypical example of a combinatorial theorem with a proof that uses the topology of the ultrafilters. We show how the methods of this proof, including topological arguments about ultrafilters, can be translated into second order arithmetic.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2005
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-05-08161-x