Interpretations of the alternative set theory

DOI10.1007/BF01270464zbMath0792.03036OpenAlexW1988223587WikidataQ60016470 ScholiaQ60016470MaRDI QIDQ1313595

A. Sochor

Publication date: 26 July 1994

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01270464

zbMATH Keywords

ultrapowerinterpretationaxiom of prolongationfull comprehension schemehigher-order arithmeticsmetamathematics of alternative set theorythird-order arithmetic

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Constructibility in higher order arithmetics

Cites Work

• Constructibility in higher order arithmetics
• Choices of Convenient Sets
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interpretations of the alternative set theory