Search results for "Mathematics::Logic"
showing 10 items of 64 documents
Improved Bounds for Hermite–Hadamard Inequalities in Higher Dimensions
2019
Let $\Omega \subset \mathbb{R}^n$ be a convex domain and let $f:\Omega \rightarrow \mathbb{R}$ be a positive, subharmonic function (i.e. $\Delta f \geq 0$). Then $$ \frac{1}{|\Omega|} \int_{\Omega}{f dx} \leq \frac{c_n}{ |\partial \Omega| } \int_{\partial \Omega}{ f d\sigma},$$ where $c_n \leq 2n^{3/2}$. This inequality was previously only known for convex functions with a much larger constant. We also show that the optimal constant satisfies $c_n \geq n-1$. As a byproduct, we establish a sharp geometric inequality for two convex domains where one contains the other $ \Omega_2 \subset \Omega_1 \subset \mathbb{R}^n$: $$ \frac{|\partial \Omega_1|}{|\Omega_1|} \frac{| \Omega_2|}{|\partial \Ome…
Nonexistence of global weak solutions for a nonlinear Schrodinger equation in an exterior domain
2020
We study the large-time behavior of solutions to the nonlinear exterior problem L u ( t , x ) = &kappa
Selective versions of chain condition-type properties
2015
We study selective and game-theoretic versions of properties like the ccc, weak Lindel\"ofness and separability, giving various characterizations of them and exploring connections between these properties and some classical cardinal invariants of the continuum.
Superstable cycles for antiferromagnetic Q-state Potts and three-site interaction Ising models on recursive lattices
2013
We consider the superstable cycles of the Q-state Potts (QSP) and the three-site interaction antiferromagnetic Ising (TSAI) models on recursive lattices. The rational mappings describing the models' statistical properties are obtained via the recurrence relation technique. We provide analytical solutions for the superstable cycles of the second order for both models. A particular attention is devoted to the period three window. Here we present an exact result for the third order superstable orbit for the QSP and a numerical solution for the TSAI model. Additionally, we point out a non-trivial connection between bifurcations and superstability: in some regions of parameters a superstable cyc…
Left-star order structure of Rickart *-rings
2015
Janowitz proved in 1983 that the initial segments of a Rickart *-ring with the star order are orthomodular posets. In this paper, the same result is proved for the left-star order , which was introduced by Marovtet al., by finding an orthogonality which corresponds to in a certain way and then applying a result proved by Cīrulis which states that the initial segments of any quasi-orthomodular set are orthomodular.
Triangular irreducibility of congruences in quasivarieties
2014
Certain forms of irreducibility as well as of equational definability of relative congruences in quasivarieties are investigated. For any integer \({m \geqslant 3}\) and a quasivariety Q, the notion of an m-triangularily meet-irreducible Q-congruence in the algebras of Q is defined. In Section 2, some characterizations of finitely generated quasivarieties involving this notion are provided. Section 3 deals with quasivarieties with equationally definable m-triangular meets of relatively principal congruences. References to finitely based quasivarieties and varieties are discussed.
Nature log-analytique du volume des sous-analytiques
2000
Using a preparation theorem for subanalytic functions and Lipschitz stratification for compact subanalytic sets we prove that volumes of slices of globally subanalytic sets and density have a log-analytic nature. We also prove that the set of parameters for which the volume of fiber is finite is globally subanalytic.
The associated sheaf functor theorem in algebraic set theory
2008
We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves oil the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites.
Towards Axiomatic Basis of Inductive Inference
2001
The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…
Locally convex quasi $C^*$-normed algebras
2012
Abstract If A 0 [ ‖ ⋅ ‖ 0 ] is a C ∗ -normed algebra and τ a locally convex topology on A 0 making its multiplication separately continuous, then A 0 ˜ [ τ ] (completion of A 0 [ τ ] ) is a locally convex quasi ∗-algebra over A 0 , but it is not necessarily a locally convex quasi ∗-algebra over the C ∗ -algebra A 0 ˜ [ ‖ ⋅ ‖ 0 ] (completion of A 0 [ ‖ ⋅ ‖ 0 ] ). In this article, stimulated by physical examples, we introduce the notion of a locally convex quasi C ∗ -normed algebra, aiming at the investigation of A 0 ˜ [ τ ] ; in particular, we study its structure, ∗-representation theory and functional calculus.