Related papers: Iterations of V and the core model

In this paper, some properties and applications of MV-algebras are provided. We define a Fibonacci sequence in an MV-algebra and we prove that such a stationary sequence gives us an idempotent element. Taking into account of the…

A homeomorphism f of a manifold M is called H_1-transitive if there is a transitive lift of an iterate of f to the universal Abelian cover \tM. Roughly speaking, this means that f has orbits which repeatedly and densely explore all elements…

For every simplicial complex K there exists a vertex-transitive simplicial complex homotopy equivalent to a wedge of copies of K with some copies of the circle. It follows that every simplicial complex can occur as a homotopy wedge summand…

For a vertex operator algebra V, a V-module M and a nonnegative integer n, an A_n(V)-bimodule A_n(M) is constructed and studied. The connection between A_n(M) and intertwining operators are discussed. In the case that V is rational, A_n(M)…

Research in the field of automated vehicles, or more generally cognitive cyber-physical systems that operate in the real world, is leading to increasingly complex systems. Among other things, artificial intelligence enables an…

Let A be an algebra in a variety V. We study the modulization of a pointed A-overalgebra P, show that it is totally in any variety that P is totally in, and apply this theory to the construction of the enveloping ringoid Z[A,V].

Let $G$ be a complex reductive group and $V$ a $G$-module. Then the $m$th jet scheme $G_m$ acts on the $m$th jet scheme $V_m$ for all $m\geq 0$. We are interested in the invariant ring $\mathcal{O}(V_m)^{G_m}$ and whether the map…

Let R be a unital ring with involution, we give the characterizations and representations of the core and dual core inverses of an element in R by Hermitian elements (or projections) and units. For example, let a in R and n is an integer…

It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully…

An ordered graph is a graph enhanced with a linear order on the vertex set. An ordered graph is a core if it does not have an order-preserving homomorphism to a proper subgraph. We say that $H$ is the core of $G$ if (i) $H$ is a core, (ii)…

In recent years, we have established the iteration theory of the index for symplectic matrix paths and applied it to periodic solution problems of nonlinear Hamiltonian systems. This paper is a survey on these results.

We present the observation that the process of stochastic model predictive control can be formulated in the framework of iterated function systems. The latter has a rich ergodic theory that can be applied to study the system's long-run…

In this note we make use of some properties of vector fields on a manifold to give an alternate proof to [3] for the equivalence between connections and parallel transport on vector bundles over manifolds. Out of the proof will emerge a new…

We consider the classification problem for several classes of countable structures which are "vertex-transitive", meaning that the automorphism group acts transitively on the elements. (This is sometimes called homogeneous.) We show that…

Round-based models are very common message-passing models; combinatorial topology applied to distributed computing provides sweeping results like general lower bounds. We combine both to study the computability of k-set agreement. Among all…

Macroscopic loop correlators are investigated in the hermitian one matrix model with the potential perturbed by the higher order curvature term. In the phase of smooth surfaces the model is equivalent to the minimal conformal matter coupled…

We prove that any countable support iteration formed with posets with $\omega_2$-p.i.c.\ has $\omega_2$-c.c., assuming CH in the ground model and assuming also that $\omega_1$ is not collapsed. This improves earlier results of Shelah by…

We present necessary conditions for monotonicity, in one form or another, of fixed point iterations of mappings that violate the usual nonexpansive property. We show that most reasonable notions of linear-type monotonicity of fixed point…

We prove an iteration theorem which guarantees for a wide class of nice iterations of $\omega_1$-preserving forcings that $\omega_1$ is not collapse, at the price of needing large cardinals to burn as fuel. More precisely, we show that a…

As a generalisation of the periodic orbit structure often seen in reflection or mirror symmetric MHD equilibria, we consider equilibria with other orientation-reversing symmetries. An example of such a symmetry, which is a not a reflection,…