The full basis theorem does not imply analytic wellordering

A finite support product of ${\omega }_1$ clones of Jensen's minimal ${\Pi }_2^1$ singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals.     

Classical solution for a nonlinear hybrid system modeling combustion in a multilayer porous medium

Combustion processes in porous media have been used by the petroleum engineering industry to extract heavy oil from reservoirs. This study focuses on a one-dimensional nonlinear hybrid system consisting of $n$ reaction–diffusion–convection equations coupled with $n$ ordinary differential equations, which models a combustion front moving through a porous medium with $n$ parallel layers. The state variables are the temperature and fuel concentration in each layer. Coupling occurs in both the reaction function and differential operator coefficients. We prove the existence of a classical solution, first locally and then globally over time, to an initial and boundary value problem for the corresponding system. The proof uses a new approach for combustion problems in porous media. The local solution is obtained by defining an operator in a set of Hölder continuous functions and using Schauder’s fixed-point theorem to find a fixed point as the desired solution. Using Zorn’s lemma, we extend the local solution to a global solution, proving that the first-order spatial derivative of the temperature in each layer is a bounded function.     

Some unsolvable conjectures in finite p-groups

We survey some unsolvable conjectures in finite p-groups and their research progress.     

Hermite‐Hadamard‐type inequalities for interval‐valued coordinated convex functions involving generalized fractional integrals

In this paper, we define interval‐valued left‐sided and right‐sided generalized fractional double integrals. We establish inequalities of Hermite‐Hadamard like for coordinated interval‐valued convex functions by applying our newly defined integrals.     

Subset representations and eigenvalues of the universal intertwining matrix

We solve a combinatorial question concerning eigenvalues of the universal intertwining endomorphism of a subset representation.     

Differentiable spaces that are subcartesian

We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is weakly reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures that the orbit space has an exterior algebra of differential forms, that satisfies Smith’s version of de Rham’s theorem. Because the orbit space is a locally closed subcartesian space, it has vector fields and their flows.