Book Chapter10.1016/s0049-237x(08)70140-x

A Genuinely Intensional Set Theory

Nicolas D. Goodman-1985-01-01-Studies in logic and the foundations of mathematics

13

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

ExtensionalityMathematicsInterpretation (philosophy)Constructive set theoryExtension (predicate logic)AxiomAxiom of choiceConstructive

Chat

Click to start Chat