AbstractLet R⊆ω×ω be an arithemetic relation. We show that (∀x)(ϵ)R(x,y) holds in the arithemetic isols if and if it holds in the integers with an almost arithmetic combinatorial Skolem function. Our proof uses model theoretic mainly developed by A. Mostowski. The results generalize to n variables and to various fragments of the arithmetic isols
AbstractThis paper studies isometric embeddings of RPn via non-degenerate symmetric bilinear maps. T...
AbstractWe study the isochronicity of centers at O∈R2 for systemsx˙=−y+A(x,y),y˙=x+B(x,y), where A,B...
Let f : X → Y be a separated morphism of Noetherian schemes, and let W ⊂ X be a union of closed subs...
To obtain a bigger number of mathematical and physical applications of the Santilli’s isotheory, th...
To obtain a bigger number of mathematical and physical applications of the Santilli's isotheory, the...
In his paper [3] Wermus defines ordinal numbers as "Z - symbols" of the form [a1n ..., ak κ, ≥ 1 a...
AbstractFor some finite set A of points in Rn and some integer k∈N we consider the problem of recons...
AbstractLet k1 ⩽ k2 ⩽ … ⩽ kn be given positive integers and let F denote the set of vectors (l1, …, ...
AbstractLetA be a doubly stochastic matrix of ordern andσ1(A) the sum of the orderi subpermanents of...
AbstractLet Ω be the λ-term (λx.xx) (λx.xx). Correcting and supplementing Jacopini [1975], it will b...
AbstractLet A denote a prehilbert absolute valued real algebra such that (x, x, x) = 0 for all x ϵ A...
AbstractIn this paper we establish maximum principles of the Cauchy problem for hyperbolic equations...
AbstractLet m and vt, 0 ⩽ t ⩽ 2π be measures on T = [0, 2π] with m smooth. Consider the direct integ...
AbstractWe prove completeness, Robinson consistency, interpolation, and upward Loweheim-Skolem theor...
In this note, we present and prove some lemmas that are useful when studying the number of independe...
AbstractThis paper studies isometric embeddings of RPn via non-degenerate symmetric bilinear maps. T...
AbstractWe study the isochronicity of centers at O∈R2 for systemsx˙=−y+A(x,y),y˙=x+B(x,y), where A,B...
Let f : X → Y be a separated morphism of Noetherian schemes, and let W ⊂ X be a union of closed subs...
To obtain a bigger number of mathematical and physical applications of the Santilli’s isotheory, th...
To obtain a bigger number of mathematical and physical applications of the Santilli's isotheory, the...
In his paper [3] Wermus defines ordinal numbers as "Z - symbols" of the form [a1n ..., ak κ, ≥ 1 a...
AbstractFor some finite set A of points in Rn and some integer k∈N we consider the problem of recons...
AbstractLet k1 ⩽ k2 ⩽ … ⩽ kn be given positive integers and let F denote the set of vectors (l1, …, ...
AbstractLetA be a doubly stochastic matrix of ordern andσ1(A) the sum of the orderi subpermanents of...
AbstractLet Ω be the λ-term (λx.xx) (λx.xx). Correcting and supplementing Jacopini [1975], it will b...
AbstractLet A denote a prehilbert absolute valued real algebra such that (x, x, x) = 0 for all x ϵ A...
AbstractIn this paper we establish maximum principles of the Cauchy problem for hyperbolic equations...
AbstractLet m and vt, 0 ⩽ t ⩽ 2π be measures on T = [0, 2π] with m smooth. Consider the direct integ...
AbstractWe prove completeness, Robinson consistency, interpolation, and upward Loweheim-Skolem theor...
In this note, we present and prove some lemmas that are useful when studying the number of independe...
AbstractThis paper studies isometric embeddings of RPn via non-degenerate symmetric bilinear maps. T...
AbstractWe study the isochronicity of centers at O∈R2 for systemsx˙=−y+A(x,y),y˙=x+B(x,y), where A,B...
Let f : X → Y be a separated morphism of Noetherian schemes, and let W ⊂ X be a union of closed subs...
DOI
Add to ORKG