Results 191 to 200 of about 927,891 (245)
Some of the next articles are maybe not open access.
Journal of Symbolic Logic, 1997
In this paper we continue the investigations begun in [2] of equivalence classes of (denumerable) well-orderings under one-one partial recursive, order-preserving maps (recursive isotonisms). The numbering and notation are continued from [2] except that we now use lower case Greek letters for classical ordinals and upper case Roman letters for sets and
openaire +1 more source
In this paper we continue the investigations begun in [2] of equivalence classes of (denumerable) well-orderings under one-one partial recursive, order-preserving maps (recursive isotonisms). The numbering and notation are continued from [2] except that we now use lower case Greek letters for classical ordinals and upper case Roman letters for sets and
openaire +1 more source
Computability in constructive type theory
2022Wir behandeln eine formalisierte und maschinengeprüfte Betrachtung von Berechenbarkeitstheorie im Calculus of Inductive Constructions (CIC), der konstruktiven Typtheorie die dem Beweisassistenten Coq zugrunde liegt. Wir entwickeln erst synthetische Berechenbarkeitstheorie, vorbereitet durch die Arbeit von Richman, Bridges und Bauer, wobei alle ...
openaire +2 more sources
European Journal of Psychological Assessment, 2014
The interaction of negative affectivity (NA) and social inhibition (SI), known as the Type D personality, is associated with a worse prognosis in cardiac patients. Until now, causal models have been speculative, and this is partly due to a lack of clarity related to the validity of SI, its role in emotion regulation, and the postulated independence of
Gesine Grande +3 more
openaire +1 more source
The interaction of negative affectivity (NA) and social inhibition (SI), known as the Type D personality, is associated with a worse prognosis in cardiac patients. Until now, causal models have been speculative, and this is partly due to a lack of clarity related to the validity of SI, its role in emotion regulation, and the postulated independence of
Gesine Grande +3 more
openaire +1 more source
Constructive Type Classes in Isabelle
2007We reconsider the well-known concept of Haskell-style type classes within the logical framework of Isabelle. So far, axiomatic type classes in Isabelle merely account for the logical aspect as predicates over types, while the operational part is only a convention based on raw overloading.
Florian Haftmann, Makarius Wenzel
openaire +1 more source
Constructive order types on cuts
Journal of Symbolic Logic, 1969If A and B are subsets of natural numbers we say that A is recursively equivalent to B (denoted A ≃ B) if there is a one-one partial recursive function which maps A onto B, and that A is recursively isomorphic to B (denoted A
openaire +1 more source
A Type Theory with Mixed Constructivity and Assignments
Logic Journal of IGPL, 1997A logic \(Sp_2\) that supports a simple form of assignment within a type-theoretical context that includes constructive, classical, and mixed logical formulas as databases is defined. Assignments in \(Sp_2\) can change the value of a variable as well as update the syntactic environment with information that tracks properties of the current and old ...
openaire +2 more sources
Constructing the “Jewish Type”
Nuncius, 2021Abstract With the emergence of new photographic technologies and processes during the second half of the nineteenth century, it became increasingly easier to pursue anthropometric research in anthropology. One group to receive particular attention was the Jewish community.
openaire +1 more source