Related papers: Nonstandard Analysis - A Simplified Approach
We apply renormalization ideas to study low-energy interactions in two-body systems. As we will see this method highlights a model-independent description of a broad variety of systems ranging from ultra-could atoms to NN and Lambda-Lambda…
In the first edition of Classification Theory, the second author characterized the stable theories in terms of saturation of ultrapowers. Prior to this theorem, stability had already been defined in terms of counting types, and the unstable…
We introduce the notion of "functional extension" of a set X, by means of two natural algebraic properties of the operator * on unary functions. We study the connections with ultrapowers of structures with universe X, and we give a simple…
Quantitatively reliable atomic pair distribution functions (PDFs) have been obtained from nanomaterials in a straightforward way from a standard laboratory transmission electron microscope (TEM). The approach looks very promising for making…
As suggested by the title, the aim of this paper is to uncover the vast computational content of classical Nonstandard Analysis. To this end, we formulate a template $\mathfrak{CI}$ which converts a theorem of 'pure' Nonstandard Analysis,…
The hydrodynamic description of a superfluid is usually based on a two-fluid picture. In this thesis, basic properties of such a relativistic two-fluid system are derived from the underlying microscopic physics of a complex scalar quantum…
In this paper I propose a new model for representing the formation energies of multicomponent crystalline alloys as a function of atom types. In the cases when displacements of atoms from their equilibrium positions are not large, the…
Atomistic theory holds the promise for the ab initio development of superalloys based on the fundamental principles of quantum mechanics. The last years showed a rapid progress in the field. Results from atomistic modeling enter…
The quantization of classical theories that admit more than one Hamiltonian description is considered. This is done from a geometrical viewpoint, both at the quantization level (geometric quantization) and at the level of the dynamics of…
For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…
Decomposition of text into atomic propositions is a flexible framework allowing for the closer inspection of input and output text. We use atomic decomposition of hypotheses in two natural language reasoning tasks, traditional NLI and…
In this work, the calculation of complexity on atomic systems is considered. In order to unveil the increasing of this statistical magnitude with the atomic number due to the relativistic effects, recently reported in [A. Borgoo, F. De…
Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms…
The usual formulation of thermodynamics is based on the additivity of macroscopic systems. However, there are numerous examples of macroscopic systems that are not additive, due to the long-range character of the interaction among the…
The known fundamental symmetries and interactions are well described by the Standard Model. Features of this powerful theory, which are described but not deeper explained, are addressed in a variety of speculative models. Experimental tests…
This paper proposes an alternative to standard first-order logic that seeks greater naturalness, generality, and semantic self-containment. The system removes the first-order restriction, avoids type hierarchies, and dispenses with external…
A new graph-based order parameter is introduced for the characterization of atomistic structures. The order parameter is universal to any material/chemical system, and is transferable to all structural geometries. Three sets of data are…
Matrix congruence can be used to mimic linear maps between homogeneous quadratic polynomials in $n$ variables. We introduce a generalization, called standard-form congruence, which mimics affine maps between non-homogeneous quadratic…
We review methods of data analysis for biophysical data with a special emphasis on single molecule applications. Our review is intended for anyone, from student to established researcher. For someone just getting started, we focus on…
The notion of a homogeneous standard filtration of $\sigma$-algebras was introduced by the author in 1970. The main theorem asserted that a homogeneous filtration is standard, i.e., generated by a sequence of independent random variables,…