Background: Clinical tests for detecting central and peripheral shoulder fatigue are limited. The discrimination of these two types of fatigue is necessary to better adapt recovery intervention. The Kinematic Theory of Rapid Human Movements describes the neuromotor impulse response using lognormal functions and has many applications in pathology detection. The ideal motor control is modeled and a change in the neuromuscular system is reflected in parameters extracted according to this theory. Objective: The objective of this study was to assess (...) whether a shoulder neuromuscular fatigue could be detected through parameters describing the theory, if there is the possibility to discriminate central from peripheral fatigue, and which handwriting test gives the most relevant information on fatigue. Methods: Twenty healthy participants performed two sessions of fast stroke handwriting on a tablet, before and after a shoulder fatigue. The fatigue was in internal rotation for one session and in external rotation during the other session. The drawings consisted of simple strokes, triangles, horizontal and vertical oscillations. Parameters of these strokes were extracted according to the Sigma-Lognormal model of the Kinematic Theory. The evolution of each participant was analyzed through a U-Mann-Whitney test for individual comparisons. A Hotelling’s T² test and a U-Mann-Whitney test were also performed on all participants to assess the group evolution after fatigue. Moreover, a correlation among parameters was calculated through Spearman coefficients to assess intrinsic parameters properties of each handwriting test. Results: Central and peripheral parameters were statistically different before and after fatigue with a possibility to discriminate them. Participants had various responses to fatigue. However, when considering the group, parameters related to the motor program execution showed significant increase in the handwriting tests after shoulder fatigue. The test of simple strokes permits to know more specifically where the fatigue comes from, whereas the oscillations tests were the most sensitive to fatigue. Conclusion: The results of this study suggest that the Sigma-Lognormal model of the Kinematic Theory is an innovative approach for fatigue detection with discrimination between the central and peripheral systems. Overall, there is a possibility to implement the setting for clinics and sports personalized follow-up. (shrink)

Plamondon & Alimi's model will gain substantially in credibility when it is able to come up with predictions for new (rather than old) experimental results that discriminate between various models. Moreover, the present model is nothing more than a descriptive not an explanation for motor performance. A link to the contribution of various neuronal mechanisms involved in motor control and of muscle properties to the performance of the model is crucial.

In this article we find some sufficient and some necessary ${\Sigma^1_1}$ -conditions with oracles for a model to be resplendent or chronically resplendent. The main tool of our proofs is internal arguments, that is analogues of classical theorems and model-theoretic constructions conducted inside a model of first-order Peano Arithmetic: arithmetised back-and-forth constructions and versions of the arithmetised completeness theorem, namely constructions of recursively saturated and resplendent models from the point of view of a model of (...) arithmetic. These internal arguments are used in conjunction with Pabion’s theorem that ensures that certain oracles are coded in a sufficiently saturated model of arithmetic. Examples of applications are provided for the theories of dense linear orders and of discrete linear orders. These results are then generalised to other ω-categorical theories and theories with a unique countable recursively saturated model. (shrink)

In this article we find some sufficient and some necessary \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma^1_1}$$\end{document} -conditions with oracles for a model to be resplendent or chronically resplendent. The main tool of our proofs is internal arguments, that is analogues of classical theorems and model-theoretic constructions conducted inside a model of first-order Peano Arithmetic: arithmetised back-and-forth constructions and versions of the arithmetised completeness theorem, namely constructions of recursively saturated and resplendent models from (...) the point of view of a model of arithmetic. These internal arguments are used in conjunction with Pabion’s theorem that ensures that certain oracles are coded in a sufficiently saturated model of arithmetic. Examples of applications are provided for the theories of dense linear orders and of discrete linear orders. These results are then generalised to other ω-categorical theories and theories with a unique countable recursively saturated model. (shrink)

In this article we find some sufficient and some necessary \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma^1_1}$$\end{document} -conditions with oracles for a model to be resplendent or chronically resplendent. The main tool of our proofs is internal arguments, that is analogues of classical theorems and model-theoretic constructions conducted inside a model of first-order Peano Arithmetic: arithmetised back-and-forth constructions and versions of the arithmetised completeness theorem, namely constructions of recursively saturated and resplendent models from (...) the point of view of a model of arithmetic. These internal arguments are used in conjunction with Pabion’s theorem that ensures that certain oracles are coded in a sufficiently saturated model of arithmetic. Examples of applications are provided for the theories of dense linear orders and of discrete linear orders. These results are then generalised to other ω-categorical theories and theories with a unique countable recursively saturated model. (shrink)

§0. Preface. There has been an expectation that the endgame of the more tenacious problems raised by the Los Angeles ‘cabal’ school of descriptive set theory in the 1970's should ultimately be played out with the use of inner model theory. Questions phrased in the language of descriptive set theory, where both the conclusions and the assumptions are couched in terms that only mention simply definable sets of reals, and which have proved resistant to purely descriptive set theoretic arguments, (...) may at last find their solution through the connection between determinacy and large cardinals.Perhaps the most striking example was given by [24], where the core model theory was used to analyze the structure of HOD and then show that all regular cardinals below ΘL are measurable. John Steel's analysis also settled a number of structural questions regarding HODL, such as GCH.Another illustration is provided by [21]. There an application of large cardinals and inner model theory is used to generalize the Harrington-Martin theorem that determinacy implies )determinacy.However, it is harder to find examples of theorems regarding the structure of the projective sets whose only known proof from determinacy assumptions uses the link between determinacy and large cardinals. We may equivalently ask whether there are second order statements of number theory that cannot be proved under PD–the axiom of projective determinacy–without appealing to the large cardinal consequences of the PD, such as the existence of certain kinds of inner models that contain given types of large cardinals. (shrink)

In Part I of this series [A. Poveda, A. Rinot and D. Sinapova, Sigma-Prikry forcing I: The axioms, Canad. J. Math. 73(5) (2021) 1205–1238], we introduced a class of notions of forcing which we call [Formula: see text]-Prikry, and showed that many of the known Prikry-type notions of forcing that center around singular cardinals of countable cofinality are [Formula: see text]-Prikry. We showed that given a [Formula: see text]-Prikry poset [Formula: see text] and a [Formula: see text]-name for a (...) non-reflecting stationary set [Formula: see text], there exists a corresponding [Formula: see text]-Prikry poset that projects to [Formula: see text] and kills the stationarity of [Formula: see text]. In this paper, we develop a general scheme for iterating [Formula: see text]-Prikry posets and, as an application, we blow up the power of a countable limit of Laver-indestructible supercompact cardinals, and then iteratively kill all non-reflecting stationary subsets of its successor. This yields a model in which the singular cardinal hypothesis fails and simultaneous reflection of finite families of stationary sets holds. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 03, December 2022. In Part I of this series [A. Poveda, A. Rinot and D. Sinapova, Sigma-Prikry forcing I: The axioms, Canad. J. Math. 73(5) (2021) 1205–1238], we introduced a class of notions of forcing which we call [math]-Prikry, and showed that many of the known Prikry-type notions of forcing that center around singular cardinals of countable cofinality are [math]-Prikry. We showed that given a [math]-Prikry poset [math] and a [math]-name for a (...) non-reflecting stationary set [math], there exists a corresponding [math]-Prikry poset that projects to [math] and kills the stationarity of [math]. In this paper, we develop a general scheme for iterating [math]-Prikry posets and, as an application, we blow up the power of a countable limit of Laver-indestructible supercompact cardinals, and then iteratively kill all non-reflecting stationary subsets of its successor. This yields a model in which the singular cardinal hypothesis fails and simultaneous reflection of finite families of stationary sets holds. (shrink)

§0. Preface. There has been an expectation that the endgame of the more tenacious problems raised by the Los Angeles ‘cabal’ school of descriptive set theory in the 1970's should ultimately be played out with the use of inner model theory. Questions phrased in the language of descriptive set theory, where both the conclusions and the assumptions are couched in terms that only mention simply definable sets of reals, and which have proved resistant to purely descriptive set theoretic arguments, (...) may at last find their solution through the connection between determinacy and large cardinals.Perhaps the most striking example was given by [24], where the core model theory was used to analyze the structure of HOD and then show that all regular cardinals below ΘL are measurable. John Steel's analysis also settled a number of structural questions regarding HODL, such as GCH.Another illustration is provided by [21]. There an application of large cardinals and inner model theory is used to generalize the Harrington-Martin theorem that determinacy implies )determinacy.However, it is harder to find examples of theorems regarding the structure of the projective sets whose only known proof from determinacy assumptions uses the link between determinacy and large cardinals. We may equivalently ask whether there are second order statements of number theory that cannot be proved under PD–the axiom of projective determinacy–without appealing to the large cardinal consequences of the PD, such as the existence of certain kinds of inner models that contain given types of large cardinals. (shrink)

The σ profile is presented as a tool to analyze the organization of systems at different scales, and how this organization changes in time. Describing structures at different scales as goal‐oriented agents, one can define σ ∈ [0,1] (satisfaction) as the degree to which the goals of each agent at each scale have been met. σ reflects the organization degree at that scale. The σ profile of a system shows the satisfaction at different scales, with the possibility to study their (...) dependencies and evolution. It can also be used to extend game theoretic models. The description of a general tendency on the evolution of complexity and cooperation naturally follows from the σ profile. Experiments on a virtual ecosystem are used as illustration. (shrink)

The current paper studies the formal properties of the Global Reflection Principle, to wit the assertion “All theorems of$\mathrm {Th}$are true,” where$\mathrm {Th}$is a theory in the language of arithmetic and the truth predicate satisfies the usual Tarskian inductive conditions for formulae in the language of arithmetic. We fix the gap in Kotlarski’s proof from [15], showing that the Global Reflection Principle for Peano Arithmetic is provable in the theory of compositional truth with bounded induction only ($\mathrm {CT}_0$). Furthermore, we (...) extend the above result showing that$\Sigma _1$-uniform reflection over a theory of uniform Tarski biconditionals ($\mathrm {UTB}^-$) is provable in$\mathrm {CT}_0$, thus answering the question of Beklemishev and Pakhomov [2]. Finally, we introduce the notion of a prolongable satisfaction class and use it to study the structure of models of$\mathrm {CT}_0$. In particular, we provide a new model-theoretical characterization of theories of finite iterations of uniform reflection and present a new proof characterizing the arithmetical consequences of$\mathrm {CT}_0$. (shrink)

In this paper we carry out a comparative study of $\mathrm{I}\Sigma_1$ and PRA. We will in a sense fully determine what these theories have to say about each other in terms of provability and interpretability. Our study will result in two arithmetically complete modal logics with simple universal models.

Although it provides a useful description of elementary movement trajectories, we argue that the delta-lognormal model is deficient as an account of speed/accuracy tradeoffs in aimed movements. It fails in this regard because (1) it is deterministic, (2) its formulation ignores critical task elements, and (3) it fails to account for the corrective role of submovements.

Biomedical researchers claim there is significant biomedical information about humans which can be discovered only through experiments on intact animal systems (AMA p. 2). Although epidemiological studies, computer simulations, clinical investigation, and cell and tissue cultures have become important weapons in the biomedical scientists' arsenal, these are primarily "adjuncts to the use of animals in research" (Sigma Xi p. 76). Controlled laboratory experiments are the core of the scientific enterprise. Biomedical researchers claim these should be conducted on intact biological (...) systems, whole animals. By observing the effects of various stimuli in non-human animals, we can form legitimate expectations about the likely effects of these stimuli in humans. Perhaps more importantly, we can understand the biomedical condition's causal mechanisms. (shrink)

This thesis presents a proof theoretical investigation of some constructive set theories with restricted set induction. The set theories considered are various systems of Constructive Zermelo Fraenkel set theory, CZF ([1]), in which the schema of $\in$ - Induction is either removed or weakened. We shall examine the theories $CZF^\Sigma_\omega$ and $CZF_\omega$, in which the $\in$ - Induction scheme is replaced by a scheme of induction on the natural numbers (only for  formulas in the case of the first theory, (...) for arbitrary formulas in the second theory). Of particular interest is the system CZF− + INAC, which is obtained by removing $\in$ - Induction and by adding an axiom, INAC, for inaccessible sets. The main outcome is that CZF− + INAC is a predicative set theory with inaccessible sets, its proof theoretic ordinal being $\Gamma_0$. The proof theoretic strength of these theories, has been determined by means of proof theoretical reductions. The upper bounds have been obtained by interpreting the set theories in classical theories of (iterated) inductive definitions with ordinals. A significant feature of these interpretations is that they are realizability interpretations, which make an indirect use of Aczel’s interpretation of CZF in Martin Löf type theory, and, in the case of CZF− + INAC, also employ a maximum bisimulation relation to represent equality between sets. The lower bounds are obtained by interpreting appropriate subsystems of intuitionistic second order arithmetic in the set theories. At the conclusion of the thesis we present work unrelated to the previous chapters. It is a preliminary study of the constructible hierarchy in CZF. We begin by formalizing the notion of definability in constructive set theory and then introduce Gödel’s L in CZF. We prove that intuitionistic L is a model of a subsystem of CZF strong enough to include intuitionistic Kripke-Platek set theory, and also that L is a model of the axiom of constructibility, provably in CZF. (shrink)

This paper is concerned with the formulation and analysis of an epidemic model of COVID-19 governed by an eight-dimensional system of ordinary differential equations, by taking into account the first dose and the second dose of vaccinated individuals in the population. The developed model is analyzed and the threshold quantity known as the control reproduction number R0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {R}_{0}$$\end{document} is obtained. We investigate the equilibrium stability of the system, and the (...) COVID-free equilibrium is said to be locally asymptotically stable when the control reproduction number is less than unity, and unstable otherwise. Using the least-squares method, the model is calibrated based on the cumulative number of COVID-19 reported cases and available information about the mass vaccine administration in Malaysia between the 24th of February 2021 and February 2022. Following the model fitting and estimation of the parameter values, a global sensitivity analysis was performed by using the Partial Rank Correlation Coefficient (PRCC) to determine the most influential parameters on the threshold quantities. The result shows that the effective transmission rate (α)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\alpha )$$\end{document}, the rate of first vaccine dose (ϕ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\phi )$$\end{document}, the second dose vaccination rate (σ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\sigma )$$\end{document} and the recovery rate due to the second dose of vaccination (η)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\eta )$$\end{document} are the most influential of all the model parameters. We further investigate the impact of these parameters by performing a numerical simulation on the developed COVID-19 model. The result of the study shows that adhering to the preventive measures has a huge impact on reducing the spread of the disease in the population. Particularly, an increase in both the first and second dose vaccination rates reduces the number of infected individuals, thus reducing the disease burden in the population. (shrink)

Plamondon & Alimi (P&A) have unified much data on speed/accuracy trade-offs during reaching movements using a delta-lognormal form factor that describes notably neuromuscular systems. Their approach raises questions about whether a large number of systems is needed, whether they are linear, and whether the results disclose the neural design principles that control reaching behaviors. The authors admit that (sect. 6, para. 4).

We give alternative proofs of results due to Paris and Wilkie concerning the existence of end extensions of countable models of $B\Sigma_{1}$, that is, the theory of $\Sigma_{1}$ collection.

In this paper we will show that for every cutIof any countable nonstandard model$\mathcal {M}$of$\mathrm {I}\Sigma _{1}$, eachI-small$\Sigma _{1}$-elementary submodel of$\mathcal {M}$is of the form of the set of fixed points of some proper initial self-embedding of$\mathcal {M}$iffIis a strong cut of$\mathcal {M}$. Especially, this feature will provide us with some equivalent conditions with the strongness of the standard cut in a given countable model$\mathcal {M}$of$ \mathrm {I}\Sigma _{1} $. In addition, we will find some (...) criteria for extendability of initial self-embeddings of countable nonstandard models of$ \mathrm {I}\Sigma _{1} $to larger models. (shrink)

In [9] we introduced a new framework for asymptotic probabilities, in which a $\sigma-additive$ measure is defined on the sample space of all sequences $A = $ of finite models, where the universe of An is {1, 2, .., n}. In this framework we investigated the strong 0-1 law for sentences, which states that each sentence either holds in An eventually almost surely or fails in An eventually almost surely. In this paper we define the strong convergence law for (...) formulas, which carries over the ideas of the strong 0-1 law to formulas with free variables, and roughly states that for each formula φ(x), the fraction of tuples a in An, which satisfy the formula φ(x), almost surely has a limit as n tends to infinity. We show that the infinitary logic with finitely many variables has the strong convergence law for formulas for the uniform measure, and further characterize the measures on random graphs for which the strong convergence law holds. (shrink)

The paper builds on both a simply typed term system ${\cal PR}^\omega$ and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion of partial primitive recursive functional on Scott domains $D_\rho$ supporting a suitable concept of parallelism. Computability on Scott domains seems to entail that Kleene's schema of higher type simultaneous course-of-values recursion (scvr) is not reducible to partial primitive recursion. So extensions ${\cal PR}^{\omega e}$ and PTWP $^e$ are studied (...) that are closed under scvr. The twist are certain type 1 Gödel recursors ${\cal R}_k$ for simultaneous partial primitive recursion. Formally, ${\cal R}_k\vec{g}\vec{H}xi$ denotes a function $f_i \in D_{\iota\to\iota}$ , however, ${\cal R}_k$ is modelled such that $f_i$ is finite, or in other words, a partial sequence. As for PTWP $^e$ , the concept of type $\iota\to\iota$ writable variables is introduced, providing the possibility of creating and manipulating partial sequences. It is shown that the PTWP $^e$ -computable functionals coincide with those definable in ${\cal PR}^{\omega e}$ plus a constant for sequential minimisation. In particular, the functionals definable in ${\cal PR}^{\omega e}$ denoted ${\cal R}^{\omega e}$ can be characterised by a subclass of PTWP $^e$ -computable functionals denoted ${\rm PPR}^{\omega e}$ . Moreover, hierarchies of strictly increasing classes ${\cal R}^{\omega e}_n$ in the style of Heinermann and complexity classes ${\rm PPR}^{\omega e}_n$ are introduced such that $\forall n\ge 0. {\cal R}^{\omega e}_n ={\rm PPR}^{\omega e}_n$ . These results extend those for ${\cal PR}^\omega$ and PTWP [Nig94]. Finally, scvr is employed to define for each type $\sigma$ the enumeration functional $E^\sigma$ of all finite elements of $D_\sigma$. (shrink)

We prove almost sure exponential stability for the disease-free equilibrium of a stochastic differential equations model of an SIR epidemic with vaccination. The model allows for vertical transmission. The stochastic perturbation is associated with the force of infection and is such that the total population size remains constant in time. We prove almost sure positivity of solutions. The main result concerns especially the smaller values of the diffusion parameter, and describes the stability in terms of an analogue $$\mathcal{R}_\ (...) class='Hi'>sigma$$ of the basic reproduction number $$\mathcal{R}_0$$ of the underlying deterministic model, with $$\mathcal{R}_\sigma \le \mathcal{R}_0$$. We prove that the disease-free equilibrium is almost sure exponentially stable if $$\mathcal{R}_\sigma <1$$. (shrink)

The paper discusses the notion of finite model truth definitions (or FM-truth definitions), introduced by M. Mostowski as a finite model analogue of Tarski's classical notion of truth definition. We compare FM-truth definitions with Vardi's concept of the combined complexity of logics, noting an important difference: the difficulty of defining FM-truth for a logic ᵍ does not depend on the syntax of L, as long as it is decidable. It follows that for a natural ᵍ there exist FM-truth (...) definitions whose evaluation is much easier than the combined complexiy of ᵍ would suggest. We apply the general theory to give a complexity-theoretical characterization of the logics for which the $\Sigma_{m}^{d}$ classes (prenex classes of higher order logics) define FM-truth. For any $d \geq 2.m \geq 1$ we construct a family $\{[\Sigma_{m}^{d}]^{\leg\kappa}\}\kappa\in\omega$ of syntactically defined fragments of $\Sigma_{m}^{d}$ which satisfy this characterization. We also use the $[\Sigma_{m}^{d}]\leg\kappa$ classes to give a refinement of known results on the complexity classes captured by $\Sigma_{m}^{d}$ . We close with a few simple corollaries, one of which gives a sufficient condition for the existence, given a vocabulary $\sigma$ , of a fixed number $\kappa$ such that model checking for all first order sentences over $\sigma$ can be done in deterministic time $n^{\kappa}$. (shrink)

We generalize a result on True Arithmetic by Lachlan and Soare to certain other completions of Peano Arithmetic. If $\mathscr{T}$ is a completion of $\mathscr{PA}$, then Rep denotes the family of sets $X \subseteq \omega$ for which there exists a formula $\varphi$ such that for all $n \in \omega$, if $n \in X$, then $\mathscr{T} \vdash \varphi})$ ) and if $n \not\in X$, then $\mathscr{T} \vdash \neg\varphi})$. We show that if $\mathscr{S,J} \subseteq \mathscr{P}$ such that $\mathscr{S}$ is a Scott set, (...) $\mathscr{J}$ is a jump ideal, $\mathscr{S} \subset \mathscr{J}$ and for all $X \in \mathscr{J}$, there exists $C \in \mathscr{S}$ such that C is a "coding" set for the family of subtrees of 2$^{<\omega}$ computable in X, and if $\mathscr{T}$ is a completion of $\mathscr{PA}$ such that Rep = $\mathscr{S}$, then there exists a model $\mathscr{A}$ of $\mathscr{T}$ such that $\mathscr{J}$ is the Scott set of $\mathscr{A}$ and no enumeration of Rep is computable in $\mathscr{A}$. The model $\mathscr{A}$ of $\mathscr{T}$ is obtained via a new notion of forcing. Before proving our main result, we demonstrate the existence of uncountably many different pairs satisfying the conditions of our theorem. This involves a new characterization of 1-generic sets as coding sets for the computable subtrees of 2$^{<\omega}$. In particular, $C \subseteq \omega$ is a coding set for the family of subtrees of 2$^{<\omega}$ computable in X if and only if for all trees T $\subseteq 2^{<\omega}$ computable in X, if $\chi_C$ is a path through T, then there exists $\sigma \in T$ such that $\sigma \subset \chi_C$ and every extension of $\sigma$ is in T. Jockusch noted a connection between 1-generic sets and coding sets for computable subtrees of 2$^{<\omega}$. We show they are identical. (shrink)

D’Aquino et al. (J Symb Log 75(1):1–11, 2010) have recently shown that every real-closed field with an integer part satisfying the arithmetic theory IΣ4 is recursively saturated, and that this theorem fails if IΣ4 is replaced by IΔ0. We prove that the theorem holds if IΣ4 is replaced by weak subtheories of Buss’ bounded arithmetic: PV or $${\Sigma^b_1-IND^{|x|_k}}$$. It also holds for IΔ0 (and even its subtheory IE 2) under a rather mild assumption on cofinality. On the other hand, (...) it fails for the extension of IOpen by an axiom expressing the Bézout property, even under the same assumption on cofinality. (shrink)

We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to existential closure, and another is defined via topological properties and Baire category theory. The second type of genericity was first formulated by Truss for automorphisms. We work with a later generalization, due to Ivanov, to finite tuples of predicates and functions. Let $N$ be a countable saturated model of some complete theory $T$ , and let $(N,\sigma)$ denote an expansion (...) of $N$ to the signature $L_{0}$ which is a model of some universal theory $T_{0}$ . We prove that when all existentially closed models of $T_{0}$ have the same existential theory, $(N,\sigma)$ is Truss generic if and only if $(N,\sigma)$ is an e-atomic model. When $T$ is $\omega$ -categorical and $T_{0}$ has a model companion $T_{\mathrm {mc}}$ , the e-atomic models are simply the atomic models of $T_{\mathrm {mc}}$. (shrink)

We show that assuming modest large cardinals, there is a definable class of ordinals, closed and unbounded beneath every uncountable cardinal, so that for any closed and unbounded subclasses $P, Q, {\langle L[P],\in,P \rangle }$ and ${\langle L[Q],\in,Q \rangle }$ possess the same reals, satisfy the Generalised Continuum Hypothesis, and moreover are elementarily equivalent. Examples of such P are Card, the class of uncountable cardinals, I the uniform indiscernibles, or for any n the class $C^{n}{=_{{\operatorname {df}}}}\{ \lambda \, | \, (...) V_{\lambda } \prec _{{\Sigma }_{n}}V\}$ ; moreover the theory of such models is invariant under ZFC-preserving extensions. They also all have a rich structure satisfying many of the usual combinatorial principles and a definable wellorder of the reals. The inner model constructed using definability in the language augmented by the Härtig quantifier is thus also characterized. (shrink)

The Gompertz distribution is commonly used in biology for modeling fatigue and mortality. This paper studies a class of models proposed by Adham and Walker, featuring a Gompertz type distribution where the dependence structure is modeled by a lognormal distribution, and develops a new multivariate formulation that facilitates several numerical and computational aspects. This paper also implements the FBST, the Full Bayesian Significance Test for pertinent sharp (precise) hypotheses on the lognormal covariance structure. The FBST’s e-value, ev(H), gives (...) the epistemic value of hypothesis, H, or the value of evidence in the observed in support of H. (shrink)

Let $\sigma$ denote the number of automorphisms of a model $\mathfrak{U}$ of power $\omega_1$. We derive a necessary and sufficient condition in terms of trees for the existence of an $\mathfrak{U}$ with $\omega_1 < \sigma < 2^{\omega_1}$. We study the sufficiency of some conditions for $\sigma = 2^{\omega_1}$. These conditions are analogous to conditions studied by D. Kueker in connection with countable models.

Evidence from numerous studies using the visual world paradigm has revealed both that spoken language can rapidly guide attention in a related visual scene and that scene information can immediately influence comprehension processes. These findings motivated the coordinated interplay account (Knoeferle & Crocker, 2006) of situated comprehension, which claims that utterance‐mediated attention crucially underlies this closely coordinated interaction of language and scene processing. We present a recurrent sigma‐pi neural network that models the rapid use of scene information, exploiting an (...) utterance‐mediated attentional mechanism that directly instantiates the CIA. The model is shown to achieve high levels of performance (both with and without scene contexts), while also exhibiting hallmark behaviors of situated comprehension, such as incremental processing, anticipation of appropriate role fillers, as well as the immediate use, and priority, of depicted event information through the coordinated use of utterance‐mediated attention to the scene. (shrink)

Let n be a positive integer. By a $\beta_{n}-model$ we mean an $\omega-model$ which is elementary with respect to $\sigma_{n}^{1}$ formulas. We prove the following $\beta_{n}-model$ version of $G\ddot{o}del's$ Second Incompleteness Theorem. For any recursively axiomatized theory S in the language of second order arithmetic, if there exists a $\beta_{n}-model$ of S, then there exists a $\beta_{n}-model$ of S + "there is no countable $\beta_{n}-model$ of S". We also prove a $\beta_{n}-model$ version of (...) $L\ddot{o}b's$ Theorem. As a corollary, we obtain a $\beta_{n}-model$ which is not a $\beta_{n+1}-model$. (shrink)

If there is no inner model with a cardinal $\kappa$ such that $o = \kappa^{++}$ then the set $K \cap H_{\omega_1}$ is definable over H$_{\omega_1}$ by a $\Delta_4$ formula, and the set $\{J_\alpha[\mathscr{U}] : \alpha < \omega_1\}$ of countable initial segments of the core model $K = L[\mathscr{U}]$ is definable over $H_{\omega_1}$ by a $\Pi_3$ formula. We show that if there is an inner model with infinitely many measurable cardinals then there is a model in which (...) $\{J_\alpha [\mathscr{U}] : \alpha < \omega_1\}$ is not definable by any $\Sigma_3$ formula, and $K \cap H_{\omega_1}$ is not definable by any boolean combination of $\Sigma_3$ formulas. (shrink)

Let σ(U) denote the number of automorphisms of a model U of power ω1. We derive a necessary and sufficient condition in terms of trees for the existence of an U with $\omega_1 < \sigma(\mathfrak{U}) < 2^{\omega_1}$. We study the sufficiency of some conditions for σ(U) = 2ω1 . These conditions are analogous to conditions studied by D. Kueker in connection with countable models.

In this paper we answer the following well-known open question in computable model theory. Does there exist a computable not ‮א‬₀-categorical saturated structure with a unique computable isomorphism type? Our answer is affirmative and uses a construction based on Kolmogorov complexity. With a variation of this construction, we also provide an example of an ‮א‬₁-categorical but not ‮א‬₀-categorical saturated $\Sigma _{1}^{0}$ -structure with a unique computable isomorphism type. In addition, using the construction we give an example of an (...) ‮א‬₁-categorical but not ‮א‬₁-categorical theory whose only non-computable model is the prime one. (shrink)

Given an abstract logic L = L(Q i ) i ∈ I generated by a set of quantifiers Q i , one can construct for each type τ a topological space S τ exactly as one constructs the Stone space for τ in first-order logic. Letting T be an arbitrary directed set of types, the set $S_T = \{(S_\tau, \pi^\tau_\sigma)\mid\sigma, \tau \in T, \sigma \subset \tau\}$ is an inverse topological system whose bonding mappings π τ σ are (...) naturally determined by the reduct operation on structures. We relate the compactness of L to the topological properties of S T . For example, if I is countable then L is compact iff for every τ each clopen subset of S τ is of finite type and S τ is homeomorphic to $\underset{lim}S_T$ , where T is the set of finite subtypes of τ. We finally apply our results to concrete logics. (shrink)

" In Imagination and the Meaningful Brain, psychoanalyst Arnold Modell claims that subjective human experience must be included in any scientific...

Abstract.Since the gene splicing debates of the 1980s, the public has been exposed to an ongoing sequence of genetic and reproductive technologies. Many issue areas have outcomes that lose track of people's inner values or engender opposing religious viewpoints defying final resolution. This essay relocates the discussion of what is an acceptable application from the individual to the societal level, examining technologies that stand to address large numbers of people and thus call for policy resolution, rather than individual fiat, in (...) their application. A major source of guidance is the “Genetic Frontiers” series of professional dialogues and conferences held by the National Conference for Community and Justice from 2002 to 2004. Genetic testing, human gene therapy, genetic engineering of plants and animals, and stem cell technology are examined. While differences in perspective on the beginning of life persist, a stepwise approach to the examination of genetic testing reveals areas of general agreement. Stewardship of life, human co‐creativity with the divine, and social justice help define the bounds of application of genetic engineering and therapy; compassionate care plays a major role in establishing stem cell policy. Active, sustained dialogue is a useful resource for enabling sharing of religious values and crystallization of policies. (shrink)

Aristotle is oftentimes viewed through a strictly philosophical lens as heir to Plato and has having introduced logical rigor where an emphasis on the theory of Forms formerly prevailed. It must be appreciated that Aristotle was the son of a physician, and that his inculcation of the thought of other Greek philosophers addressing health and the natural elements led to an extremely broad set of biologically- and medically-related writings. As this article proposes, Aristotle deepened the fourfold theory of the elements (...) with anatomic and physiologic observations. In books like History of Animals, Parts of Animals, and the lost Anatomai, he actively dissected organisms and recorded his findings. The corpus of medically-related literature Aristotle developed had a direct influence on subsequent Greek thinkers, including Galen, and on Medieval Islamic and modern Western practitioners such as William Harvey. Aristotle's ideas continue to influence modern medical thinkers in Europe and America through both his interpretation by European philosophers gaining the attention of medical humanists, and his writings' enduring impact on medical researchers balancing scientific with more personalistic approaches to medicine. (shrink)