Introduction to axiomatic set theory

MaRDI QIDQ2544610zbMATH OpenFDO

Authors Jean-Louis Krivine

Publication date 1971

Published in Synthese Library (Search for Journal in Brave)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set theory (03Exx)

Cited in

(7)

• On a generalized iteration method with applications to fixed point theorems and elliptic systems involving discontinuities
• Three-variable statements of set-pairing
• A note on recursive models of set theories
• Compiling dyadic first-order specifications into map algebra
• On the comparison between fuzzy set axiomatizations
• Logical aspects of quantum (non-)individuality
• Remarks on the theory of quasi-sets

This page was built for publication: Introduction to axiomatic set theory

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