THE SET OF ALL ANALYTICALLY DEFINABLE SETS OF NATURAL NUMBERS CAN BE DEFINED ANALYTICALLY

DOI10.1070/IM1980V015N03ABEH001258zbMath0452.03041OpenAlexW2169463915MaRDI QIDQ3898492

Kanovei, Vladimir

Publication date: 1980

Published in: Mathematics of the USSR-Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/im1980v015n03abeh001258

zbMATH Keywords

second-order arithmeticanalytic formulaanalytic definability

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items (3)

Models of set theory in which the separation theorem fails ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ On external Scott algebras in nonstandard models of Peano arithmetic

This page was built for publication: THE SET OF ALL ANALYTICALLY DEFINABLE SETS OF NATURAL NUMBERS CAN BE DEFINED ANALYTICALLY