Related papers: Keisler's Order is Not Linear, Assuming a Supercom…
Using geometric methods for linearizing systems of second order cubically semi-linear ordinary differential equations and third order quintically semi-linear ordinary differential equations, we extend to the fourth order by differentiating…
The superintegrability of a rational harmonic oscillator (non-central harmonic oscillator with rational ratio of frequencies) with non-linear "centrifugal" terms is studied. In the first part, the system is directly studied in the Euclidean…
The Suslin hypothesis states that there are no nonseparable complete dense linear orderings without endpoints which have the countable chain condition. $\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$ proves the Suslin hypothesis. In…
Commutative totally ordered monoids abound, number systems for example. When the monoid is not assumed commutative, one may be hard pressed to find an example. One suggested by Professor Orr Shalit are the countable ordinals with addition.…
We provide a new result on the existence of extremal solutions for second-order Dirichlet problems with deviation argument. As a novelty in this work, the nonlinearity need not be continuous or monotone. In order to obtain this new result,…
Let $K$ be a field, and let $\Aut \,K^2$ be the group of polynomial automorphisms of $K^2$. If $K$ is infinite, this group is nonlinear. Moreover it contains nonlinear FG subgroups when $\ch\,K=0$. On the opposite, it contains some linear…
Evidently, the linear superposition principle can not be exactly established as a general principle in the presence of nonlinearity, and, at the first glance, there is no expectation for it to hold even approximately. In this letter, it is…
Zilber's Theorem states that a finite lattice $L$ is planar if{}f it has a complementary order relation. We provide a new proof for this crucial result and discuss some applications, including a canonical form for finite planar lattices and…
Under large cardinal hypotheses beyond the Kunen inconsistency -- hypotheses so strong as to contradict the Axiom of Choice -- we solve several variants of the generalized continuum problem and identify structural features of the levels…
The consistency of a second-order version of a theorem of Morley on the number of countable models was proved in arXiv:2107.07636 with the aid of large cardinals. We here dispense with them.
We prove that if there is an elementary embedding from the universe to itself, then there is a proper class of measurable successor cardinals.
We consider several variants of Keisler's isomorphism theorem. We separate these variants by showing implications between them and cardinal invariants hypotheses. We characterize saturation hypotheses that are stronger than Keisler's…
It is proved to be consistent relative to a measurable cardinal that there is a uniform ultrafilter on the real numbers which is generated by fewer than the maximum possible number of sets. It is also shown to be consistent relative to a…
We prove that if $\leq$ is an analytic partial order then either $\leq$ can be extended to a (boldface) $\Delta^1_2$ linear order similar to an antichain in $2^{<\omega_1}$ ordered lexicographically or a certain Borel partial order $\leq_0$…
We construct non-isomorphic linear orders X and Y that are both left-hand and right-hand divisors of one another, answering positively a question of Sierpinski.
The Wigner-Eckart theorem is a well known result for tensor operators of su(2) and, more generally, any compact Lie algebra. In this paper the theorem will be generalized to the particular non-compact case of sl(2,R). In order to do so,…
In this paper, we derive a nonseparable quantum superintegrable system in 2D real Euclidean space. The Hamiltonian admits no second order integrals of motion but does admit one third and one fourth order integral. We also obtain a classical…
A nonlinear dynamical system is called eventually competitive (or cooperative) provided that it preserves a partial order in backward (or forward) time only after some reasonable initial transient. We presented in this paper the…
We address a problem posed in [1] by demonstrating through an example that, in the absence of separability, the property of sequential cone compactness does not generally imply cone compactness.
We discuss a classical nonlinear oscillator, which is proved to be a superintegrable system for which the bounded motions are quasiperiodic oscillations and the unbounded (scattering) motions are represented by hyperbolic functions. This…