Results 81 to 90 of about 28,310 (224)
Common Fixed-Point Theorems in Modular Function Spaces Endowed with Reflexive Digraph
International Journal of Mathematics and Mathematical Sciences, 2020 The purpose of this work is to extend the Knaster–Tarski fixed-point theorem to the wider field of reflexive digraph. We give also a DeMarr-type common fixed-point theorem in this context.
Jaauad Jeddi +2 more
doaj +1 more source
Schwartz functions on Nash manifolds
, 2007 In this paper we extend the notions of Schwartz functions, tempered functions and generalized Schwartz functions to Nash (i.e. smooth semi-algebraic) manifolds.
Aizenbud +14 more
core +1 more source
Legal Systems and Complexity: A Comment on Allen
Ratio Juris, Volume 38, Issue 2, Page 94-107, July 2025.Abstract This work addresses Ronald J. Allen's views on complexity, evidence, and law. After some remarks on normative systems and the metaphors used to characterize them, the work addresses the issue of complexity by asking how a system characterized by complexity can tame the world's complexity; the focus then shifts to some aspects of evidence and ...
Giovanni Tuzet
wiley +1 more source
The Prolog Inference Model refutes Tarski Undefinability [PDF]
The generalized conclusion of the Tarski and Gödel proofs: All formal systems of greater expressive power than arithmetic necessarily have undecidable sentences.
Olcott, Pete
core
Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
Journal of the London Mathematical Society, Volume 112, Issue 1, July 2025.Abstract Motivated by recent work of Boney, Dimopoulos, Gitman, and Magidor, we characterize the existence of weak compactness cardinals for all abstract logics through combinatorial properties of the class of ordinals. This analysis is then used to show that, in contrast to the existence of strong compactness cardinals, the existence of weak ...
Philipp Lücke
wiley +1 more source
On generic structures preserving elementary equivalence and elementary embeddability
Қарағанды университетінің хабаршысы. Математика сериясы, 2018 We consider criteria for elementary equivalence and elementary embeddability for generic structures. They use classical characterizations for the general case.
S.V. Sudoplatov
doaj +1 more source
On the one‐dimensional polynomial, regular, and regulous images of closed balls and spheres
Journal of the London Mathematical Society, Volume 112, Issue 1, July 2025.Abstract We present a full geometric characterization of the one‐dimensional (semialgebraic) images S$S$ of either n$n$‐dimensional closed balls B¯n⊂Rn$\overline{{\mathcal {B}}}_n\subset {\mathbb {R}}^n$ or n$n$‐dimensional spheres Sn⊂Rn+1${\mathbb {S}}^n\subset {\mathbb {R}}^{n+1}$ under polynomial, regular, and regulous maps for some n⩾1$n\geqslant 1$
José F. Fernando
wiley +1 more source
Algebraization of Jaśkowski’s Paraconsistent Logic D2
Studies in Logic, Grammar and Rhetoric, 2015 The aim of this paper is to present an algebraic approach to Jaśkowski’s paraconsistent logic D2. We present: a D2-discursive algebra, Lindenbaum- Tarski algebra for D2 and D2-matrices.
Ciuciura Janusz
doaj +1 more source
Strong subgroup recurrence and the Nevo–Stuck–Zimmer theorem
Proceedings of the London Mathematical Society, Volume 130, Issue 6, June 2025.Abstract Let Γ$\Gamma$ be a countable group and Sub(Γ)$\mathrm{Sub}(\Gamma)$ its Chabauty space, namely, the compact Γ$\Gamma$‐space consisting of all subgroups of Γ$\Gamma$. We call a subgroup Δ∈Sub(Γ)$\Delta \in \mathrm{Sub}(\Gamma)$ a boomerang subgroup if for every γ∈Γ$\gamma \in \Gamma$, γniΔγ−ni→Δ$\gamma ^{n_i} \Delta \gamma ^{-n_i} \rightarrow ...
Yair Glasner, Waltraud Lederle
wiley +1 more source