Search results for "Mathematics::Logic"
showing 10 items of 64 documents
Cardinal Invariants for the $G_\delta$ topology
2017
We prove upper bounds for the spread, the Lindel\"of number and the weak Lindel\"of number of the $G_\delta$-topology on a topological space and apply a few of our bounds to give a short proof to a recent result of Juh\'asz and van Mill regarding the cardinality of a $\sigma$-countably tight homogeneous compactum.
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.
Generalized Camassa-Holm Equations: Symmetry, Conservation Laws and Regular Pulse and Front Solutions
2021
In this paper, we consider a member of an integrable family of generalized Camassa–Holm (GCH) equations. We make an analysis of the point Lie symmetries of these equations by using the Lie method of infinitesimals. We derive nonclassical symmetries and we find new symmetries via the nonclassical method, which cannot be obtained by Lie symmetry method. We employ the multiplier method to construct conservation laws for this family of GCH equations. Using the conservation laws of the underlying equation, double reduction is also constructed. Finally, we investigate traveling waves of the GCH equations. We derive convergent series solutions both for the homoclinic and heteroclinic orbits of the…
On Carlson"s and Shafer"s inequalities
2014
In this paper the authors re ne the Carlson"s inequalities for inverse cosine function, and the Shafer"s inequalities for inverse tangent function.
A common extension of Arhangel'skii's Theorem and the Hajnal-Juhasz inequality
2019
AbstractWe present a result about $G_{\unicode[STIX]{x1D6FF}}$ covers of a Hausdorff space that implies various known cardinal inequalities, including the following two fundamental results in the theory of cardinal invariants in topology: $|X|\leqslant 2^{L(X)\unicode[STIX]{x1D712}(X)}$ (Arhangel’skiĭ) and $|X|\leqslant 2^{c(X)\unicode[STIX]{x1D712}(X)}$ (Hajnal–Juhász). This solves a question that goes back to Bell, Ginsburg and Woods’s 1978 paper (M. Bell, J.N. Ginsburg and R.G. Woods, Cardinal inequalities for topological spaces involving the weak Lindelöf number, Pacific J. Math. 79(1978), 37–45) and is mentioned in Hodel’s survey on Arhangel’skiĭ’s Theorem (R. Hodel, Arhangel’skii’s so…
Optimal maps and exponentiation on finite dimensional spaces with Ricci curvature bounded from below
2013
We prove existence and uniqueness of optimal maps on $RCD^*(K,N)$ spaces under the assumption that the starting measure is absolutely continuous. We also discuss how this result naturally leads to the notion of exponentiation.
Urysohn's metrization theorem for higher cardinals
2011
In this paper a generalization of Urysohn's metrization theorem is given for higher cardinals. Namely, it is shown that a topological space with a basis of cardinality at most $|\omega_\mu|$ or smaller is $\omega_\mu$-metrizable if and only if it is $\omega_\mu$-additive and regular, or, equivalently, $\omega_\mu$-additive, zero-dimensional, and T\textsubscript{0}. Furthermore, all such spaces are shown to be embeddable in a suitable generalization of Hilbert's cube.
Free Minor Closed Classes and the Kuratowski theorem
2009
Free-minor closed classes [2] and free-planar graphs [3] are considered. Versions of Kuratowski-like theorem for free-planar graphs and Kuratowski theorem for planar graphs are considered.
AC is Equivalent to the Coherence Principle. Corrigendum to my Paper "Induction Principles for Sets"
2009
Theorem 3.7 of [1] is corrected. Two coherence principles and the ultrafilter property for partial functions contained in a relation are formulated. The equivalence of the coherent principles with AC and the equivalence of the ultrafilter property with BPI is shown.
Conjunction of Conditional Events and T-norms
2019
We study the relationship between a notion of conjunction among conditional events, introduced in recent papers, and the notion of Frank t-norm. By examining different cases, in the setting of coherence, we show each time that the conjunction coincides with a suitable Frank t-norm. In particular, the conjunction may coincide with the Product t-norm, the Minimum t-norm, and Lukasiewicz t-norm. We show by a counterexample, that the prevision assessments obtained by Lukasiewicz t-norm may be not coherent. Then, we give some conditions of coherence when using Lukasiewicz t-norm.