scholarly journals Proving Consistency and Completeness of Model Classes Using Theory Interpretation

Author(s):  
Ádám Darvas ◽  
Peter Müller
1987 ◽  
Vol 15 (1) ◽  
pp. 59-69 ◽  
Author(s):  
Bernard Davidson ◽  
Donna L. Sollie

The relationship between sex-role orientation and marital adjustment was investigated. Using a sample of 112 married couples, husbands and wives separately completed the Bem Sex-Role Inventory and the Dyadic Adjustment Scale. The hypotheses tested were based on the assumption that an androgynous sex-role orientation, which incorporates both instrumental and expressive capacities, would be most positively related to self and spouse's marital adjustment, while an undifferentiated orientation would be least related. Results indicated that in general both androgynous and sex-typed individuals and their spouses were significantly higher in marital adjustment than were undifferentiated individuals and their spouses. In addition, spousal sex-role types were found to be related and couples in which both partners were classified as undifferentiated reported the lowest levels of marital adjustment while androgynous couples and sex-typed couples reported greater levels of marital adjustment. The results were discussed in relation to their support for a symbolic interaction/ role theory interpretation of the association between sex-role orientation and marital adjustment.


2021 ◽  
Vol 2021 (5) ◽  
Author(s):  
Andreas P. Braun ◽  
Jin Chen ◽  
Babak Haghighat ◽  
Marcus Sperling ◽  
Shuhang Yang

Abstract We study circle compactifications of 6d superconformal field theories giving rise to 5d rank 1 and rank 2 Kaluza-Klein theories. We realise the resulting theories as M-theory compactifications on local Calabi-Yau 3-folds and match the prepotentials from geometry and field theory. One novelty in our approach is that we include explicit dependence on bare gauge couplings and mass parameters in the description which in turn leads to an accurate parametrisation of the prepotential including all parameters of the field theory. We find that the resulting geometries admit “fibre-base” duality which relates their six-dimensional origin with the purely five-dimensional quantum field theory interpretation. The fibre-base duality is realised simply by swapping base and fibre curves of compact surfaces in the local Calabi-Yau which can be viewed as the total space of the anti-canonical bundle over such surfaces. Our results show that such swappings precisely occur for surfaces with a zero self-intersection of the base curve and result in an exchange of the 6d and 5d pictures.


2000 ◽  
Vol 95 (4) ◽  
pp. 1174
Author(s):  
Paul Davies ◽  
Greta Gaard ◽  
Patrick D. Murphy

Author(s):  
Robert C. Williges

Forty-eight subjects were required to detect long-duration brightness changes (signals) and ignore short-duration changes (nonsignals) occurring on an electroluminescent panel during a 60-min. monitoring session. Signal-to-nonsignal ratios (constant 1/9, changing 1/9 to 1/1, or constant 1/1) and signal detectability (0.3 or 0.6 sec. difference between signal and nonsignal duration) were combined factorially in a between-subject design. The changing signal-to-nonsignal ratio resulted in an intermediate level of signals correctly detected. The classical decrease in percent of signals detected over time occurred in the constant 1/9 ratio condition under both levels of signal detectability. Signal detection theory analyses were restricted to low detectable signals. A marked increase in β over the monitoring session occurred in the constant 1/9 ratio condition, whereas β remained low and relatively constant in the other signal-to-nonsignal ratio conditions. Both the limitations of a decision-theory interpretation and the implications of using changing signal-to-nonsignal ratios for manipulating the observer's effective response criterion were discussed.


2011 ◽  
Vol 19 (3) ◽  
pp. 179-192 ◽  
Author(s):  
Marco Caminati

First Order Languages: Further Syntax and SemanticsThird of a series of articles laying down the bases for classical first order model theory. Interpretation of a language in a universe set. Evaluation of a term in a universe. Truth evaluation of an atomic formula. Reassigning the value of a symbol in a given interpretation. Syntax and semantics of a non atomic formula are then defined concurrently (this point is explained in [16], 4.2.1). As a consequence, the evaluation of any w.f.f. string and the relation of logical implication are introduced. Depth of a formula. Definition of satisfaction and entailment (aka entailment or logical implication) relations, see [18] III.3.2 and III.4.1 respectively.


1958 ◽  
Vol 17 (2) ◽  
pp. 99-106
Author(s):  
S. IVERSEN

SUMMARY The development of functional differentiation in the mammary gland in spayed mice after application of oestrogen is interpreted as being the result of a two-hit mechanism. This interpretation makes possible the simultaneous assay of oestrogen and prolactin.


Sign in / Sign up

Export Citation Format

Share Document