Elementary extensions of external classes in a nonstandard universe

DOI10.1023/A:1005064032270MaRDI QIDQ1577348zbMATH OpenOpenAlexFDO

Authors Vladimir Kanovei, M. Reeken

Publication date 7 March 2001

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005064032270

zbMATH Keywords

inner subuniversesiterated elementary extensionsnonstandard set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonstandard models in mathematics (03H05)

Review text

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}.

Recommendations

• Internal approach to external sets and universes. III. Partially saturated universes
• scientific article
• scientific article; zbMATH DE number 1143642

Cited in

(4)

• scientific article; zbMATH DE number 5148405 (Why is no real title available?)
• scientific article; zbMATH DE number 1143642 (Why is no real title available?)
• Realism, nonstandard set theory, and large cardinals
• Some remarks on nonstandard theory of classes

This page was built for publication: Elementary extensions of external classes in a nonstandard universe

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1577348)