The first example of a recursive function which is not primitive recursive

The first example of a recursive function which is not primitive recursive is usually attributed to W. Ackermann. The authors of the present paper show that such an example can also be found in a paper by G. Sudan, published concomitantly with Ackermann's paper.     

An example of a commutative basic algebra which is not an MV-algebra

Many algebras arising in logic have a lattice structure with intervals being equipped with antitone involutions. It has been proved in [CHK1] that these lattices are in a one-to-one correspondence with so-called basic algebras. In the recent papers [BOTUR, M.—HALAŠ, R.: Finite commutative basic algebras are MV-algebras, J. Mult.-Valued Logic Soft Comput. (To appear)]. and [BOTUR, M.—HALAŠ, R.: Complete commutative basic algebras, Order 24 (2007), 89–105] we have proved that every finite commutative basic algebra is an MV-algebra, and that every complete commutative basic algebra is a subdirect product of chains. The paper solves in negative the open question posed in [BOTUR, M.—HALAŠ, R.: Complete commutative basic algebras, Order 24 (2007), 89–105] whether every commutative basic algebra on the interval [0, 1] of the reals has to be an MV-algebra.     

An example of a two-sided Wilcoxon signed rank test which is not unbiased

Although the theory of rank tests is rather complete in the one-sided case, it was not even known in 1959, whether the Wilcoxon two-sample test and other similar tests are unbiased against the two-sided alternatives (Lehmann (1959,Testing Statistical Hypotheses, p. 240, Wiley, New York)). A partial answer to this question was given by Sugiura in 1965, who found, that the test named above may be biased (Sugiura (1965,Ann. Inst. Statist. Math.,17, 261–263)). According to Lehmann (1986,Testing Statistical Hypotheses, 2nd ed., pp. 322–324, Wiley, New York) it seems to be still open, whether the same is true for the WILCOXON one-sample test, which is also known as WILCOXON signed rank test. This will be shown in the present paper.     

An example of a space L on which the Hardy-Littlewood maximal operator is not bounded

We give an example of a function p such that the Hardy-Littlewood maximal operator is not bounded on the generalized Lebesgue space L^p(x).     

On the existence of Pettis integrable functions which are not Birkhoff integrable

Let be a weakly Lindelöf determined Banach space. We prove that if is non-separable, then there exist a complete probability space and a bounded Pettis integrable function that is not Birkhoff integrable; when the density character of is greater than or equal to the continuum, then is defined on with the Lebesgue measure. Moreover, in the particular case (the cardinality of being greater than or equal to the continuum) the function can be taken as the pointwise limit of a uniformly bounded sequence of Birkhoff integrable functions, showing that the analogue of Lebesgue's dominated convergence theorem for the Birkhoff integral does not hold in general.

     

A quadratic field which is Euclidean but not norm-Euclidean

The classification of rings of algebraic integers which are Euclidean (not necessarily for the norm function) is a major unsolved problem. Assuming the Generalized Riemann Hypothesis, Weinberger [7] showed in 1973 that for algebraic number fields containing infinitely many units the ring of integersR is a Euclidean domain if and only if it is a principal ideal domain. Since there are principal ideal domains which are not norm-Euclidean, there should exist examples of rings of algebraic integers which are Euclidean but not norm-Euclidean. In this paper, we give the first example for quadratic fields, the ring of integers of .     

A dyadic endomorphism which is Bernoulli but not standard

Any measure preserving endomorphism generates both a decreasing sequence of σ-algebras and an invertible extension. In this paper we exhibit a dyadic measure preserving endomorphism (X,T,μ) such that the decreasing sequence of σ-algebras that it generates is not isomorphic to the standard decreasing sequence of σ-algebras. However the invertible extension is isomorphic to the Bernoulli two shift.     

On a poset algebra which is hereditarily but not canonically well generated

LetB be a superatomic Boolean algebra.B is well generated, if it has a well founded sublatticeL such thatL generatesB. The free product of Boolean algebrasB andC is denoted byB *C. IfC is a chain thenB(C) denotes the interval algebra overC. Theorem 1: (a)Every Boolean subalgebra of B(ℵ₁) *B(ℵ₀)is well-generated. (b)B(ℵ₁) *B(ℵ₁)contains a non well-generated Boolean subalgebra. Canonical well-generatedness is defined in the introduction. Recall thatB(ℵ₁) *B(ℵ₀) is canonically well-generated, and thus well-generated. We prove the following result. Theorem 2:B(ℵ₁) *B(ℵ₀)contains a non canonically well generated Boolean subalgebra. In contrast with Theorem 1(b), we have the following result. Theorem 3:Let A ={ɑ:α<ℵ₁}⊆℘(w)be a strictly increasing sequence in the relation of almost containment. Let B be the subalgebra of ℘(w)generated by {{n}:n∈ℵ₀}∪A.Then B is superatomic, and B is not embeddable in a well-generated algebra.     

On a function algebra which is not generated by its idempotents

Translated from Matematicheskie Zametki, Vol. 51, No. 1, pp. 3–7, January, 1992.     

A graph which is edge transitive but not arc transitive

A graph having 27 vertices is described, whose automorphism group is transitive on vertices and undirected edges, but not on directed edges.