Related papers: New Remarks on Yablo Like Structures
The Isabelle Archive of Formal Proofs has grown to a significant size in the past years. It makes up for an impressive body of research, which enables a number of statistical approaches to various aspects in theorem proving, and has not yet…
In this article we survey some of the recent developments in the structure theory of set addition.
Written version of the theoretical summary lecture presented at the Strangeness in Quark Matter 2022 conference.
Established frameworks to understand problems with reproducibility in science begin with the relationship between our understanding of the prior probability of a claim and the statistical certainty that should be demanded of it, and explore…
This is a partially survey collection of material on gravity, entropy, and information with some new heuristic results related to the WDW equation.
This comment is devoted to the paper "Exact solutions of nonlinear diffusion-convection-reaction equation: A Lie symmetry approach" (CNSNS, vol. 67 (2019), 253-263) in which several results are not new because were derived much earlier.…
A qualitatively new, much more liberal and efficient organisation of science is proposed and justified, in connection with growing debate about further role and development of fundamental science. Although the key ideas can be explained…
Reply to comment appeared on hep-lat/9912014.
This is a perspective on "k-stretchability of entanglement, and the duality of k-separability and k-producibility" by Szil\'ard Szalay, published in Quantum 3, 204 (2019).
This paper is a follow-up work about the artificial ecosystem model: number soup (Liu and Sumpter, J. Royal Soc. Interface, 2017). It elaborates more details about this model and points out future directions.
A class of Cantor-type spaces and related geometric structures are discussed.
Computability logic is a formal theory of (interactive) computability in the same sense as classical logic is a formal theory of truth. This approach was initiated very recently in "Introduction to computability logic" (Annals of Pure and…
We summarize recent developments in the understanding of nucleon structure. New data on F2, R and F2c, over a wide range of Q2 and x, are described. Conventional leading twist NLO perturbative QCD gives an excellent account of all the new…
We propose a transition-based bubble parser to perform coordination structure identification and dependency-based syntactic analysis simultaneously. Bubble representations were proposed in the formal linguistics literature decades ago; they…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
This is an abridged version of our Habilitation thesis. In these notes, we aim to summarize our research interests and achievements as well as motivate what drives our work: symmetry, structure and invariants. The paradigmatic example which…
This is the first version of the editorial foreword to the Perspective review "Research Landscape of Altermagnetism" by L. \v{S}mejkal, et al, published in Phys. Rev. X 12, 040501 (2022). Due to various editorial constraints the publish…
This paper can be viewed as a sequel to the author's long survey on the Zimmer program \cite{F11} published in 2011. The sequel focuses on recent rapid progress on certain aspects of the program particularly concerning rigidity of Anosov…
Within Reinforcement Learning, there is a growing collection of research which aims to express all of an agent's knowledge of the world through predictions about sensation, behaviour, and time. This work can be seen not only as a collection…
GGR News: we hear that..., by David Garfinkle What's new in LIGO, by David Shoemaker News from NSF, by Pedro Marronetti Citation counts and indicies: Beware of bad data, by Clifford Will Research Briefs: Results from Planck, by William…