Cumulative versus noncumulative ramified types

DOI10.1305/NDJFL/1039700745zbMath0910.03002OpenAlexW2023345309MaRDI QIDQ1130235

Anthony F. Peressini

Publication date: 19 April 1999

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039700745

zbMATH Keywords

ramified theory of typespredicativityBouleus paradoxcumulativenessGrelling paradox

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Comparison of Russell's resolution of the semantical antinomies with that of Tarski
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Cumulative versus noncumulative ramified types