Failure of n‐uniqueness: a family of examples

In this paper, the connections between model theory and the theory of infinite permutation groups (see 11 ) are used to study the n‐existence and the n‐uniqueness for n‐amalgamation problems of stable theories. We show that, for any n ? 2, there exists a stable theory having (k + 1)‐existence and k‐uniqueness, for every k ? n, but has neither (n + 2)‐existence nor (n + 1)‐uniqueness. In particular, this generalizes the example, for n = 2, due to Hrushovski given in 3 . © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions

We deal with models of Peano arithmetic (specifically with a question of Ali Enayat). The methods are from creature forcing. We find an expansion of ${\mathbb N}$ such that its theory has models with no (elementary) end extensions. In fact there is a Borel uncountable set of subsets of ${\mathbb N}$ such that expanding ${\mathbb N}$ by any uncountably many of them suffice. Also we find arithmetically closed ${\mathcal A}$ with no ultrafilter on it with suitable definability demand (related to being Ramsey). © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Low sets without subsets of higher many‐one degree

Given a reducibility ?_r, we say that an infinite set A is r‐introimmune if A is not r‐reducible to any of its subsets B with |A\B| = ∞. We consider the many‐one reducibility ?_m and we prove the existence of a low₁ m‐introimmune set in Π⁰₁ and the existence of a low₁ bi‐m‐introimmune set.     

Fuzzy closure systems on L—ordered sets

In this paper, notions of fuzzy closure system and fuzzy closure L —system on L —ordered sets are introduced from the fuzzy point of view. We first explore the fundamental properties of fuzzy closure systems. Then the correspondence between fuzzy closure systems (fuzzy closure L —systems) and fuzzy closure operators is established. Finally, we study the connections between fuzzy closure systems and fuzzy Galois connections. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

On the complexity of axiomatizations of the class of representable quasi‐polyadic equality algebras

Using games, as introduced by Hirsch and Hodkinson in algebraic logic, we give a recursive axiomatization of the class RQPEA _α of representable quasi‐polyadic equality algebras of any dimension α. Following Sain and Thompson in modifying Andréka’s methods of splitting, to adapt the quasi‐polyadic equality case, we show that if Σ is a set of equations axiomatizing RPEA _n for $2< n <\omegaUsing games, as introduced by Hirsch and Hodkinson in algebraic logic, we give a recursive axiomatization of the class RQPEA _α of representable quasi‐polyadic equality algebras of any dimension α. Following Sain and Thompson in modifying Andréka’s methods of splitting, to adapt the quasi‐polyadic equality case, we show that if Σ is a set of equations axiomatizing RPEA _n for $2< n <\omega$ and $l< n,$ $k < n$, k′ < ω are natural numbers, then Σ contains infinitely equations in which ? occurs, one of + or · occurs, a diagonal or a permutation with index l occurs, more than k cylindrifications and more than k′ variables occur. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

On a positive set theory with inequality

We introduce a quite natural Frege‐style set theory, which we call Strong‐Frege‐2 $(\mathsf {SF}_2)$, a sort of simplification of the theory considered in 13 (under the name Strong‐Frege‐3) and 1 (under the name F2). We give a model of a weaker variant of $\mathsf {SF}_2$, called $\mathsf {SF}_2\mathsf {AC}$, where atoms and coatoms are allowed. To construct the model we use an enumeration “almost without repetitions” of the Π¹₁ sets of natural numbers; such an enumeration can be obtained via a classical priority argument much in the style of 5 and 15 . © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Chain homogeneous Souslin algebras

Assuming Jensen's principle ?⁺ we construct Souslin algebras all of whose maximal chains are pairwise isomorphic as total orders, thereby answering questions of Koppelberg and Todor?evi?.     

Parameter dependence for a class of ordinary differential equations with measurable right‐hand side

The paper studies differential equations of the form u′(x) = f(x, u(x), λ(x)), u(x₀) = u₀, where the right‐hand side is merely measurable in x. In particular sufficient conditions for the continuous and the differentiable dependence of solution u on the data and on the parameter λ are stated. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Generalized potentials in variable exponent Lebesgue spaces on homogeneous spaces

We consider generalized potential operators with the kernel on bounded quasimetric measure space (X, μ, d) with doubling measure μ satisfying the upper growth condition μB(x, r) ? Kr^N, N ∈ (0, ∞). Under some natural assumptions on a(r) in terms of almost monotonicity we prove that such potential operators are bounded from the variable exponent Lebesgue space L^p(?)(X, μ) into a certain Musielak‐Orlicz space L^p(X, μ) with the N‐function Φ(x, r) defined by the exponent p(x) and the function a(r). A reformulation of the obtained result in terms of the Matuszewska‐Orlicz indices of the function a(r) is also given. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Multiple solutions of semilinear degenerate elliptic boundary value problems

The purpose of this paper is to study a class of semilinear elliptic boundary value problems with degenerate boundary conditions which include as particular cases the Dirichlet problem and the Robin problem. The approach here is based on the super‐sub‐solution method in the degenerate case, and is distinguished by the extensive use of an L^p Schauder theory elaborated for second‐order, elliptic differential operators with discontinuous zero‐th order term. By using Schauder's fixed point theorem, we prove that the existence of an ordered pair of sub‐ and supersolutions of our problem implies the existence of a solution of the problem. The results extend an earlier theorem due to Kazdan and Warner to the degenerate case. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim