Related papers: Some Remarks on Conway and Iteration Theories

Using a Zariski topology associated to a finite field extensions, we give new proofs and generalize the primitive and normal basis theorems.

In a previous article (J. Algebra 367 (2012), 142-165) we established axiomatic parametrised Cohen-Macaulay approximation which in particular was applied to pairs consisting of a finite type flat family of Cohen-Macaulay rings and modules.…

We consider several distinct characterizations of finite implication algebras. One of these leads to a new characterization of Boolean polymatroids.

In this paper, for iterated function systems, we define the classic concept of the dynamical systems: topological conjugacy of diffeomorphisms. We generalize the Hartman-Grobman theorem for one dimensional iterated function systems on R.…

A cohomology theory of root systems emerges naturally in the context of Automorphic Lie Algebras, where it helps formulating some structure theory questions. In particular, one can find concrete models for an Automorphic Lie Algebra by…

The axiomatic Wightman formulation for nonderivative conformal field theory is adopted to derive conformal bootstrap equation for the four point function. The equivalence between PCT theorem and {\it weak local commutativity}, due to Jost,…

Archimedean copulas are a popular type of copulas in which a variant of the Archimedean axiom apply. We provide a topological proof of the Archimedean Axiom which is applicable for non-continuous distribution functions.

We set up general machinery to study interpretations of fragments of theories. We then apply this to existential fragments of theories of fields, and especially of henselian valued fields. As an application we prove many-one reductions…

In this paper, we generalize Conley's fundamental theorem of dynamical systems in Conley index theory. We also conclude the existence of regular index filtration for every Morse decomposition.

Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that typically arise from applying decision rules…

A map is given showing that convolutions of independent random variables over a finite group and matrix multiplications of doubly stochastic matrices are homomorphic. As an application, a short proof is given to the theorem that the…

We explore a combinatorial theory of linear dependency in complex space, "complex matroids", with foundations analogous to those for oriented matroids. We give multiple equivalent axiomatizations of complex matroids, showing that this…

Various characterizations are offered of injectivity of the canonical fundamental group homomorphism for a certain class of inverse limit spaces. One application characterizes the existence of a kind of generalized universal cover.

This paper provides theorems aimed at shedding light on issues in the foundations of quantum mechanics. These theorems can be used to propose new interpretations to the theory, or to better understand, evaluate and improve current…

A realistic axiomatic formulation of Galilean Quantum Field Theories is presented, from which the most important theorems of the theory can be deduced. In comparison with others formulations, the formal aspect has been improved by the use…

This dissertation presents a multifaceted look into the structural decomposition of permutation classes. The theory of permutation patterns is a rich and varied field, and is a prime example of how an accessible and intuitive definition…

We show that a partial-correctness assertion about an iterative program is provable in Hoare Logic iffit is provable in standard second-order logic with comprehension restricted to first-order predicates. This equivalence was claimed twice…

We give a brief overview of the basics of cooperad theory using a new definition which lends itself to easy example creation and verification. We also apply our definition to build the parenthesization and cosimplicial structures exhibited…

Any permutation has a disjoint cycle decomposition and concept generates an equivalence class on the symmetry group called the cycle-type. The main focus of this work is on permutations of restricted cycle-types, with particular emphasis on…

The purpose of this paper is to study deformation theory of Hom-associative algebra morphisms and Hom-Lie algebra morphisms. We introduce a suitable cohomology and discuss Infinitesimal deformations, equivalent deformations and…