On a Question of H. Friedman
نویسنده
چکیده
In this paper we answer a question of Friedman, providing an ω-separable model M of the λβη-calculus. There therefore exists an α-separable model for any α ≥ 0. The model M permits no non-trivial enrichment as a partial order; neither does it permit an enrichment as a category with an initial object. The open term model embeds in M: by way of contrast we provide a model which cannot embed in any non-trivial model separating all pairs of distinct elements.
منابع مشابه
A note on Fouquet-Vanherpe’s question and Fulkerson conjecture
The excessive index of a bridgeless cubic graph $G$ is the least integer $k$, such that $G$ can be covered by $k$ perfect matchings. An equivalent form of Fulkerson conjecture (due to Berge) is that every bridgeless cubic graph has excessive index at most five. Clearly, Petersen graph is a cyclically 4-edge-connected snark with excessive index at least 5, so Fouquet and Vanherpe as...
متن کاملIs Milton Friedman a Libertarian ?
from such questions at present. For this debate, see pro open immigration: Block (1998, 2004), Block and Callahan (2003), Gregory and Block (2007) Huerta de Soto (1998); anti open immigration: Brimelow (1995), Taylor (1998), Hoppe (1998, 2001), Kinsella (2005). III. Categorizing Friedman. With this overview, which hopefully will enable us to identify the players without a scorecard, we can now ...
متن کاملOn a Question of Friedman
In this paper we answer a question of Friedman, providing an !-separable model M of the-calculus. There therefore exists an-separable model for any 0. The model M permits no non-trivial enrichment as a partial order; neither does it permit an enrichment as a category with an initial object. The open term model embeds in M: by way of contrast we provide a model which cannot embed in any non-triv...
متن کاملTHE ANALOGUE OF WEIGHTED GROUP ALGEBRA FOR SEMITOPOLOGICAL SEMIGROUPS
In [1,2,3], A. C. Baker and J.W. Baker studied the subspace Ma(S) of the convolution measure algebra M, (S) of a locally compact semigroup. H. Dzinotyiweyi in [5,7] considers an analogous measure space on a large class of C-distinguished topological semigroups containing all completely regular topological semigroups. In this paper, we extend the definitions to study the weighted semigroup ...
متن کاملبررسی نقش پرتفوی رفتاری در تصمیمگیری سرمایهگذاران بورس اوراق بهادار تهران
More than 50 years ago Friedman and Savage stated that investors who purchase lottery tickets (risk taking behavior), buy insurance coverage (risk averse behavior) at the same time. They proposed an “S” shape utility function that features concave as loss and convex as winning. Eisenhauer and many other researchers have confirmed risk behavior as suggested by Friedman and Savage. Shefrin and St...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Comput.
دوره 126 شماره
صفحات -
تاریخ انتشار 1996