Elementary extensions of external classes in a nonstandard universe (Q1577348)

The authors continue their study of \textbf{HST}, Hrbaček set theory. They consider the problem of existence of elementary extensions of inner ``external'' subclasses of the \textbf{HST} universe. They show that, given a standard cardinal \(\kappa\), any set \(R\subset {}^* \kappa\) generates an ``internal'' class \(S(R)\) of all sets standard relatively to elements of \(R\), and an ``external'' class \(L[S(R)]\) of all sets constructible (a notion close to the Gödel notion) from \(S(R)\). Also under mild saturation-like requirements for \(R\), they show that the class \(L[S(R)]\) models a certain \(\kappa\)-version of \textbf{HST}.