Herbrand’s theorem, widely regarded as a cornerstone of proof theory, exposes some of the constructive content of classical logic. In its simplest form, it reduces the validity of a first-order purely existential formula to that of a finite disjunction. More generally, it gives a reduction of first-order validity to propositional validity, by understanding the structure of the assignment of fir...

introduction: previous studies have emphasized the importance of early detection of children with developmental coordination disorder (dcd) to prevent the development of secondary academic, emotional and social manifestations of the disorder. a better understanding of these issues is the need for a valid measurement tool. parent report has the potential for providing historical knowledge of the...

STUDY DESIGN Psychometric assessment. OBJECTIVES To determine test-retest reliability and concurrent validity of the International Physical Activity Questionnaire (IPAQ) in patients after total hip arthroplasty or total knee arthroplasty. BACKGROUND Despite recognized benefits of regular physical activity, little is known about the physical activity level of patients after total hip arthrop...

BACKGROUND The Assessment of Quality of Life - 6D scale (AQoL-6D) is a self-report instrument designed to provide a sensitive multidimensional evaluation of health related quality of life. The current paper assesses the construct, concurrent and convergent validity of the AQoL-6D in a combined longitudinal population sample drawn from across urban, regional and remote areas of Australia. METH...

OBJECTIVE To adapt the Handwriting Proficiency Screening Questionnaire (HPSQ), previously designated for adults, into a children's self-report version (the HPSQ for Children, or HPSQ-C) and to examine its reliability and validity. METHOD Participants included 230 children ages 7-14 yr from regular schools in Israel. The questionnaire's content validity, internal consistency, and concurrent an...

Latency-based measures of sexual interest require additional evidence of validity, as do newer pupil dilation approaches. A total of 102 community men completed six latency-based measures of sexual interest. Pupillary responses were recorded during three of these tasks and in an additional task where no participant response was required. For adult stimuli, there was a high degree of intercorrel...