ARTICLE
|
doi:10.20944/preprints201901.0089.v2
Subject:
Computer Science And Mathematics,
Analysis
Keywords:
General Topology, Axiomatic Set Theory, Real Analysis, Continuum, Graph Theory, Benacerraf's Identification Problem, Mathematical Structuralism
Online: 11 January 2019 (14:30:13 CET)
ARTICLE
|
doi:10.20944/preprints202006.0098.v3
Subject:
Computer Science And Mathematics,
Algebra And Number Theory
Keywords:
Finite Group; Finite Permutation; Set Theory; Mathematical Structuralism; Type Theory; Tree; Data Type; Benacerraf's Identification Problem
Online: 5 July 2020 (05:08:00 CEST)