Keyword:set theory

Publications
Hilbert Mathematics Versus (or Rather “Without”) Gödel Mathematics: V. Ontomathematics! Vasil Penchev EasyChair Preprint 13069
Gödel Mathematics Versus Hilbert Mathematics. II Logicism and Hilbert Mathematics, the Identification of Logic and Set Theory, and Gödel’s “Completeness Paper” (1930) Vasil Penchev EasyChair Preprint 9551
Gödel Mathematics Versus Hilbert Mathematics. I. the Gödel Incompleteness (1931) Statement: Axiom or Theorem? Vasil Penchev EasyChair Preprint 9073
Generating Custom Set Theories with Non-Set Structured Objects Ciarán Dunne, Joe Wells and Fairouz Kamareddine EasyChair Preprint 5663
The Godel Incompleteness Theorems (1931) by the Axiom of Choice Vasil Penchev EasyChair Preprint 3855
A Mathematical Model of Quantum Computer by Both Arithmetic and Set Theory Vasil Penchev EasyChair Preprint 3256
From the Four-Colors Theorem to a Generalizing “Four-Letters Theorem”: a Sketch for “Human Proof” and the Philosophical Interpretation Vasil Penchev EasyChair Preprint 3194
What Does This Notation Mean Anyway? BNF-style notation as it is actually used David Feller, Joe Wells, Sébastien Carlier and Fairouz Kamareddine EasyChair Preprint 380
A Case for Extensional Non-Wellfounded Metamodeling Joseph Zalewski and Pascal Hitzler In:LPAR 2024 Complementary Volume
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand and Olivier Hermant In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations