Is Leibnizian calculus embeddable in first order logic? (Q1616106): Difference between revisions

@@ Property / author @@
-Kanovei, Vladimir
@@ Property / author: Kanovei, Vladimir / rank @@
-Normal rank
@@ Property / author @@
-Karin Usadi Katz
@@ Property / author: Karin Usadi Katz / rank @@
-Normal rank
@@ Property / author @@
-Taras S. Kudryk
@@ Property / author: Taras S. Kudryk / rank @@
-Normal rank
@@ Property / author @@
+Kanovei, Vladimir
@@ Property / author: Kanovei, Vladimir / rank @@
+Normal rank
@@ Property / author @@
+Karin Usadi Katz
@@ Property / author: Karin Usadi Katz / rank @@
+Normal rank
@@ Property / author @@
+Taras S. Kudryk
@@ Property / author: Taras S. Kudryk / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2368126457
@@ Property / OpenAlex ID: W2368126457 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03501
@@ Property / arXiv ID: 1605.03501 / rank @@
+Normal rank
@@ Property / cites work @@
+Conway's Field of Surreal Numbers
@@ Property / cites work: Conway's Field of Surreal Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Is mathematical history written by the victors?
@@ Property / cites work: Is mathematical history written by the victors? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141094
@@ Property / cites work: Q3141094 / rank @@
+Normal rank
@@ Property / cites work @@
+Fermat, Leibniz, Euler, and the Gang: The True History of the Concepts of Limit and Shadow
+Normal rank
@@ Property / cites work @@
+Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
+Normal rank
@@ Property / cites work @@
+Differentials, higher-order differentials and the derivative in the Leibnizian calculus
+Normal rank
@@ Property / cites work @@
+Q4762155
@@ Property / cites work: Q4762155 / rank @@
+Normal rank
@@ Property / cites work @@
+Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
+Normal rank
@@ Property / cites work @@
+Rings of Real-Valued Continuous Functions. I
@@ Property / cites work: Rings of Real-Valued Continuous Functions. I / rank @@
+Normal rank
@@ Property / cites work @@
+Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
+Normal rank
@@ Property / cites work @@
+Euler's lute and Edwards's oud
@@ Property / cites work: Euler's lute and Edwards's oud / rank @@
+Normal rank
@@ Property / cites work @@
+Cauchy's Continuum
@@ Property / cites work: Cauchy's Continuum / rank @@
+Normal rank
@@ Property / cites work @@
+A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
+Normal rank
@@ Property / cites work @@
+EDWARD NELSON (1932–2014)
@@ Property / cites work: EDWARD NELSON (1932–2014) / rank @@
+Normal rank
@@ Property / cites work @@
+Leibniz’s Laws of Continuity and Homogeneity
@@ Property / cites work: Leibniz’s Laws of Continuity and Homogeneity / rank @@
+Normal rank
@@ Property / cites work @@
+Leibniz's rigorous foundation of infinitesimal geometry by means of Riemannian sums
+Normal rank
@@ Property / cites work @@
+Q4037514
@@ Property / cites work: Q4037514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5261951
@@ Property / cites work: Q5261951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4679101
@@ Property / cites work: Q4679101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3230356
@@ Property / cites work: Q3230356 / rank @@
+Normal rank
@@ Property / cites work @@
+Internal set theory: A new approach to nonstandard analysis
+Normal rank
@@ Property / cites work @@
+Differential geometry via infinitesimal displacements
+Normal rank
@@ Property / cites work @@
+Q3284604
@@ Property / cites work: Q3284604 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-standard analysis
@@ Property / cites work: Non-standard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858231
@@ Property / cites work: Q3858231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4754494
@@ Property / cites work: Q4754494 / rank @@
+Normal rank
@@ Property / cites work @@
+Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
+Normal rank
@@ Property / cites work @@
+Q3230362
@@ Property / cites work: Q3230362 / rank @@
+Normal rank