Results 21 to 30 of about 1,635,411 (70)
Skolem sequences: Generalizations and applications
, 1991 In this thesis the necessary conditions for the existence of near-, hooked near-, and indecomposable Skolem sequences are found and shown to be sufficient.
Shalaby, Nabil
core +2 more sources
On the Skolem problem and prime powers [PDF]
, 2020 The Skolem Problem asks, given a linear recurrence sequence (un), whether there exists n ∈ N such that un = 0. In this paper we consider the following specialisation of the problem: given in addition c ∈ N, determine whether there exists n ∈ N of the ...
James Worrell +7 more
core +1 more source
Mathematical and algorithmic methods for finding disjoint Rosa-type sequences [PDF]
, 2018 A Rosa sequence of order n is a sequence S = (s1; s2; ..., s2n+1) of 2n + 1 integers satisfying the conditions: (1) for every k ∈ {1; 2;...; n} there are exactly two elements sᵢ; sj ∈ S such that si = sj = k; (2) if sᵢ = sj = k; i < j, then j - i = k;
Alruhaymi, Fatimah
core +1 more source
Pseudo-Skolem sequences and graph Skolem labelling
, 2017 Pseudo-Skolem sequences, which are similar to Skolem-type sequences in their structure and applications, are introduced. Constructions of such sequences, either directly or via the use of known Skolem-type sequences, are presented.
Pike, David A. +2 more
core +2 more sources
Constant power maps on Hardy fields and transseries
Journal of the London Mathematical Society, Volume 114, Issue 3, September 2026.Abstract Let T$\mathbb {T}$ be the differential field of logarithmic‐exponential transseries. We consider the expansion of T$\mathbb {T}$ by the binary map that sends a positive transseries f$f$ and a real number r$r$ to the transseries fr$f^r$, together with a constant symbol for the real number e$\mathrm{e}$. Building on recent work of Aschenbrenner,
Elliot Kaplan
wiley +1 more source
Journal of Food Safety, Volume 46, Issue 4, August 2026.The formation of mono‐, dual‐, and triple‐species biofilms by L. monocytogenes, S. aureus, and E. coli was characterized by cell growth, metabolic activity, staining, and microscopy. Their resistance to a commercial disinfectant (NaOCl) and natural agents such as vinegar and lactic acid was evaluated.
Viviana Švarcová +6 more
wiley +1 more source
Kripke on Gödel Incompleteness
Theoria, Volume 92, Issue 3, June 2026.ABSTRACT This paper surveys six of Saul Kripke's highly creative ideas and results on Gödel incompleteness, from when he was an undergraduate to last publications. These include his extension of incompleteness from sentences to predicates, his model‐theoretic proof of incompleteness of arithmetic, his compelling analysis of incompleteness in terms of ...
Daniel Isaacson
wiley +1 more source
WIREs Energy and Environment, Volume 15, Issue 1, March 2026.This graphical abstract illustrates seven strategic pillars to advance a low‐carbon economy in ASEAN: Carbon Pricing & CBAM, Renewable Energy Auctions, Sustainable Finance Mobilization, Regional Carbon Trading Systems, Green Finance Standards, Private Sector Participation, and Digital‐Driven Monitoring & Trading. These elements aim to unlock investment,
Ohn Zin Lin +4 more
wiley +1 more source
The Skolem Landscape (Invited Talk)
, 2023 The Skolem Problem asks to determine whether a given integer linear recurrence sequence (LRS) has a zero term. This decision problem arises within a number of different topics in computer science, including loop termination, weighted automata, formal ...
Worrell, James
core +1 more source
Determinacy on the edge of second‐order arithmetic, I
Journal of the London Mathematical Society, Volume 113, Issue 3, March 2026.Abstract This is the first of two articles on the strength of m$m{}$‐Σ30$\bm{\Sigma }^0_3{}$‐determinacy for m∈N$m\in \mathbb {N}$, the strongest theories of determinacy contained in Hilbert's second‐order arithmetic (Z2)$(Z_2)$. In this article, we refute two natural conjectures on the strength of these principles in terms of inductive definability ...
J. P. Aguilera, P. D. Welch
wiley +1 more source