Publication:5572328
From MaRDI portal
zbMath0182.32803MaRDI QIDQ5572328
Publication date: 1968
Full work available at URL: http://www.numdam.org/item?id=CM_1968__20__53_0
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intuitionism. An introduction
- Properties preserved under homomorphism
- Abstract set theory
- On the axiom of extensionality – Part I
- On the axiom of extensionality, Part II
- Systems of predicative analysis
- Predicative provability in set theory
- A complete and consistent modal set theory
- Persistent and invariant formulas relative to theories of higher order
- A formulation of the simple theory of types
- The formalization of mathematics
- Consistency of the Continuum Hypothesis. (AM-3)