Related papers: Mutually embeddable models of ZFC
We investigate unification of two systems of identical elements having different dimensions which may be of interest for both physics and economics. Characteristic parameters as well as explicit formulae for the temperature (in economics -…
Much of the theory of large cardinals beyond a measurable cardinal concerns the structure of elementary embeddings of the universe of sets into inner models. This paper seeks to answer the question of whether the inner model uniquely…
Modern systems (e.g., deep neural networks, big data analytics, and compilers) are highly configurable, which means they expose different performance behavior under different configurations. The fundamental challenge is that one cannot…
Adaptive networks are a novel class of dynamical networks whose topologies and states coevolve. Many real-world complex systems can be modeled as adaptive networks, including social networks, transportation networks, neural networks and…
Mathematical models are increasingly being used to understand complex biochemical systems, to analyze experimental data and make predictions about unobserved quantities. However, we rarely know how robust our conclusions are with respect to…
A finite element model and its equivalent electronic analogue circuit of hydraulic transmission lines have been developed. Basic equations are approximated to be a set of ordinary differential equations that can be represented in state…
A transfer-matrix formalism is introduced to evaluate exactly the partition function of the Munoz-Eaton model, relating the folding kinetics of proteins of known structure to their thermodynamics and topology. This technique can be used for…
Humans have a remarkable ability to use physical commonsense and predict the effect of collisions. But do they understand the underlying factors? Can they predict if the underlying factors have changed? Interestingly, in most cases humans…
We study definable J-sets for definable groups and compare them with weakly generic sets. We show that the property that J-sets coincide with weakly generic sets is invariant on enough saturated models, and hence a model-theoretical…
We study unirational algebraic varieties and the fields of rational functions on them. We show that after adding a finite number of variables some of these fields admit an infinitely transitive model. The latter is an algebraic variety with…
A generalized version of the fidelity susceptibility of single-band and multi-orbital Hubbard models is systematically studied using single-site dynamical mean-field theory in combination with a hybridization expansion continuous-time…
We study multimodal logics over universally first-order definable classes of frames. We show that even for bimodal logics, there are universal Horn formulas that define set of frames such that the satisfiability problem is undecidable, even…
In this paper, we unify the study of classical and non-classical algebra-valued models of set theory, by studying variations of the interpretation functions for identity and set-membership. Although, these variations coincide with the…
The simplified models of interaction of charged matter with resonance modes of radiation generalizing the well-known Jaynes-Cummings and Dicke models are considered. It is found that these new models are integrable for arbitrary numbers of…
Critical embedded systems have to provide a high level of dependability. In automotive domain, for example, TDMA protocols are largely recommended because of their deterministic behavior. Nevertheless, under the transient environmental…
We study one-parameter expanding evolution families of simply connected domains in the complex plane described by infinite systems of evolution parameters. These evolution parameters in some cases admit Hamiltonian formulation and lead to…
This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types…
Computer simulations of amphiphilic systems are reviewed. Research areas cover a wide range of length and time scales, and a whole hierarchy of models and methods has been developed to address them all. They range from atomistically…
Concise review of the basic properties of unitary matrix integrals. They are studied with the help of the three matrix models: the ordinary unitary model, Brezin-Gross-Witten model and the Harish-Charndra-Itzykson-Zuber model. Especial…
This paper considers the egodicity properties in iterated function systems. First, we will introduce chain mixing and chain transitive iterated function systems then some results and examples are presented to compare with these notions in…