Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre

@article{FraenkelZuDG,
  title={Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre},
  author={A. Fraenkel},
  journal={Mathematische Annalen},
  volume={86},
  pages={230-237}
}
107 Citations
The Theory of Finitely Supported Structures and Choice Forms
  • A. Alexandru
  • Mathematics, Computer Science
  • Sci. Ann. Comput. Sci.
  • 2018
Dening Finitely Supported Mathematics over Sets with Atoms
Ontology and the foundations of mathematics
How critical is “critical thinking”?
Static Analysis in Finitely Supported Mathematics
  • A. Alexandru, Gabriel Ciobanu
  • Mathematics, Computer Science
  • 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
  • 2015
Automated Backend Selection for ProB Using Deep Learning
...
1
2
3
4
5
...

References