In this paper we prove that any c. e. degree is splittable with an c. e. infimum over any lesser c. e. degree in the class of d-c. e. degrees.

Lachlan observed that the infimum of two r.e. degrees considered in the r.e. degrees coincides with the one considered in the ${\Delta_2^0}$ degrees. It is not true anymore for the d.r.e. degrees. Kaddah proved in (Ann Pure Appl Log 62(3):207–263, 1993) that there are d.r.e. degrees a, b, c and a 3-r.e. degree x such that a is the infimum of b, c in the d.r.e. degrees, but not in the 3-r.e. degrees, as a < x < b, (...) c. In this paper, we extend Kaddah’s result by showing that such a structural difference occurs densely in the r.e. degrees. Our result immediately implies that the isolated 3-r.e. degrees are dense in the r.e. degrees, which was first proved by LaForte. (shrink)

The main result is that for sets ${S \subseteq \omega + 1}$ , the following are equivalent: The shuffle sum σ(S) is computable.The set S is a limit infimum set, i.e., there is a total computable function g(x, t) such that ${f(x) = \lim inf_t g(x, t)}$ enumerates S.The set S is a limitwise monotonic set relative to 0′, i.e., there is a total 0′-computable function ${\tilde{g}(x, t)}$ satisfying ${\tilde{g}(x, t) \leq \tilde{g}(x, t+1)}$ such that ${{\tilde{f}(x) = \lim_t \tilde{g}(x, (...) t)}}$ enumerates S.Other results discuss the relationship between these sets and the ${\Sigma^0_3}$ sets. (shrink)

We show that every nontrivial interval in the recursively enumerable degrees contains an incomparable pair which have an infimum in the recursively enumerable degrees.

In this paper we show that the Proper Forcing Axiom is preserved under forcing over any poset PP with the following property: In the generalized Banach–Mazur game over PP of length , Player II has a winning strategy which depends only on the current position and the ordinal indicating the number of moves made so far. By the current position we mean: The move just made by Player I for a successor stage, or the infimum of all the moves (...) made so far for a limit stage. As a consequence of this theorem, we introduce a weak form of the square principle and show that it is consistent with PFA. (shrink)

Many existence propositions in constructive analysis are implied by the lesser limited principle of omniscience LLPO; sometimes one can even show equivalence. It was discovered recently that some existence propositions are equivalent to Bouwer's fan theorem FAN if one additionally assumes that there exists at most one object with the desired property. We are providing a list of conditions being equivalent to FAN, such as a unique version of weak König's lemma. This illuminates the relation between FAN and LLPO. Furthermore, (...) we give a short and elementary proof of the fact that FAN is equivalent to each positive valued function with compact domain having positive infimum. (shrink)

We study whether it is possible to generalise Seidenfeld et al.’s representation result for coherent choice functions in terms of sets of probability/utility pairs when we let go of Archimedeanity. We show that the convexity property is necessary but not sufficient for a choice function to be an infimum of a class of lexicographic ones. For the special case of two-dimensional option spaces, we determine the necessary and sufficient conditions by weakening the Archimedean axiom.

It is possible to control to a large extent, via semiproper forcing, the parameters measuring the guessing density of the members of any given antichain of stationary subsets of ω1 . Here, given a pair of ordinals, we will say that a stationary set Sω1 has guessing density if β0=γ and , where γ is, for every stationary S*ω1, the infimum of the set of ordinals τ≤ω1+1 for which there is a function with ot)<τ for all νS* and with (...) {νS*:gF} stationary for every α<ω2 and every canonical function g for α. This work involves an analysis of iterations of models of set theory relative to sequences of measures on possibly distinct measurable cardinals. As an application of these techniques I show how to force, from the existence of a supercompact cardinal, a model of in which there is a well-order of H definable, over H,, by a formula without parameters. (shrink)

Formulas of n variables of Łukasiewicz sentential calculus can be represented, via McNaughton’s theorem, by piecewise linear functions, with integer coefficients, from hypercube [0,1] n to [0,1], called McNaughton functions. As a consequence of the McNaughton representation of a formula it is obtained a canonical form of a formula. Indeed, up to logical equivalence, any formula can be written as an infimum of finite suprema of formulas associated to McNaughton functions which are truncated functions to $[0,1]$ of the restriction (...) to [0,1] n of single hyperplanes, for short, called simple McNaughton functions. In the present paper we will concern with the problem of presenting formulas of Lukasiewicz sentential calculus in normal form. Here we list the main results we obtained: a) we give an axiomatic description of some classes of formulas having the property to be canonically mapped one-to-one onto the class of simple Mc Naughton functions; b) we provide normal forms for Lukasiewicz sentential calculus, making use of formulas defined in a); c) we prove the polynomial complexity of formulas, in normal form, coming from a certain class described as in a); d) we extend the results described in a), b) and c) to Rational Lukasiewicz logic. (shrink)

The present paper is to be considered as a sequel to [1], [2]. It is known that Johansson's minimal logic is not uniform, i.e. there is no single matrix which determines this logic. Moreover, the logic C J is 2-uniform. It means that there are two uniform logics C 1, C 2 (each of them is determined by a single matrix) such that the infimum of C 1 and C 2 is C J. The aim of this paper is (...) to give a detailed description of the logics C 1 and C 2. It is performed in a lattice-theoretical language. (shrink)

In the 1870s, Carl Neumann proposed the so-called method of the arithmetic mean for solving the Dirichlet problem on convex domains. Neumann’s approach was considered at the time to be a reliable existence proof, following Weierstrass’s criticism of the Dirichlet principle. However, in 1937 H. Lebesgue pointed out a serious gap in Neumann’s proof. Curiously, the erroneous argument once again involved confusion between the notions of infimum and minimum. The objective of this paper is to show that Lebesgue’s sharp (...) criticism of Neumann’s proof was only partially justified. (shrink)

What is a minimal proof-theoretical foundation of logic? Two different ways to answer this question may appear to offer themselves: reduce the whole of logic either to the relation of inference, or else to the property of incompatibility. The first way would involve defining logical operators in terms of the algebraic properties of the relation of inference—with conjunction $$\hbox {A}\wedge \hbox {B}$$ A ∧ B as the infimum of A and B, negation $$\lnot \hbox {A}$$ ¬ A as the (...) minimal incompatible of A, etc. The second way involves introducing logical operators in terms of the relation of incompatibility, such that X is incompatible with $$\{\lnot \hbox {A}\}$$ { ¬ A } iff every Y incompatible with X is incompatible with {A}; and X is incompatible with $$\{\hbox {A}\!\wedge \!\hbox {B}\}$$ { A ∧ B } iff X is incompatible with {A,B}; etc. Whereas the first route leads us naturally to intuitionistic logic, the second leads us to classical logic. The aim of this paper is threefold: to investigate the relationship of the two approaches within a very general framework, to discuss the viability of erecting logic on such austere foundations, and to find out whether choosing one of the ways we are inevitably led to a specific logical system. (shrink)

We show that for every nontrivial r.e. wtt-degree a, there are r.e. wtt-degrees b and c incomparable to a such that the infimum of a and b exists but the infimum of a and c fails to exist. This shows in particular that there are no strongly noncappable r.e. wtt-degrees, in contrast to the situation in the r.e. Turing degrees.

We provide an economic interpretation of the practice consisting in incorporating risk measures as constraints in an expected prospect maximization problem. For what we call the infimum of expectations class of risk measures, we show that if the decision maker (DM) maximizes the expectation of a random prospect under constraint that the risk measure is bounded above, he then behaves as a “generalized expected utility maximizer” in the following sense. The DM exhibits ambiguity with respect to a family of (...) utility functions defined on a larger set of decisions than the original one; he adopts pessimism and performs first a minimization of expected utility over this family, then performs a maximization over a new decisions set. This economic behaviour is called “maxmin under risk” and studied by Maccheroni (Econ Theory 19:823–831, 2002). As an application, we make the link between an expected prospect maximization problem, subject to conditional value-at-risk being less than a threshold value, and a non-expected utility economic formulation involving “loss aversion”-type utility functions. (shrink)

In his 1964 note, ‘Two Additions to Positive Implication’, A. N. Prior showed that standard axioms governing conjunction yield a nonconservative extension of the pure implicational intermediate logic OIC of R. A. Bull. Here, after reviewing the situation with the aid of an adapted form of the Kripke semantics for intuitionistic and intermediate logics, we proceed to illuminate this example by transposing it to the setting of modal logic, and then relate it to the propositional logic of what have been (...) called ‘Hilbert algebras with infimum’. (shrink)

Hyttinen and Väänänen study extensively the so-called Scott and Karp trees. Their paper leaves some open interesting questions:1. Are Scott trees closed under infimums?2. Are Karp trees closed under infimums?3. Does every Karp tree contain a subtree of small cardinality which is itself also a Karp tree?The present article addresses these questions. It turns out that there are counterexamples dictating a negative answer to and . The answer to question , however, is independent of the standard ZFC axioms of set (...) theory provided that the existence of a strongly compact cardinal is consistent. (shrink)

Let A and B be subsets of the reals. Say that A κ ≥ B, if there is a real a such that the relation "x ∈ B" is uniformly Δ 1 (a, A) in L[ ω x,a,A 1 , x,a,A]. This reducibility induces an equivalence relation $\equiv_\kappa$ on the sets of reals; the $\equiv_\kappa$ -equivalence class of a set is called its Kleene degree. Let K be the structure that consists of the Kleene degrees and the induced partial order (...) K ≥. A substructure of K that is of interest is P, the Kleene degrees of the Π 1 1 sets of reals. If sharps exist, then there is not much to P, as Steel [9] has shown that the existence of sharps implies that P has only two elements: the degree of the empty set and the degree of the complete Π 1 1 set. Legrand [4] used the hypothesis that there is a real whose sharp does not exist to show that there are incomparable elements in P; in the context of V = L, Hrbacek has shown that P is dense and has no minimal pairs. The Hrbacek results led Simpson [6] to make the following conjecture: if V = L, then p forms a universal homogeneous upper semilattice with 0 and 1. Simpson's conjecture is shown to be false by showing that if V = L, then Godel's maximal thin Π 1 1 set is the infimum of two strictly larger elements of P. The second main result deals with the notion of jump in K. Let A' be the complete Kleene enumerable set relative to A. Say that A is low-n if A (n) has the same degree as $\varnothing^{(n)}$ , and A is high-n if A (n) has the same degree as $\varnothing^{(n + 1)}$ . Simpson and Weitkamp [7] have shown that there is a high (high-1) incomplete Π 1 1 set in L. They have also shown that various other Π 1 1 sets are neither high nor low in L. Legrand [5] extended their results by showing that, if there is a real x such that x # does not exist, then there is an element of P that, for all n, is neither low-n nor high-n. In § 2, ZFC is used to show that, for all n, if A is Π 1 1 and low-n then A is Borel. The proof uses a strengthened version of Jensen's theorem on sequences of admissible ordinals that appears in [7, Simpson-Weitkamp]. (shrink)

An arithmetical language, whose words are natural numbers written in hexadecimal numeration system, is defined and its applications for the representation, analysis and decision of formulae of some logical and normative systems are described and illustrated.The formulae, operations and relations of the represented system are associated as follows respectively to the numbers and the arithmetical operations and relations of the proposed language:1. Each well-formed-formula of the system is associated to a number of a set of natural numbers between zero (associated (...) to all tautologies and theses) and the binary supremum Φ of the set (Φ is associated to all contradictions and antitheses and his value is 2n-1, n depending on system’s dimensions and structure).2. Negation of a formula and disjonction and conjonction of t wo other more formulae of the system are associated respectively to the binary complement Φ-N(f) of the number associated to the first and to the binary infimun and supremum of the numbers associated to the last.3. The logical relations “f1 implies f2” (f1 -> f2), “f1 is incompat.ible with f2” (f1|f2), “f1 is the contradictory opposite of f2” (f1wf2) and “f1 is alternative to f2” (f1vf2) are true in the represented system if and only if the associated arithmetical relations, respectively “N(f1) absorbs arithmetically N(f2)”, “binary supremum of N(f1) and N(f2) is equal to Φ”, “sum of of N(f1) and N(f2) is equal to Φ” and “binary infimum of N(f1) and N(f2) is equal to 0”, are true.The applications of the proposed arithmetical language as very rapid and simplified tool of analysis and decision method are shown for the following systems: propositional logic, syllogistic, some deontic and alethic modal systems and some normative systems of statutory law:1. In the propositional logic, after fixing the maximum of variables considered, the numbers associated to these variables and to the contradictions are calculated. On this permanent basis, the evaluation of a farmula (especially in the case of many occurrences of many variables) is performed by the calculation of the associated number faster as in the traditional way.2. In the syllogistic, after the calculation of the number associated to each type of premise or conclusion, an arithmetical table of syllogisms shows that a proposed syllogism is valid if and only if the binary supremum of the numbers associated to the premises absorbs arithmetically the number associated to the conclusion. It is well-known that the search of this sort of arithmetization of syllogistic and the study of its possibilitiy has been a recurrent topic in modern logic, from Leibniz to Łukasiewicz and to-day.3. In a deontic equivalent:ial system who includes Von Wright’s deontic system of 1982 far norms of the first order, the calculation of the numbers associated to an types of permission and obligation sentences allows the im mediate arithmetical verification of an the classical relations between those sentences. The same is shown for an alethic modal system including the modlities of the first order of Lewis’s S5.4. For normative systems of statutory law, the arithmetical verification of the logical and normative relations is shown in precedent author’s papers -especially in recent “The ‘Ars Judicandi.’ Programme”-, though not yet in hexadecimal numeration system but only in binary and decimal ones.In all the represented systems, the arithmetical verification of the metalogical properties of the system -consistency and completeness- is performed in a very easy and rapid manner, after the arithmetic representation of the axiomatic basis of the latter by a system of equations. (shrink)