Answer to a question of Ros\l{}anowski and Shelah
Profiniteness in finitely generated varieties is undecidable
Universal Dynamical Steps in the Exact Time-Dependent
  Exchange-Correlation Potential Cellular Automata get their Wires Crossed Real-Time Transmission Mechanism Design for Wireless IoT Sensors with
  Energy Harvesting under Power Saving Mode Supertransient Magnetohydrodynamic Turbulence in Keplerian Shear Flows:
  The role of the Hall Effect A classification of the dynamics of three-dimensional stochastic
  ecological systems Application-tailored Linear Algebra Algorithms: A search-based Approach A Neumann series of Bessel functions representation for solutions of the
  radial Dirac system tt*-Geometry on the big phase space A biology-inspired approach to the positive integral control of positive
  systems -- the antithetic, exponential, and logistic integral controllers Horofunction compactifications and duality Invariants in Polarimetric Interferometry: a non-Abelian Gauge Theory The Ordered Weighted $\ell_1$ Norm: Atomic Formulation, Projections, and
  Algorithms When different norms lead to same billiard trajectories? Opinion Polarization by Learning from Social Feedback Runaway electrification of friable self-replicating granular matter Turning intractable counting into sampling: computing the
  configurational entropy of three-dimensional jammed packings An (MI)LP-based Primal Heuristic for 3-Architecture Connected Facility
  Location in Urban Access Network Design Message Type Identification of Binary Network Protocols using Continuous
  Segment Similarity The phases of large networks with edge and triangle constraints Integer Ring Sieve for Constructing Compact QC-LDPC Codes with Girths 8,
  10, and 12
math.LO math.GN