It is shown by a purely syntactic argument how the completeness of resolution in type theory implies the consistency of type theory with axioms of extensionality, descriptions, and infinity. In this system the natural numbers are defined, and Peanos Postulates proved; indeed, classical analysis and much more can be formalized here. Nevertheless, Godels results show that the completeness of reso...

In this paper, we develop a novel formalization of Fuzzy Trace Theory (FTT), a leading theory of qualitative risky decision-making. Our model is the first to explicitly formalize and integrate the concepts of gist and the gist hierarchy. Domain knowledge constrains the space of possible decision problems, explaining which gists are chosen in which contexts. We test our model against risky-choic...

1. Characterize the limitations of the classic dichotomy of “nonorganic” versus “organic” failure to thrive (FTT). 2. Recognize that FTT is not a diagnosis but rather a physical sign of inadequate nutrition to support growth. 3. Know potential sequelae of FTT. 4. Understand how the diagnostic process must account for the multifactorial nature of FTT. 5. Describe a systems-based, multidisciplina...

BACKGROUND Failure to thrive (FTT) poses a diagnostic dilemma for pediatricians. The kidney disorder that is considered most often is renal tubular acidosis (RTA). However, the prevalence of RTA may be overestimated, leading to unnecessary referrals for subspecialty evaluation. Moreover, preliminary data suggest that venous blood gas (VBG) testing may provide a more accurate measurement of the ...

This paper first examines the history of New England for an effect of urbanization on forests, providing new measures of change over time in spatial concentrations of population and output. Forest area fell during early development then rebounded even as population and output rose. Historical census data support that: (1) spatial concentration of population can increase forest; (2) this can occ...

Failure to thrive (FTT) is a syndrome of growth failure that results in an infant who is behaviorally difficult. The current thinking is that FTT results from a problematic infant-mother interaction, with the infant making a significant contribution to the interactional process. It is possible that the behavioral characteristics of the infant with FTT may be related to underlying physiologic re...

The variety (equational class) of lambda abstraction algebras was introduced to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic. In this paper we prove that the lattice of lambda theories is not modular and that the variety generated by the term algebra of a semi-sensible lambda theory is not congruence modular. A...