相关论文: Projection, Measure, and Idempotent Relations: Ind…

Let $X$ be a Hausdorff topological vector space, $X^*$ its topological dual and $Z$ a subset of $X^*$. In this paper, we establish some results concerning the $\sigma(X,Z)$-approximate fixed point property for bounded, closed convex subsets…

In the first part of this paper, we consider several natural axioms in urelement set theory, including the Collection Principle, the Reflection Principle, the Dependent Choice scheme and its generalizations, as well as other axioms…

We give axioms in the language of rings augmented by a 1-ary predicate symbol $Fin(x)$ with intended interpretation in the Boolean algebra of idempotents as the ideal of finite elements, i.e. finite unions of atoms. We prove that any…

Mixed finite element methods with flux errors in $H(div)$-norms and div-least-squares finite element methods require a separate marking strategy in obligatory adaptive mesh-refining. The refinement indicator $\sigma^2(\mathcal…

We establish a simple and powerful lemma that provides a criterion for sequences in metric spaces to be Cauchy. Using the lemma, it is then easily verified that the Picard iterates $\{T^nx\}$, where $T$ is a contraction or asymptotic…

We show that the theory ZFC-, consisting of the usual axioms of ZFC but with the power set axiom removed-specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every…

Based on the work of Shelah, Kellner, and T\u{a}nasie (Fund. Math., 166(1-2):109-136, 2000 and Comment. Math. Univ. Carolin., 60(1):61-95, 2019), and the recent developments in the third author's master's thesis, we develop a general theory…

Answering questions of A. Avil\'es, F. Cabello S\'anchez, J. Castillo, M. Gonz\'alez and Y. Moreno we show that the following statements are independent of the usual axioms ZFC with arbitrarily large continuum: for every (some)…

We show explicitly how a strongly coupled fixed point can be constructed in scalar $g\varphi^4$ theory from the solutions to a non-linear eigenvalue problem. The fixed point exists only for $d< 4$, is unstable and characterized by $\nu=2/d$…

In this paper we will show that for every cut $ I $ of any countable nonstandard model $ \mathcal{M} $ of $ \mathrm{I}\Sigma_{1} $, each $ I $-small $ \Sigma_{1} $-elementary submodel of $ \mathcal{M}$ is of the form of the set of fixed…

We introduce Z-stability, a notion capturing the intuition that if a function f maps a metric space into a normed space and if the norm of f(x) is small, then x is close to a zero of f. Working in Bishop's constructive setting, we first…

This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup…

Let $(M,g)$ be a smooth Riemannian manifold, $K$ a compact Lie group and $p:P\to M$ a principal $K$-bundle over $M$ endowed with a connection $A$. Fixing a bi invariant inner product on Lie algebra $\mathfrak{k}$ of $K$, the connection $A$…

This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on…

A theoretical development is carried to establish fundamental results about rank-initial embeddings and automorphisms of countable non-standard models of set theory, with a keen eye for their sets of fixed points. These results are then…

In a 2005 paper, Casacuberta, Scevenels and Smith construct a homotopy idempotent functor $E$ on the category of simplicial sets with the property that whether it can be expressed as localization with respect to a map $f$ is independent of…

Zimmermann's Reduction of Couplings (RoC) method is a powerful tool for addressing the problem of the excess of parameters in a field theory, as it yields relations among couplings that are invariant under the renormalization group. Its…

This paper establishes new common fixed point theorems for weakly compatible mappings in metric spaces, relaxing traditional requirements such as continuity, compatibility, and reciprocal continuity. We present a unified framework for three…

We study countable saturation of the metric reduced products and introduce continuous fields of metric models indexed by locally compact, separable, completely metrizable spaces. Saturation of the reduced product depends both on the…

We investigate the renormalization group flows and fixed point structure of many coupled minimal models. The models are coupled two by two by energy-energy couplings. We take the general approach where the bare couplings are all taken to be…