Transfinite Recursion in a Theory of Properties

DOI10.1002/MALQ.19860321903zbMATH Open0579.03042OpenAlexW1975904833MaRDI QIDQ3701418FDOQ3701418

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

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

zbMATH Keywords

extensionalityreplacementproperty theoryidentity criterion

Mathematics Subject Classification ID

Set theory (03E99)

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)