Results 1  10
of
323
The strength of replacement in weak arithmetic
 Proceedings of the Nineteenth Annual IEEE Symposium on Logic in Computer Science
, 2004
"... The replacement (or collection or choice) axiom scheme BB(Γ) asserts bounded quantifier exchange as follows: ∀i<a  ∃x<aφ(i,x) → ∃w ∀i<aφ(i,[w]i) proves the scheme where φ is in the class Γ of formulas. The theory S1 2 BB(Σb 1), and thus in S1 2 every Σb1 formula is equivalent to a stri ..."
Abstract

Cited by 11 (3 self)
 Add to MetaCart
The replacement (or collection or choice) axiom scheme BB(Γ) asserts bounded quantifier exchange as follows: ∀i<a  ∃x<aφ(i,x) → ∃w ∀i<aφ(i,[w]i) proves the scheme where φ is in the class Γ of formulas. The theory S1 2 BB(Σb 1), and thus in S1 2 every Σb1 formula is equivalent to a
Strengths and weaknesses of LH arithmetic
, 2003
"... In this paper we provide a new arithmetic characterization of the levels of the logtime hierarchy (LH). We define arithmetic classes Σ log k and Π log k that correspond to ΣkLOGTIME and ΠkLOGTIME respectively. We break Σ log k classes Σ m·log ..."
Abstract
 Add to MetaCart
In this paper we provide a new arithmetic characterization of the levels of the logtime hierarchy (LH). We define arithmetic classes Σ log k and Π log k that correspond to ΣkLOGTIME and ΠkLOGTIME respectively. We break Σ log k classes Σ m·log
Real closures of models of weak arithmetic
, 2011
"... D’Aquino et al. (J. Symb. Log. 75(1)(2010)) have recently shown that every realclosed 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 subtheori ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
D’Aquino et al. (J. Symb. Log. 75(1)(2010)) have recently shown that every realclosed 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
Real closures of models of weak arithmetic
, 2012
"... D’Aquino et al. (J. Symb. Log. 75(1)(2010)) have recently shown that every realclosed 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 subtheori ..."
Abstract
 Add to MetaCart
D’Aquino et al. (J. Symb. Log. 75(1)(2010)) have recently shown that every realclosed 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
The Bounded Strength of Weak Expectations
, 2010
"... The rational price of the Pasadena Game, a game introduced by Nover and Hájek (2004), has been the subject of considerable discussion. Easwaran (2008) has suggested that weak expectations – the value to which the average payoffs converge in probability – can give the rational price of the game. We ..."
Abstract
 Add to MetaCart
. We argue against the normative force of weak expectations in the standard framework. Furthermore, we propose to replace this framework by a bounded utility perspective: this shift renders the problem more realistic and accounts for the role of weak expectations. In particular, we demonstrate
The Bounded Strength of Weak Expectations
"... The rational price of the Pasadena and Altadena Game, introduced by Nover and Hájek (2004), has been the subject of considerable discussion. Easwaran (2008) has suggested that weak expectations—the value to which the average payoffs converge in probability—can give the rational price of such game ..."
Abstract
 Add to MetaCart
of such games. We argue against the normative force of weak expectations in the standard framework. Furthermore, we propose to replace this framework by a bounded utility perspective: this shift renders the problem more realistic and accounts for the role of weak expectations. In particular, we demonstrate
Estriol: Its Weakness is Its Strength
"... Estriol, an estrogen that has virtually been ignored by the mainstream medical community, is one of the three principal estrogens produced by the body. Estriol was originally thought to have little significance due to its weak estrogenic activity when compared with estrone and estradiol. Nonetheless ..."
Abstract
 Add to MetaCart
. Nonetheless, research has found that its weakness may very well be its strength. Studies suggest that when the lowerpotency estrogen, estriol, is administered topically, it does not increase the risk of hormonedependent cancers of the breast or endometrium (uterine lining).13 However, having weaker
COLONY STRENGTH AND REPLACEMENT IN Melipona marginata 469 COLONY STRENGTH AND QUEEN REPLACEMENT IN
, 2003
"... Physogastric queens of Melipona marginata were removed from their colonies in order to verify the acceptance of a new queen by workers. Colony strength was evaluated according to queen oviposition rate and comb diameters. Replacement was observed seven times. Its occurrence and speed related positiv ..."
Abstract
 Add to MetaCart
positively to colony strength, independently of queen’s age. In weak colonies, queen replacement was observed only once, following colony population increase that occurred after introduction of combs from another colony. Worker oviposition after queen removal was observed three times: in a strong colony
Factors associated with arithmeticandreading disability and specific arithmetic disability
 Journal of Learning Disabilities
, 1988
"... Factors associated with arithmeticandreading disability and specific arithmetic disability were investigated in a large sample of representative New Zealand children. Evidence was sought for Rourke's hypothesis (Rourke & Finlayson, 1978; Rourke & Strang, 1978,1983) that these two typ ..."
Abstract

Cited by 13 (0 self)
 Add to MetaCart
types of arithmetic disability show reverse patterns of strengths and weaknesses with regard to verbal and nonverbal skills. This "crossover" effect was clearly evident for boys but noticeably absent for girls. When compared to a nondisabled control group, arithmeticandreading disabled boys
The Computational Strength of Extensions of Weak König's Lemma
, 1998
"... The weak König's lemma WKL is of crucial significance in the study of on the other hand have a low prooftheoretic and computational strength. In addition to the restriction to binary trees (or equivalently bounded trees), WKL is also `weak' in that the tree predicate is quantifierfree. W ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The weak König's lemma WKL is of crucial significance in the study of on the other hand have a low prooftheoretic and computational strength. In addition to the restriction to binary trees (or equivalently bounded trees), WKL is also `weak' in that the tree predicate is quantifier
Results 1  10
of
323