Note on $\Pi^0_{n+1}$-LEM, $\Sigma^0_{n+1}$-LEM and $\Sigma^0_{n+1}$-DNE
Large normal ideals concentrating on a fixed small cardinality
FADE: Fast and Asymptotically efficient Distributed Estimator for
  dynamic networks Parallel J-W Monte Carlo Simulations of Thermal Phase Changes in
  Finite-size Systems Phase transitions in the $q$-coloring of random hypergraphs Numerical modelling of surface water wave interaction with a moving wall Citation Networks in High Energy Physics Safety design concepts for statistical machine learning components
  toward accordance with functional safety standards Staggered-Ladder Quasienergy Spectra for Generic Quasimomentum and
  Quantum-Dynamical Manifestations On the effectiveness of a binless entropy estimator for generalised
  entropic forms Chaos in core-halo gravitating systems Diffuse gamma ray constraints on annihilating or decaying Dark Matter
  after Fermi Ensembles of Radial Basis Function Networks for Spectroscopic Detection
  of Cervical Pre-Cancer Convex Ramsey matrices and non-amenability of automophism groups of
  generic structures Experimental Demonstration of Staggered CAP Modulation for Low Bandwidth
  Red-Emitting Polymer-LED based Visible Light Communications Using Deep Learning Techniques and Inferential Speech Statistics for AI
  Synthesised Speech Recognition Tests of the Standard Model in Neutron Beta Decay with Polarized Neutron
  and Electron and Unpolarized Proton A generalization of the quantum Rabi model: exact solution and spectral
  structure Generation of mutually unbiased bases as powers of a unitary matrix in
  2-power dimensions String Cosmology and Chaos
math.LO