Skolem studied the germs at infinity of the smallest class of real valued functions on the positive real line containing the constant $1$, the identity function ${\mathbf {x}}$, and such that whenever f and g are in the set, $f+g,fg$ and $f^g$ are in the set. This set of germs is well ordered and Skolem conjectured that its order type is epsilon-zero. Van den Dries and Levitz computed the order type of the fragment below $2^{2^{\mathbf {x}}}$. Here we prove that (...) the set of asymptotic classes within any Archimedean class of Skolem functions has order type $\omega $. As a consequence we obtain, for each positive integer n, an upper bound for the fragment below $2^{n^{\mathbf {x}}}$. We deduce an epsilon-zero upper bound for the fragment below $2^{{\mathbf {x}}^{\mathbf {x}}}$, improving the previous epsilon-omega bound by Levitz. A novel feature of our approach is the use of Conway’s surreal number for asymptotic calculations. (shrink)

Skolem studied the germs at infinity of the smallest class of real valued functions on the positive real line containing the constant $1$, the identity function ${\mathbf {x}}$, and such that whenever f and g are in the set, $f+g,fg$ and $f^g$ are in the set. This set of germs is well ordered and Skolem conjectured that its order type is epsilon-zero. Van den Dries and Levitz computed the order type of the fragment below $2^{2^{\mathbf {x}}}$. Here we prove that (...) the set of asymptotic classes within any Archimedean class of Skolem functions has order type $\omega $. As a consequence we obtain, for each positive integer n, an upper bound for the fragment below $2^{n^{\mathbf {x}}}$. We deduce an epsilon-zero upper bound for the fragment below $2^{{\mathbf {x}}^{\mathbf {x}}}$, improving the previous epsilon-omega bound by Levitz. A novel feature of our approach is the use of Conway’s surreal number for asymptotic calculations. (shrink)

The small sample properties of estimators and tests are frequently too complex to be useful or are unknown. Much econometric theory is therefore developed for very large or asymptotic samples where it is assumed that the behaviour of estimators and tests will adequately represent their properties in small samples. Refined asymptotic methods adopt an intermediate position by providing improved approximations to small sample behaviour using asymptotic expansions. Dedicated to the memory of Michael Magdalinos, whose work is a (...) major contribution to this area, this book contains chapters directly concerned with refined asymptotic methods. In addition, there are chapters focusing on new asymptotic results; the exploration through simulation of the small sample behaviour of estimators and tests in panel data models; and improvements in methodology. With contributions from leading econometricians, this collection will be essential reading for researchers and graduate students concerned with the use of asymptotic methods in econometric analysis. (shrink)

We construct an algebra of generalized functions endowed with a canonical embedding of the space of Schwartz distributions.We offer a solution to the problem of multiplication of Schwartz distributions similar to but different from Colombeau’s solution.We show that the set of scalars of our algebra is an algebraically closed field unlike its counterpart in Colombeau theory, which is a ring with zero divisors. We prove a Hahn–Banach extension principle which does not hold in Colombeau theory. We establish a connection between (...) our theory with non-standard analysis and thus answer, although indirectly, a question raised by Colombeau. This article provides a bridge between Colombeau theory of generalized functions and non-standard analysis. (shrink)

One method to determine the asymptotics of particular solutions of a difference equation is by solving an associated asymptotic functional equation. Here we study the behaviour of the solutions in an asymptotic neighbourhood of such individual solutions. We identify several types of attraction and repulsion, which range from almost orthogonality to almost parallelness. Necessary and sufficient conditions for these types of behaviour are given.

The notion of emergence has received much renewed attention recently. Most of the authors I review (§ II), including most notably Robert Batterman (2002, 2003, 2004) share the common aim of providing accounts for emergence which offer fresh insights from highly articulated and nuanced views reflecting recent developments in applied physics. Moreover, the authors present such accounts to reveal what they consider as misrepresentative and oversimplified abstractions often depicted in standard philosophical accounts. With primary focus on Batterman, however, I show (...) (in § III), that despite (or perhaps because of) such novel and compelling insights; underlying thematic tensions and ambiguities persist nevertheless, due to subtle reifications made of particular (albeit central) mathematical methods employed in asymptotic analysis. I offer a potential candidate (in § IV), for regularization advanced by the theoretical physicist David Finkelstein (1996, 2002, 2004). The richly characterized multilinear algebraic theories employed by Finkelstein would, for instance, serve the two-fold purpose of clearing up much of the inevitably “epistemological emergence” accompanying divergent limiting cases treated in the standard approaches, while at the same time characterize in relatively greater detail the “ontological emergence” of particular quantum phenomena under study. Among other things, this suggests that the some of the structures suggested by Batterman as essentially involving the superseded theory are better understood as regular algebraic contraction (Finkelstein). Because of the regularization latent in such powerful multilinear algebraic methods, among other things this calls into question Batterman’s claims that explanation and reduction should be kept separate, in instances involving singular limits. (§ V). (shrink)

This essay touches on a number of topics in philosophy of quantum field theory from the point of view of the LSZ asymptotic approach to scattering theory. First, particle/field duality is seen to be a property of free field theory and not of interacting QFT. Second, it is demonstrated how LSZ side-steps the implications of Haag's theorem. Finally, a recent argument due to Redhead, Malament and Arageorgis against the concept of localized particle states is addressed. Briefly, the argument observes (...) that the Reeh-Schlieder theorem entails that correlations between spacelike separated vacuum expectation values of local field operators are always present, and this, according to the above authors, dictates against the notion of a localized particle state. I claim that this moral is excessive and that a coherent notion of localized particles is given by the LSZ approach. The underlying moral to be drawn from this analysis is that questions concerning the ontology of interacting QFT cannot be appropriately addressed if one restricts oneself to the free theory. (shrink)

Statistical procedures can be applied to episodes in the history of science in order to weight attributes to predict short-term survival of theories; an asymptotic method is used to show that short-term survival is a valid proxy for ultimate survival; and a theoretical argument is made that ultimate survival is a valid proxy for objective truth. While realists will appreciate this last step, instrumentalists do not need it to benefit from the actuarial procedures of cliometric metatheory. Introduction A plausible (...) proxy for Peircean consensus Assessing the validity of theory attributes as predictors of theory survival 3.1 Linear discriminant function 3.2 Factor analysis 3.3 Taxometric analysis Verisimilitude index Satisfying both instrumentalists and realists Recapitulation Implementation of cliometric metatheory * Correspondence about this article may be addressed to Leslie Yonce at pemeehle{at}umn.edu' + u + '@' + d + ''//--> This article had been completed by Paul Meehl at the time of his death on 14 February 2003. His wife, Leslie J. Yonce, is grateful to Keith Gunderson (University of Minnesota, Center for Philosophy of Science) and Niels G. Waller (Psychology Department, Vanderbilt University) for advice with some final editing details. (shrink)

In his 1676 text De Quadratura Arithmetica, Leibniz distinguished infinita terminata from infinita interminata. The text also deals with the notion, originating with Desargues, of the point of intersection at infinite distance for parallel lines. We examine contrasting interpretations of these notions in the context of Leibniz’s analysis of asymptotes for logarithmic curves and hyperbolas. We point out difficulties that arise due to conflating these notions of infinity. As noted by Rodríguez Hurtado et al., a significant difference exists between (...) the Cartesian model of magnitudes and Leibniz’s search for a qualitative model for studying perspective, including ideal points at infinity. We show how respecting the distinction between these notions enables a consistent interpretation thereof. (shrink)

In this paper, a 3D jerk chaotic system with hidden attractor was explored, and the dissipativity, equilibrium, and stability of this system were investigated. The attractor types, Lyapunov exponents, and Poincare section of the system under different parameters were analyzed. Additionally, a circuit was carried out, and a good similarity between the circuit experimental results and the theoretical analysis testifies the feasibility and practicality of the original system. Furthermore, a robust feedback controller was designed based on the finite-time stability (...) theory, which guarantees the synchronization of 3D jerk master-slave system in finite time and asymptotically converges to the origin. Finally, we also give verification for the discussion in this paper by numerical simulation. (shrink)

A two strain HIV/AIDS model with treatment which allows AIDS patients with sensitive HIV-strain to undergo amelioration is presented as a system of non-linear ordinary differential equations. The disease-free equilibrium is shown to be globally asymptotically stable when the associated epidemic threshold known as the basic reproduction number for the model is less than unity. The centre manifold theory is used to show that the sensitive HIV-strain only and resistant HIV-strain only endemic equilibria are locally asymptotically stable when the associated (...) reproduction numbers are greater than unity. Qualitative analysis of the model including positivity, boundedness and persistence of solutions are presented. The model is numerically analysed to assess the effects of treatment with amelioration on the dynamics of a two strain HIV/AIDS model. Numerical simulations of the model show that the two strains co-exist whenever the reproduction numbers exceed unity. Further, treatment with amelioration may result in an increase in the total number of infective individuals (asymptomatic) but results in a decrease in the number of AIDS patients. Further, analysis of the reproduction numbers show that antiretroviral resistance increases with increase in antiretroviral use. (shrink)

This paper is devoted to introduce a novel fourth-order hyperchaotic system. The hyperchaotic system is constructed by adding a linear feedback control level based on a modified Lorenz-like chaotic circuit with reduced number of amplifiers. The local dynamical entities, such as the basic dynamical behavior, the divergence, the eigenvalue, and the Lyapunov exponents of the new hyperchaotic system, are all investigated analytically and numerically. Then, an active control method is derived to achieve global chaotic synchronization of the novel hyperchaotic system (...) through making the synchronization error system asymptotically stable at the origin based on Lyapunov stability theory. Next, the proposed novel hyperchaotic system is applied to construct another new hyperchaotic system with circuit deformation and design a new hyperchaotic secure communication circuit. Furthermore, the implementation of two novel electronic circuits of the proposed hyperchaotic systems is presented, examined, and realized using physical components. A good qualitative agreement is shown between the simulations and the experimental results around 500 kHz and below 1 MHz. (shrink)

We demonstrate via several examples how the backward error viewpoint can be used in the analysis of solutions obtained by perturbation methods. We show that this viewpoint is quite general and offers several important advantages. Perhaps the most important is that backward error analysis can be used to demonstrate the validity of the solution, however obtained and by whichever method. This includes a nontrivial safeguard against slips, blunders, or bugs in the original computation. We also demonstrate its utility (...) in deciding when to truncate an asymptotic series, improving on the well-known rule of thumb indicating truncation just prior to the smallest term. We also give an example of elimination of spurious secular terms even when genuine secularity is present in the equation. We give short expositions of several well-known perturbation methods together with computer implementations. We also give a generic backward error based method that is equivalent to iteration for regular perturbation. (shrink)

A nonlinear differential equation model is proposed to study the dynamics of HIV/AIDS and its effects on workforce productivity. The disease-free equilibrium point of the model is shown to be locally asymptotically stable when the associated basic reproduction number $$\mathcal{{R}}_{0}$$ is less than unity. The model is also shown to exhibit multiple endemic states for some parameter values when $$\mathcal{{R}}_{0} 1$$. Global asymptotic stability of the disease-free equilibrium is guaranteed only when the fractions of the Susceptible subclass populations are (...) within some bounds. Optimal control analysis of the model revealed that the most cost effective strategy that should be adopted in the fight against HIV/AIDS spread within the workforce is one that seeks to prevent infections and the treatment of infected individuals. (shrink)

Different disciplines have analyzed binary choices to model collective behavior in human systems. Several situations in which social dilemma arise can be modeled as N-person prisoner’s dilemma games including homeland security, public goods, international political economy among others. The purpose of this study is to develop an analytical solution to the N-person prisoner’s dilemma game when boundedly rational agents interact in a population. Previous studies in the literature consider the case in which cooperators and defectors have the same learning factors. (...) We obtain an analytical equation to find equilibria in the N-person prisoner’s dilemma game in the general case when agents have different learning factors. We also introduce a more realistic approach where probability values are bounded between zero and one and therefore eliminates the possibility of infeasible probability values. Since no analytic solution can be derived in this case, agent based simulation is used to analyze the asymptotic behavior of the resulted dynamical system. (shrink)

We consider the following signaling game. Nature plays first from the set {1, 2}. Player 1 (the Sender) sees this and plays from the set {A, B}. Player 2 (the Receiver) sees only Player 1’s play and plays from the set {1, 2}. Both players win if Player 2’s play equals Nature’s play and lose otherwise. Players are told whether they have won or lost, and the game is repeated. An urn scheme for learning coordination in this game is as (...) follows. Each node of the desicion tree for Players 1 and 2 contains an urn with balls of two colors for the two possible decisions. Players make decisions by drawing from the appropriate urns. After a win, each ball that was drawn is reinforced by adding another of the same color to the urn. A number of equilibria are possible for this game other than the optimal ones. However, we show that the urn scheme achieves asymptotically optimal coordination. (shrink)

The dynamics of single populations up to ecosystems, are often described by one or a set of non-linear ordinary differential equations. In this paper we review the use of bifurcation theory to analyse these non-linear dynamical systems. Bifurcation analysis gives regimes in the parameter space with quantitatively different asymptotic dynamic behaviour of the system. In small-scale systems the underlying models for the populations and their interaction are simple Lotka-Volterra models or more elaborated models with more biological detail. The (...) latter ones are more difficult to analyse, especially when the number of populations is large. Therefore for large-scale systems the Lotka-Volterra equations are still popular despite the limited realism. Various approaches are discussed in which the different time-scale of ecological and evolutionary biological processes are considered together. (shrink)

The purpose of this paper is first to show that if X is any locally compact but not compact perfect Polish space and stands for the one-point compactification of X, while E X is the equivalence relation which is defined on the Polish group C(X,R +*) by where f, g are in C(X,R +*), then E X is induced by a turbulent Polish group action. Second we show that given any if we identify the n-dimensional unit sphere S n with (...) the one-point compactification of R n via the stereographic projection, while E n , r is the equivalence relation which is defined on the Polish group C r (R n ,R +*) by where f, g are in C r (R n ,R +*), then E n , r is also induced by a turbulent Polish group action. (shrink)

A double delayed hybrid stochastic prey-predator bioeconomic system with Lévy jumps is established and analyzed, where commercial harvesting on prey and environmental stochasticity on population dynamics are considered. Two discrete time delays are utilized to represent the maturation delay of prey and gestation delay of predator, respectively. For a deterministic system, positivity of solutions and uniform persistence of system are discussed. Some sufficient conditions associated with double time delays are derived to discuss asymptotic stability of interior equilibrium. For a (...) stochastic system, existence and uniqueness of a global positive solution are studied. By using the invariant measure theory and singular boundary theory of diffusion process, existence of stochastic Hopf bifurcation and stochastic stability are investigated. By constructing appropriate Lyapunov functions, asymptotic dynamic behavior of the proposed hybrid stochastic system with double time delays and Lévy jumps is discussed. Numerical simulations are provided to show consistency with theoretical analysis. (shrink)

Motivated by the known mathematical and physical problems arising from the current mathematical formalization of the physical spatio-temporal continuum, as a substantial technical clarification of our earlier attempt (Etesi in Found Sci 25:327–340, 2020), the aim in this paper is twofold. Firstly, by interpreting Chaitin’s variant of Gödel’s first incompleteness theorem as an inherent uncertainty or fuzziness present in the set of real numbers, a set-theoretic entropy is assigned to it using the Kullback–Leibler relative entropy of a pair of Riemannian (...) manifolds. Then exploiting the non-negativity of this relative entropy an abstract Hawking-like area theorem is derived. Secondly, by analyzing Noether’s theorem on symmetries and conserved quantities, we argue that whenever the four dimensional space-time continuum containing a single, stationary, asymptotically flat black hole is modeled by the set of real numbers in the mathematical formulation of general relativity, the hidden set-theoretic entropy of this latter structure reveals itself as the entropy of the black hole (proportional to the area of its “instantaneous” event horizon), indicating that this apparently physical quantity might have a pure set-theoretic origin, too. (shrink)

A result from a standard linear model course is that the variance of the ordinary least squares (OLS) coefficient of a variable will never decrease when including additional covariates into the regression. The variance inflation factor (VIF) measures the increase of the variance. Another result from a standard linear model or experimental design course is that including additional covariates in a linear model of the outcome on the treatment indicator will never increase the variance of the OLS coefficient of the (...) treatment at least asymptotically. This technique is called the analysis of covariance (ANCOVA), which is often used to improve the efficiency of treatment effect estimation. So we have two paradoxical results: adding covariates never decreases the variance in the first result but never increases the variance in the second result. In fact, these two results are derived under different assumptions. More precisely, the VIF result conditions on the treatment indicators but the ANCOVA result averages over them. Comparing the estimators with and without adjusting for additional covariates in a completely randomized experiment, I show that the former has smaller variance averaging over the treatment indicators, and the latter has smaller variance at the cost of a larger bias conditioning on the treatment indicators. Therefore, there is no real paradox. (shrink)

In this work, a co-infection model for human papillomavirus and Chlamydia trachomatis with cost-effectiveness optimal control analysis is developed and analyzed. The disease-free equilibrium of the co-infection model is shown not to be globally asymptotically stable, when the associated reproduction number is less unity. It is proven that the model undergoes the phenomenon of backward bifurcation when the associated reproduction number is less than unity. It is also shown that HPV re-infection induced the phenomenon of backward bifurcation. Numerical simulations (...) of the optimal control model showed that: focusing on HPV intervention strategy alone, in the absence of C. trachomatis control, leads to a positive population level impact on the total number of individuals singly infected with C. trachomatis, Concentrating on C. trachomatis intervention controls alone, in the absence of HPV intervention strategies, a positive population level impact is observed on the total number of individuals singly infected with HPV. Moreover, the strategy that combines and implements HPV and C. trachomatis prevention controls is the most cost-effective of all the control strategies in combating the co-infections of HPV and C. trachomatis. (shrink)

We classify the phase transition thresholds from provability to unprovability for certain Friedman-style miniaturizations of Kruskal's Theorem and Higman's Lemma. In addition we prove a new and unexpected phase transition result for ε0. Motivated by renormalization and universality issues from statistical physics we finally state a universality hypothesis.

Chaos-related obstructions to predictability have been used to challenge accounts of theory validation based on the agreement between theoretical predictions and experimental data. These challenges are incomplete in two respects: they do not show that chaotic regimes are unpredictable in principle and, as a result, that there is something conceptually wrong with idealized expectations of correct predictions from acceptable theories, and they do not explore whether chaos-induced predictive failures of deterministic models can be remedied by stochastic modeling. In this paper (...) we appeal to an asymptotic analysis of state space trajectories and their numerical approximations to show that chaotic regimes are deterministically unpredictable even with unbounded resources. Additionally, we explain why stochastic models of chaotic systems, while predictively successful in some cases, are in general predictively as limited as deterministic ones. We conclude by suggesting that the way in which scientists deal with such principled obstructions to predictability calls for a more comprehensive approach to theory validation, on which experimental testing is augmented by a multifaceted mathematical analysis of theoretical models, capable of identifying chaos-related predictive failures as due to principled limitations which the world itself imposes on any less-than-omniscient epistemic access to some natural systems. (shrink)

All reasoners described in the most widespread models of a rational reasoner exhibit logical omniscience, which is impossible for finite reasoners (real reasoners). The most common strategy for dealing with the problem of logical omniscience is to interpret the models using a notion of beliefs different from explicit beliefs. For example, the models could be interpreted as describing the beliefs that the reasoner would hold if the reasoner were able reason indefinitely (stable beliefs). Then the models would describe maximum rationality, (...) which a finite reasoner can only approach in the limit of a reasoning sequence. This strategy has important consequences for epistemology. If a finite reasoner can only approach maximum rationality in the limit of a reasoning sequence, then the efficiency of reasoning is epistemically (and not only pragmatically) relevant. In this paper, I present an argument to this conclusion and discuss its consequences, as, for example, the vindication of the principle 'no rationality through brute-force'. (shrink)

For α less than ε0 let $N\alpha$ be the number of occurrences of ω in the Cantor normal form of α. Further let $\mid n \mid$ denote the binary length of a natural number n, let $\mid n\mid_h$ denote the h-times iterated binary length of n and let inv(n) be the least h such that $\mid n\mid_h \leq 2$ . We show that for any natural number h first order Peano arithmetic, PA, does not prove the following sentence: For all (...) K there exists an M which bounds the lengths n of all strictly descending sequences $\langle \alpha_0, ..., \alpha_n\rangle$ of ordinals less than ε0 which satisfy the condition that the Norm $N\alpha_i$ of the i-th term αi is bounded by $K + \mid i \mid \cdot \mid i\mid_h$ . As a supplement to this (refined Friedman style) independence result we further show that e.g., primitive recursive arithmetic, PRA, proves that for all K there is an M which bounds the length n of any strictly descending sequence $\langle \alpha_0,..., \alpha_n\rangle$ of ordinals less than ε0 which satisfies the condition that the Norm $N\alpha_i$ of the i-th term αi is bounded by $K + \mid i \mid\cdot inv(i)$ . The proofs are based on results from proof theory and techniques from asymptotic analysis of Polya-style enumerations. Using results from Otter and from Matou $\breve$ ek and Loebl we obtain similar characterizations for finite bad sequences of finite trees in terms of Otter's tree constant 2.9557652856... (shrink)

Idealized scientific representations result from employing claims that we take to be false. It is not surprising, then, that idealizations are a prime example of allegedly inconsistent scientific representations. I argue that the claim that an idealization requires inconsistent beliefs is often incorrect and that it turns out that a more mathematical perspective allows us to understand how the idealization can be interpreted consistently. The main example discussed is the claim that models of ocean waves typically involve the false assumption (...) that the ocean is infinitely deep. While it is true that the variable associated with depth is often taken to infinity in the representation of ocean waves, I explain how this mathematical transformation of the original equations does not require the belief that the ocean being modeled is infinitely deep. More generally, as a mathematical representation is manipulated, some of its components are decoupled from their original physical interpretation. (shrink)

A meta-analysis and an experiment show that the degree of compression of the in-depth dimension of visual space relative to the frontal dimension increases quickly as a function of the distance between the stimulus and the observer at first, but the rate of change slows beyond 7 m from the observer, reaching an apparent asymptote of about 50 %. In addition, the compression of visual space is greater for monocular and reduced cue conditions. The pattern of compression of the (...) in-depth dimension as a function of distance is similar to the ratio of in-depth to frontal visual angles of stimuli, but is not as extreme as this ratio would suggest, implying that observers are incapable of fully ignoring size information provided by cues to depth. Size and distance judgments may be described by an Affine transformation of physical space; however, the compression parameter in this model changes as a function of distance from the observer and other experimental conditions. (shrink)

A detailed analysis is made of Grunbaum's claim that the Abraham-Lorentz (AL) and Dirac-Lorentz (DL) equations have no bearing on causality. It is pointed out that (a) both equations are derived from F = ma, and thus should obey the same causality conditions as Newton's law, (b) independently of what boundary conditions are imposed, non-causal behavior is always along the same straight line as the force, (c) the distinction in status between laws and boundary conditions which Grunbaum imposes is (...) one which is not always useful, especially since what is a law in one formulation of the theory can become a boundary condition in another, and thus it is argued that a complete theory must be such that laws and boundary conditions form a coherent whole, (d) the asymptotic boundary conditions that are applied are in agreement with experiment, (e) the AL equation is such that if the "effect," the acceleration as function of time, is known, then the "cause," the force, can be determined. In addition, it is noted that in the DL equation the acceleration at times later than t influences the acceleration at t. Finally, it is pointed out that electrodynamics is indeed a causal field theory, and that retrocausality is due to the transition from a field description to a particle description. (shrink)

Gordon Belot argues that Bayesian theory is epistemologically immodest. In response, we show that the topological conditions that underpin his criticisms of asymptotic Bayesian conditioning are self-defeating. They require extreme a priori credences regarding, for example, the limiting behavior of observed relative frequencies. We offer a different explication of Bayesian modesty using a goal of consensus: rival scientific opinions should be responsive to new facts as a way to resolve their disputes. Also we address Adam Elga’s rebuttal to Belot’s (...) analysis, which focuses attention on the role that the assumption of countable additivity plays in Belot’s criticisms. (shrink)

The prime number theorem, established by Hadamard and de la Vallée Poussin independently in 1896, asserts that the density of primes in the positive integers is asymptotic to 1/ln x. Whereas their proofs made serious use of the methods of complex analysis, elementary proofs were provided by Selberg and Erdos in 1948. We describe a formally verified version of Selberg's proof, obtained using the Isabelle proof assistant.

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. Attention to the gauge generator G of Rosenfeld, Anderson, Bergmann, Castellani et al., a specially _tuned sum_ of first-class constraints, facilitates seeing that a solitary first-class constraint in fact generates not a gauge transformation, but a bad physical change in electromagnetism or (...) General Relativity. The change spoils the Lagrangian constraints, Gauss's law or the Gauss-Codazzi relations describing embedding of space into space-time, in terms of the physically relevant velocities rather than auxiliary canonical momenta. But the resemblance between the gauge generator G and the Hamiltonian H leaves still unclear where objective change is in GR. Insistence on Hamiltonian-Lagrangian equivalence, a theme emphasized by Castellani, Sugano, Pons, Salisbury, Shepley and Sundermeyer among others, holds the key. Taking objective change to be ineliminable time dependence, one recalls that there is change in vacuum GR just in case there is no time-like vector field xi^a satisfying Killing's equation L_xi g_mn=0, because then there exists no coordinate system such that everything is independent of time. Throwing away the spatial dependence of GR for convenience, one finds explicitly that the time evolution from Hamilton's equations is real change just when there is no time-like Killing vector. The inclusion of a massive scalar field is simple. No obstruction is expected in including spatial dependence and coupling more general matter fields. Hence change is real and local even in the Hamiltonian formalism. The considerations here resolve the Earman-Maudlin standoff over change in Hamiltonian General Relativity: the Hamiltonian formalism is helpful, and, suitably reformed, it does not have absurd consequences for change and observables. Hence the classical problem of time is resolved. The Lagrangian-equivalent Hamiltonian analysis of change in General Relativity is compared to Belot and Earman's treatment. The more serious quantum problem of time, however, is not automatically resolved due to issues of quantum constraint imposition. (shrink)

The emerging crealectic frame posits that there are three complementary and effectual domains of intelligence, namely analytic, dialectic, and crealectic, being alternatively or complementarily used in human interactions with the world. The focus of crealectic intelligence is the relative possibilization and local realization of absolute possibility, the becoming real, biological, and social of creation. This multimodal externalization and asymptotic unification of a cosmological flux expresses itself via three realms of possibilization: physical, psychological, and philosophical. But the philosophical possible is (...) not merely abstract; it originates a generative process of exteriorizations, interiorizations, dissolutions, and unifications transforming the possible into realities. The term “crealectics,” coined by philosopher and author Luis de Miranda, is a compound of “Creal” and of two possible suffixes: “logos” or “ektos”. The ontological core of crealectics, the Creal, is the immanent process of creation understood as a ubiquitous stream of absolute possibility exteriorizing itself. For a crealectician, philosophy is not the mere logical analysis of truth conditions, but the self-questioning enterprise of thought regarding its own possibilizing and world-making power. (shrink)

An actual infinity of colliding balls can be in a configuration in which the laws of mechanics lead to logical inconsistency. It is argued that one should therefore limit the domain of these laws to a finite, or only a potentially infinite number of elements. With this restriction indeterminism, energy nonconservation and creatio ex nihilo no longer occur. A numerical analysis of finite systems of colliding balls is given, and the asymptotic behaviour that corresponds to the potentially infinite (...) system is inferred. (shrink)

Continuity as appears to us immediately by intuition differs from its current formalization, the arithmetical continuum or equivalently the set of real numbers used in modern mathematical analysis. Motivated by the known mathematical and physical problems arising from this formalization of the continuum, our aim in this paper is twofold. Firstly, by interpreting Chaitin’s variant of Gödel’s first incompleteness theorem as an inherent uncertainty or fuzziness of the arithmetical continuum, a formal set-theoretic entropy is assigned to the arithmetical continuum. (...) Secondly, by analyzing Noether’s theorem on symmetries and conserved quantities, we argue that whenever the four dimensional space-time continuum containing a single, stationary, asymptotically flat black hole is modeled by the arithmetical continuum in the mathematical formulation of general relativity, the hidden set-theoretic entropy of this latter structure reveals itself as the entropy of the black hole, indicating that this apparently physical quantity might have a pure set-theoretic origin, too. (shrink)

This target article presents a critical survey of the scientific literature dealing with the speed/accuracy trade-offs in rapid-aimed movements. It highlights the numerous mathematical and theoretical interpretations that have been proposed in recent decades. Although the variety of points of view reflects the richness of the field and the high degree of interest that such basic phenomena attract in the understanding of human movements, it calls into question the ability of many models to explain the basic observations consistently reported in (...) the field. This target article summarizes the kinematic theory of rapid human movements, proposed recently by R. Plamondon (1993b; 1993c; 1995a; 1995b), and analyzes its predictions in the context of speed/accuracy trade-offs. Data from human movement literature are reanalyzed and reinterpreted in the context of the new theory. It is shown that the various aspects of speed/accuracy trade-offs can be taken into account by considering the asymptotic behavior of a large number of coupled linear systems, from which a delta-lognormal law can be derived to describe the velocity profile of an end-effector driven by a neuromuscular synergy. This law not only describes velocity profiles almost perfectly, it also predicts the kinematic properties of simple rapid movements and provides a consistent framework for the analysis of different types of speed/accuracy trade-offs using a quadratic (or power) law that emerges from the model. (shrink)

There are two basic approaches to the problem of induction:the empirical one, which deems that the possibility of induction depends on how theworld was made (and how it works) and the logical one, which considers the formation(and function) of language. The first is closer to being useful for induction, whilethe second is more rigorous and clearer. The purpose of this paper is to create an empiricalapproach to induction that contains the same formal exactitude as the logical approach.This requires: (a) that (...) the empirical conditions for the induction are enunciatedand (b) that the most important results already obtained from inductive logic are againdemonstrated to be valid. Here we will be dealing only with induction by elimination,namely the analysis of the experimental confutation of a theory. The result will bea rule of refutation that takes into consideration all of the empirical aspect of theexperiment and has each of the asymptotic properties which inductive logic has shown tobe characteristic of induction. (shrink)

Relational reasoning is a higher-order executive function that involves the ability to perceive meaningful patterns within a body of seemingly unrelated information. In this study, the ability of 749 fourth (Mage= 10), sixth (Mage= 12), eighth (Mage= 14), and tenth graders (Mage= 16) to identify meaningful relational patterns was investigated. This general cognitive ability was assessed by means of the Test of Relational Reasoning-Junior (TORRjr), a 32-item measure organized into four 8-item scales that assess analogical, anomalous, antinomous, and antithetical reasoning. (...) Students’ performance on the TORRjr was analyzed using confirmatory factor analysis, measurement invariance test, and non-parametric median-based analyses. The confirmatory factor analysis supported that the higher-order factor model was the best fit for the TORRjr data for the Korean students. The measurement was determined to be invariant by gender but variant across grade levels. The non-parametric analysis resulted in an asymptotic (a constant increasing up to grade 6 and then a level off witnessed from grades 8 to 10) development pattern in overall relational reasoning across the grades. In comparison to analogy and anomaly, antinomy and antithesis scores were more fully developed by grade 8 and that level of performance was maintained at grade 10. The TORRjr appeared to be a viable measure for the Korean samples up to approximately 15 years of age. The significance of these findings for research and instructional practice are discussed. (shrink)

Roman Ingarden used to say that he is not sure whether he was a phenomenologist. This does not seem to be just coquetry. Transcendental phenomenology in its official Husserlian version did not achieve adequacy of describing our primary experience in its fullness because it began as a sort of science, in the attitude of an 'uninvolved observer'. Yet phenomenology postulated a separate methodology, different from that of science, a methodology understood as building up a new conceptual apparatus based on a (...) full analysis of primary experience – and the phenomenologists did achieve a great progress in this direction – the direction of transcending the limits of some sort of analytic philosophy of 'pure consciousness' based on traditional concepts which phenomenology could seem to be at the beginning. Husserl oscillated between the 'dogmatic' and 'critical' motive discerned in his thought by Ernst Tugendhat: between accepting consciousness as a sphere of absolute insights and seeing such insights as an asymptotic limit of investigation. A similar duality exists also in Ingarden's thought. This duality could have been a motive of Ingarden's doubts. (shrink)

As in previous stochastic interpretations of quantum mechanics, the electron is treated as a modified Brownian particle. Here, however, the analysis is based on extensions of the short-time Ornstein-Uhlenbeck description of classical Brownian motion, rather than the approximate, long-time Einstein-Smoluchowski treatment utilized in the earlier work. It is shown that Schrödinger's equation with its proper probabilistic interpretation emerges as an asymptotic description of such a system. After reviewing relevant aspects of Brownian motion, the appropriate equation for the displacement (...) distribution in the Ornstein-Uhlenbeck framework is derived. The Brownian system is then coupled to external potentials via a modified Lagrangian formulation, resulting in coupled equations which, except for transient terms, are shown to be equivalent to Schrödinger's equation. These transients imply that the short-time stochastic model, while reproducing the early successes of quantum mechanics, is, in principal, experimentally distinguishable from it. (shrink)

Van den Berg, I.P., Extended use of IST, Annals of Pure and Applied Logic 58 73–92. Internal Set Theory is an axiomatic approach to nonstandard analysis, consisting of three axiom schemes, Transfer , Idealization , and Standardization . We show that the range of application of these axiom schemes may be enlarged with respect to the original formulation. Not only more kinds of formulas are allowed, but also different settings. Many examples illustrate these extensions. Most concern formal aspects of (...) nonstandard asymptotics. (shrink)

The extended reduced Kies distribution, which is an asymmetric flexible extension of the reduced Kies distribution, is the subject of this research. Some of its most basic mathematical properties are deduced from its formal definitions. We computed the ExRKD parameters using eight well-known methods. A full simulation analysis was done that allows the study of these estimators’ asymptotic behavior. The efficiency and applicability of the ExRKD are investigated via the modeling of COVID-19 and milk data sets, which demonstrates (...) that the ExRKD delivers a better match to the data sets when compared to competing models. (shrink)

The purpose of this paper is modelling and controlling the spread of COVID-19 disease in Morocco. A nonlinear mathematical model with two subclasses of infectious individuals is proposed. The population is divided into five classes, namely, susceptible, exposed, undiagnosed infectious, diagnosed patients, and removed individuals. To reflect the real dynamic of the COVID-19 transmission in Morocco, the real reported data are used for estimating model parameters. Two controls representing screening effort and limited treatment are considered. Based on viability theory and (...) set-valued analysis, a Lyapunov function is constructed such that both exposed and infected populations are decreased to zero asymptotically. The corresponding controls are derived via a continuous selection of adequately designed feedback map. Numerical simulations are presented with three scenarios. Our results show that when only one control is to be applied, screening is the most effective in decreasing the number of people in the three infected compartments, whereas combining both controls is found to be highly effective and leads to a significant improvement in the epidemiological situation of Morocco. To the best of our knowledge, this work is the first one that applies the set-valued approach to a controlled COVID-19 model which agrees with the observed cases in Morocco. (shrink)

We consider low-dimensional groups and group-actions that are definable in a supersimple theory of finite rank. We show that any rank 1 unimodular group is -by-finite, and that any 2-dimensional asymptotic group is soluble-by-finite. We obtain a field-interpretation theorem for certain measurable groups, and give an analysis of minimal normal subgroups and socles in groups definable in a supersimple theory of finite rank where infinity is definable. We prove a primitivity theorem for measurable group actions.

A new multi-stage deterministic model for the transmission dynamics of syphilis, which incorporates disease transmission by individuals in the early latent stage of syphilis infection and the reversions of early latent syphilis to the primary and secondary stages, is formulated and rigorously analysed. The model is used to assess the population-level impact of preventive and therapeutic measures against the spread of the disease in a community. It is shown that the disease-free equilibrium of the model is globally-asymptotically stable whenever the (...) associated control reproduction number is less than unity. A special case of the model is shown to have a unique and globally-asymptotically stable endemic equilibrium whenever the associated reproduction number exceeds unity. Uncertainty and sensitivity analysis of the model, using parameter values and ranges relevant to syphilis transmission dynamics in Nigeria, show that the top three parameters that drive the syphilis infection are the disease transmission rate, compliance in condom use and efficacy of condom. Numerical simulations of the model show that the targeted treatment of secondary syphilis cases is more effective than the targeted treatment of individuals in the primary or early latent stage of syphilis infection. (shrink)

Scientific explanation is an important goal of scientific practise. Philosophers have proposed a striking diversity of seemingly incompatible accounts of explanation, from deductive-nomological to statistical relevance, unification, pragmatic, causal-mechanical, mechanistic, causal intervention, asymptotic, and model-based accounts. In this dissertation I apply two novel methods to reexamine our evidence about scientific explanation in practise and thereby address the fragmentation of philosophical accounts. I start by collecting a data set of 781 articles from one year of the journal Science. Using automated (...) text mining techniques I measure the frequency and distribution of several groups of philosophically interesting words, such as "explain", "cause", "evidence", "theory", "law", "mechanism", and "model". I show that "explain" words are much more common in scientific writing than in other genres, occurring in roughly half of all articles, and that their use is very often qualified or negated. These results about the use of words complement traditional conceptual analysis. Next I use random samples from the data set to develop a large number of small case studies across a wide range of scientific disciplines. I use a sample of "explain" sentences to develop and defend a new general philosophical account of scientific explanation, and then test my account against a larger set of randomly sampled sentences and abstracts. Five coarse categories can classify the explanans and explananda of my cases: data, entities, kinds, models, and theories. The pair of the categories of the explanans and explanandum indicates the "form" of an explanation. The explain-relation supports counterfactual reasoning about the dependence of qualities of the explanandum on qualities of the explanans. But for each form there is a different "core relation" between explanans and explanandum that supports the explain-relation. Causation, modelling, and argument are the core relations for different forms of scientific explanation between different categories of explanans and explananda. This flexibility allows me to resolve some of the fragmentation in the philosophical literature. I provide empirical evidence to show that my general philosophical account successfully describes a wide range of scientific practise across a large number of scientific disciplines. (shrink)

Standard adaptive control is the preferred approach for stabilization and synchronization of chaotic systems when the structure of such systems is a priori known but the parameters are unknown. However, in the presence of unmodeled dynamics and/or disturbance, this approach is not effective anymore due to the drift of the parameter estimations, which eventually causes the instability of the closed-loop system. In this paper, a robustifying term, which consists of a saturation function, is used to avoid this problem. The robustifying (...) term is added to the adaptive control law. Consequently, the learning law is also modified. The boundedness of the states and the parameter estimations is rigorously and thoroughly proven by means of Lyapunov like analysis based on Barbalat’s lemma. On these new conditions, the convergence to zero cannot be achieved due to the presence of unmodeled dynamics and/or disturbance. However, it is still possible to guarantee the asymptotic convergence to a bounded zone around zero. The width of this zone can be adjusted by the designer. The performance of this robust approach is verified by numerical simulations. Although, for simplicity, this strategy is only applied to the stabilization and synchronization of Zhang system, the procedure can easily be generalized to a broad class of chaotic systems. (shrink)