302,665 Hits in 7.3 sec

The maximality of the core model [article]

Ernest Schimmerling, John R. Steel
1997 arXiv   pre-print
, imply: o If square-kappa-finite fails and kappa is a singular, strong limit cardinal, then Inductive Determinacy holds. o If square-kappa-finite fails and kappa is a weakly compact cardinal, then L(R)  ...  of M R ∞ such that crit(ϕ) > λ.  ...  There is a tree in L[A] that simultaneously searches for: • a sequence R such that (( R, P), κ) is a phalanx of proper premice and R i is κ i -strong in L[A] whenever i < ω, and • a sequence σ of length  ... 
arXiv:math/9702206v1 fatcat:lty5f32ab5e3taljmj6wqoswam

How to win some simple iteration games [article]

Alessandro Andretta, John R. Steel
1993 arXiv   pre-print
r r r r r r r r j σ β M = P 0 T j 0,β V η E π commutes.  ...  T r r r r r r r r r j M T Γ(β) d d d d d d d d d d d d d d d d d d T i T Γ(α),Γ(β) d d d d d ϕ 0,α M Uα Γ(β) r r r r r r r r r j ϕ α,β M T N α = M Uα Γ(α) T i Uα Γ(α),Γ(β) N β E E π α,β 4.  ...  Condition (vii) implies that every element of R γ can be coded as a subset of V ρ W γ +1 ∩ W γ , hence R γ ⊆ W β , for γ ≤ β.  ... 
arXiv:math/9310212v1 fatcat:4dbhk3egvvhspc7gjtcmi7z77e

Wire-Based Additive Manufacturing of Stainless Steel Components

2020 Welding Journal  
The authors with Lawrence Livermore National Laboratory would like to thank John Sengthay, Cheryl Evans, and James Embree for metallography and hardness testing; Dave Urabe and Victor Hepa for tensile  ...  Similarly sized rectangular bricks weighing about 5 kg each were made by each process from 308L stainless steel (SS) wire.  ... 
doi:10.29391/2020.99.002 fatcat:wztwelsafjatbltxwiddmufs4y

interRAI home care quality indicators

John N Morris, Brant E Fries, Dinnus Frijters, John P Hirdes, R Knight Steel
2013 BMC Geriatrics  
This paper describe the development of interRAI's second-generation home care quality indicators (HC-QIs). They are derived from two of interRAI's widely used community assessments: the Community Health Assessment and the Home Care Assessment. In this work the form in which the quality problem is specified has been refined, the covariate structure updated, and two summary scales introduced. Methods: Two data sets were used: at the client and home-care site levels. Client-level data were
more » ... to identify HC-QI covariates. This sample consisted of 335,544 clients from Europe, Canada, and the United States. Program level analyses, where client level data were aggregated at the site level, were also based on the clients from the samples from Europe, Canada, and the United States. There were 1,654 program-based observations -22% from Europe, 23% from the US, and 55% from Canada. The first task was to identify potential HC-QIs, including both change and prevalence measures. Next, they were reviewed by industry representatives and members of the interRAI network. A two-step process adjustment was followed to identify the most appropriate covariance structure for each HC-QI. Finally, a factor analytic strategy was used to identify HC-QIs that cluster together and thus are candidates for summary scales. Results: The set of risk adjusted HC-QIs are multi-dimensional in scope, including measures of function, clinical complexity, social life, distress, and service use. Two factors were identified. The first includes a set of eleven measures that revolve around the absence of decline. This scale talks about functional independence and engagement. The second factor, anchored on nine functional improvement HC-QIs, referenced positively, this scale indicates a return to clinical balance. Conclusions: Twenty-three risk-adjusted, HC-QIs are described. Two new summary HC-QI scales, the "Independence Quality Scale" and the "Clinical Balance Quality Scale" are derived. In use at a site, these two scales can provide a macro view of local performance, offering a way for a home care agency to understand its performance. When scales perform less positively, the site then is able to review the HC-QI items that make up the scale, providing a roadmap for areas of greatest concern and in need of targeted interventions.
doi:10.1186/1471-2318-13-127 pmid:24245920 pmcid:PMC3870973 fatcat:j2a74nhdpjberbylntcbhgoxwe


John V. R. Stehman
1902 Journal of the American Chemical Society  
The silver salt can be precipitated by a solution of sodium chlo- MANGANESE IN I R O N A N D STEEL.  ...  Shimer himself who in his original article speaks of AgeofSfeel, Movember. rgor : This Journal, a4, R . 12.2 Blair's " Analysis of Iron," third edition. Loc. L i t .  ... 
doi:10.1021/ja02026a007 fatcat:6ee6nlmchvbkfizvs44owm52ye


John R. Steel
2008 Computational Prospects of Infinity  
R holds, and θ is regular.  ...  Section 17 Capturing sets of reals in R-mice. (1) There is a supercompact cardinal, (2) There is a strongly compact cardinal, (4) CH holds, and there is a homogeneous pre-saturated ideal on ω 1 , (5) AD  ...  Theorem 7.1 (Closson, Neeman, Steel) If M, T , N , and δ are as above, and g is Col(ω, ξ) generic over N , for some ξ ≤ δ, and Φ δ (T ) is in the least admissible set over N |δ, g , then N [g] = * R, for  ... 
doi:10.1142/9789812794055_0003 fatcat:vw24vgslxbenlgem7jur73v3me

The Deformation Microstructure and Recrystallization Behavior of Warm Rolled Steels

Dongsheng Liu, Alan O. Humphreys, Mohammad R. Toroghinezhad, John J. Jonas
2002 ISIJ International  
The materials investigated included three interstitialfree (IF) steels (stabilized with either titanium or niobium), an extra low carbon (ELC) steel, and four experimental low carbon chromium steels with  ...  Shear bands of moderate intensity were usually formed in the IF steels, which tended to be insensitive to rolling temperature.  ...  Fig. 2 . 2 Dependence of shear band content on rolling temperature: a) ELC and IF steels, b) LC-Cr steels.  ... 
doi:10.2355/isijinternational.42.751 fatcat:kukc773g3ffq3pwjrvkszfv7oe

Forcing with tagged trees

John R. Steel
1978 Annals of Mathematical Logic  
,et(wr;, r. r*),. I-Iv {..,emma ~, r Ik-3y'Lp(d, "~ ,':' Ares rl}'-~]y%c(d 7% c) So r is as dedred. The proof of Theorem 1 is complete. L.  ...  ., r ~0[~'' E!  ...  One izsay verify that r*e P, r*s~ .% and r* is ~J~,-!--~5 s good. ' D%% :w,sh to me~.  ... 
doi:10.1016/0003-4843(78)90026-8 fatcat:ijb3svcpmfaq5csgkfmpmosi7q

An Outline of Inner Model Theory [chapter]

John R. Steel
2009 Handbook of Set Theory  
So being OD L(R) is a Σ L(R) 1 property. Thus, by 7.18 and 7.20, M ω |= ∀x ∈ R(x is OD L(R) ).  ...  If g ∈ R and g : [κ(R)] <ω → κ(R), then there is a function f ∈ Q such that g = π + Q,R (f)(b) for some finite b ⊆ κ(R). Proof. Let T be an iteration tree on Q with last model R.  ...  By the countable directedness of ≺ + , we can find an R ∈ F + such that Q ≺ + R and X ⊆ dom(π + R,∞ ). Letκ = π + Q,R (κ), and let S be the ultrapower of R by some normal measure onκ.  ... 
doi:10.1007/978-1-4020-5764-9_20 fatcat:mrpuyhgxkvfmnhwdz3rfwabvba

The covering lemma up to a Woodin cardinal [article]

William J. Mitchell, Ernest Schimmerling, John R. Steel
1997 arXiv   pre-print
Building on Mitchell-Steel [MiSt] , Steel [St1] , and Schimmerling [Sch1] , we develop further the fine structure of K in §2.  ...  Let δ = crit(π) and E π be the (δ, Ω)-extender derived from π (see Steel [St2] ).  ...  For i = ℓ − 1, . . . , 0, f i is a function, f i ∈ |R β i |, and dom(f i ) = [π(κ β i )] |a i | .  ... 
arXiv:math/9702207v1 fatcat:vpgl3guagvb7xiren6v3s7fpn4

Atrial Fibrillation and Delayed Gastric Emptying

Isadora C. Botwinick, R. Joseph Shonkwiler, John Steele, Gary Yu, John A. Chabot, Peter McCulloch
2011 PLoS ONE  
RR interval (respiratory sinus arrhythmia) is the time elapsing between two consecutive R waves in the EKG.  ... 
doi:10.1371/journal.pone.0025499 pmid:22028778 pmcid:PMC3197587 fatcat:gpugdyvusjcg5mylvve6zmor3u

Shaping and Forming of Advanced High Strength Steels

Kester D. Clarke, Yuri Hovanski, Daniel R. Coughlin, John E. Carsley
2018 JOM: The Member Journal of TMS  
Finally, the use of alloying to reduce the density of steels is discussed in ''An Overview of the Effects of Alloying Elements on the Properties of Lightweight Fe-(15-35) Mn-(5-12) Al-(0.3-1.2) C Steel  ...  grades achieve strengths of 1500 MPa or more relative to mild steel sheets with strengths of less than 300 MPa.  ... 
doi:10.1007/s11837-018-2820-5 fatcat:ul42pwil6rfj7acxmuy37u4kp4

Determinacy in the Mitchell models

John R. Steel
1982 Annals of Mathematical Logic  
Steel Proo+7 (sketch). One can show that F determinacy implies all ~)F sets have the Baire property by unfolding the Banach-Mazur game on both sides.  ...  But no wellerder of the reals of order type R~ has the Baire property. [] This presentation emphasizes the way our proofs refine Mitchell's proof that 51 determinacy fails in his models.  ...  For any x e'*'w, let ~r(x) be the least Ha-reflecting ordinal relative to x. That is, ~r(x) is the least c~ so that for any l/a formula ~o(v) and any t~ L,, x,y~N and N~y<~vx.  ... 
doi:10.1016/0003-4843(82)90017-1 fatcat:lj3jv7ywuvhfvprbrl4ei6ykwu

Achievement of a superpolish on bare stainless steel

Malcolm R. Howells, John M. Casstevens, Peter Z. Takacs, Thomas W. Tonnessen
1997 Materials, Manufacturing, and Measurement for Synchrotron Radiation Mirrors  
We report the achievement of a superpolished suface, suitable for x-ray reflection, on bare stainless steel.  ...  The type 17-4 PH precipitation-hardening stainless steel used to make the mirrors is also capable of ultrastability and has good manufactureability.  ...  The argument so far does not rule out an electroless-nickel-coated steel mirror.  ... 
doi:10.1117/12.295567 fatcat:estunyppkrhwfnq73nom5ietuy

Relationship between Fracture Toughness and Fracture Surface Fractal Dimension in AISI 4340 Steel

Luis R. Carney, John J. Mecholsky
2013 Materials Sciences and Applications  
This study analyzes the relationship between fracture toughness and the fracture surface fractal dimension for a set of twenty-four CT-type AISI 4340 steel specimens heat treated to a variety of tensile  ...  v /R i ).  ...  Graph illustrating the void growth to inclusion size ratio (R v /R i ) as a function of the inclusion radius for a high strength AF 1410 steel aged at 510˚C [51]. Table 1 .  ... 
doi:10.4236/msa.2013.44032 fatcat:ogpz5sp5ojhgpdotkgylxri32q
« Previous Showing results 1 — 15 out of 302,665 results