Transfinite Recursion in a Theory of Properties

DOI10.1002/MALQ.19860321903MaRDI QIDQ3701418zbMATH OpenOpenAlexFDO

Authors Stephen Pollard

Publication date 1986

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19860321903

zbMATH Keywords

extensionalityreplacementproperty theoryidentity criterion

Mathematics Subject Classification ID

Set theory (03E99)

Recommendations

• A note on the schemes of replacement and collection
• Transfinite recursion and computation in the iterative conception of set
• Antifoundation and transitive closure in the system of Zermelo
• In praise of replacement
• scientific article; zbMATH DE number 1260341

Cited in

(2)

• REASONING ABOUT TRANSFINITE SEQUENCES
• Transfinite recursion and computation in the iterative conception of set

This page was built for publication: Transfinite Recursion in a Theory of Properties

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