On expandability of models of arithmetic and set theory to models of weak second-order theories

DOI10.4064/FM-122-1-57-60zbMath0551.03021OpenAlexW940474900MaRDI QIDQ3344187

Matt Kaufmann

Publication date: 1984

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211520

zbMATH Keywords

models of arithmeticmodels of set theoryrecursive saturationexpandabilityuncountable modelsweak second order theories

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Logic on admissible sets (03C70)

This page was built for publication: On expandability of models of arithmetic and set theory to models of weak second-order theories