Progressions of iterated reflection principles can be used as a tool for ordinal analysis of formal systems. Technically, in some sense, they replace the use of omega-rule. We compare the information obtained by this kind of analysis with the results obtained by the more usual proof-theoretic techniques. In some cases the techniques of iterated reflection principles allows to obtain sharper res...

Senior Research Assistant, and Vice President and Economist, respectively, Federal Reserve Bank of Boston. The authors thank Lynn Browne, Richard Kopcke, and Scott Schuh for helpful comments, Joe Ritter for access to the gross worker flows data, and Dan Feenberg at the National Bureau of Economic Research for help in obtaining MORG data. Shifts in the Beveridge Curve, Job Matching, and Labor Ma...

BACKGROUND AND PURPOSE Intravenous tissue-type plasminogen activator (tPA) is a proven treatment for acute ischemic stroke, but there has been limited evaluation among patients aged ≥90 years. METHODS We analyzed data from the Get With The Guidelines-Stroke national quality improvement registry from January 2009 to April 2013. Frequency, determinants, and outcomes of tPA use were compared amo...

INTRODUCTION To assess progress towards the UNAIDS 90-90-90 initiative targets, we examined the HIV care cascade in the population-based Rakai Community Cohort Study (RCCS) in rural Uganda and examined differences between sub-groups. METHODS Self-reports and clinical records were used to assess the proportion achieving each stage in the cascade. Statistical inference based on a χ2 test for ca...