Related papers: Revisiting the generalized {\L}o\'s-Tarski theorem

We prove a fixed point theorem that combines the contraction mapping principle and some Knaster-Tarski-like theorem. As a consequence we obtain an existence theorem to initial value problem for ordinary differential equation with…

Originating in Girard's Linear logic, Ehrhard and Regnier's Taylor expansion of $\lambda$-terms has been broadly used as a tool to approximate the terms of several variants of the $\lambda$-calculus. Many results arise from a Commutation…

Let $G$ be a group and let $k$ be a field. Kaplansky's direct finiteness conjecture states that every one-sided unit of the group ring $k[G]$ must be a two-sided unit. In this paper, we establish a geometric direct finiteness theorem for…

In this paper for a finite field $F$, a nonempty set $\Gamma$, a self--map $\varphi:\Gamma\to\Gamma$ and a weight vector $\mathfrak{w}\in F^\Gamma$, we show that the set--theoretical entropy of the weighted generalized shift…

We extend the construction of [19] by introducing spaces of generalized tensor fields on smooth manifolds that possess optimal embedding and consistency properties with spaces of tensor distributions in the sense of L. Schwartz. We thereby…

While large language models (LLMs) show great potential in temporal reasoning, most existing work focuses heavily on enhancing performance, often neglecting the explainable reasoning processes underlying the results. To address this gap, we…

Motivated by the group entropy theory, in this work we generalize the algebra of real numbers (that we called G-algebra), from which we develop an associated G-differential calculus. Thus, the algebraic structures corresponding to the…

The logics RL, RP, and RG have been obtained by expanding Lukasiewicz logic L, product logic P, and G\"odel--Dummett logic G with rational constants. We study the lattices of extensions and structural completeness of these three expansions,…

In the paper hereditary classes of ${\rm L}$-structures are studied with language of the form ${{\rm L} = {\rm L_{fin}} \cup {\rm L_\infty}}$, where ${{\rm L_{fin}} = \langle R_1,R_2,\ldots, R_m, = \rangle}$ and ${{\rm L_\infty} = \langle…

We report about some results, interesting examples, problems and conjectures revolving around the parabolic Kostant partition functions, the parabolic Kostka polynomials and ``saturation'' properties of several generalizations of the…

We consider a random field, defined on an integer-valued d-dimensional lattice, with covariance function satisfying a condition more general than summability. Such condition appeared in the well-known Newman's conjecture concerning the…

We investigate the weak-field regime of generalized hybrid metric-Palatini theories, described by a generic function \(f(R,\mathcal{R})\), where \(R\) is the metric Ricci scalar and \(\mathcal{R}\) is constructed from an independent…

We give a detailed proof of Theorem 1.15 from a well-known paper "Primitive normal bases for finite fields" by H.W. Lenstra Jr. and R.J. Schoof. We are not aware of any other proofs. Let $L/K$ be a finite-dimensional Galois field extension…

Generalized inheritance is used with the almost-conformal Killing equation. Examples are the flat FRW, Kasner, and deSitter metrics. The volume changes in FRW while transitioning to a stiff fluid are discussed. An inheritance current is…

We study various formulations of the completeness of first-order logic phrased in constructive type theory and mechanised in the Coq proof assistant. Specifically, we examine the completeness of variants of classical and intuitionistic…

The aim of this paper is to summarize some recently obtained relations between the Ablowitz-Ladik hierarchy (ALH) and other integrable equations. It has been shown that solutions of finite subsystems of the ALH can be used to derive a wide…

An argument is presented that if a theory of quantum gravity is physically discrete at the Planck scale and the theory recovers General Relativity as an approximation, then, at the current stage of our knowledge, causal sets must arise…

In this work, an extension of two-point Ostrowski's formula for $n$-times differentiable functions is proved. A generalization of Taylor formula is deduced. An identity of Fink type for this extension is provided. Error estimates for the…

In this paper we investigate using the methodology of algebraic logic, deep algebraic results to prove three new omitting types theorems for finite variable fragments of first order logic. As a sample, we show that it T is an L_n theory and…

By providing a procedure to apply Hrushovski's amalgamation method to the setting of classes of infinite structures, we introduce the notion of \textit{paracollapsed} structures. We show that this approach provides existentially closed…