Related papers: Minimum models of second-order set theories
We establish a new self-consistent system of equations for the gravitational and electromagnetic fields. The procedure is based on a non-minimal non-linear extension of the standard Einstein-Hilbert-Maxwell action. General properties of a…
Many models such as Long Short Term Memory (LSTMs), Gated Recurrent Units (GRUs) and transformers have been developed to classify time series data with the assumption that events in a sequence are ordered. On the other hand, fewer models…
In this note we prove several theorems that are related to some results and problems from [6]. We answer two of the main problems that were raised in [6]. First we give a ZFC example of a Hausdorff space in $C(\omega_1)$ that has…
Lately, so-called "quantum" models, based on parts of the mathematics of quantum mechanics, have been developed in decision theory and cognitive sciences to account for seemingly irrational or paradoxical human judgments. We consider here…
A comprehensive and detailed account is presented for the finite-temperature many-body perturbation theory for electrons that expands in power series all thermodynamic functions on an equal footing. Algebraic recursions in the style of the…
We consider the noncommutative extension of the BF theory in two spacetime dimensions. We show that the introduction of the noncommutative parameter \theta_{\mu\nu}, already at first order in the analytical sector, induces infinitely many…
Two bases of states are presented for modules of the graded parafermionic conformal field theory associated to the coset $\osp(1,2)_k/\uh(1)$. The first one is formulated in terms of the two fundamental (i.e., lowest dimensional)…
For a finite group $G$, $N_\infty$ operads encode collections of norm maps, and by work of Blumberg--Hill and Rubin their homotopy category is equivalent to the poset of $G$--transfer systems on the subgroup lattice of $G$. In \cite{ABB+25}…
After a brief review of recent rigorous results concerning the representation theory of rational chiral conformal field theories (RCQFTs) we focus on pairs (A,F) of conformal field theories, where F has a finite group G of global symmetries…
We investigate the parameter distributions of the viable generalized scalar-tensor theory with conventional dust matter after GW170817 in a model-independent way. We numerically construct the models by computing the time evolution of a…
In a recent article (2022) we proved with L. Zaj\'i\v{c}ek that if $ G\subset\R^n $ is an unbounded open convex set that does not contain a translation of a convex cone with non-empty interior, then there exist $ f:G\to\R $ and a concave…
Let $G$ be a finite group and exp$(G)$ = lcm$\{$ord$(g)$$\mid$$g \in G \}$. A finite unordered sequence of terms from $G$, where repetition is allowed, is a product-one sequence if its terms can be ordered such that their product equals the…
We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of…
The consistency of a second-order version of a theorem of Morley on the number of countable models was proved in arXiv:2107.07636 with the aid of large cardinals. We here dispense with them.
Aiming at a complete classification of unitary N=2 minimal models (where the assumption of space-time supersymmetry has been dropped), it is shown that each modular invariant candidate of a partition function for such a theory is indeed the…
After reviewing commutativity of second-order linear time-varying analog systems, the inverse commutativity conditions are derived for these systems by considering non-zero initial conditions. On the base of these conditions, the…
We present distributions of countable models and correspondent structural characteristics of complete theories with continuum many types: for prime models over finite sets relative to Rudin-Keisler preorders, for limit models over types and…
We investigate the end extendibility of models of arithmetic with restricted elementarity. By utilizing the restricted ultrapower construction in the second-order context, for each $n\in\mathbb{N}$ and any countable model of…
In this paper we approximate the radiative transfer equations by the method of moments, constructing mesoscopic approximations of arbitrary order of the otherwise microscopic system. To define the necessary closure a minimum entropy…
Throughout, $T$ denotes a complete first-order theory in a countable language $L$ that has infinite models and $I(\aleph_0,T)$ denotes the number of countable models of $T$, up to an isomorphism. To determine $I(\aleph_0,T)$, it suffices to…