Non-Standard Models of Arithmetic: a Philosophical and Historical perspective (2010)

by Nicola Di Giorgio

Active Bibliography

GENERAL PHILOSOPHY OF SCIENCE – Roman Frigg, Ioannis Votsis, R. Frigg, I. Votsis
7 Tarski's conceptual analysis of semantical notions – Solomon Feferman - 2002
19 Higher Order Logic – Daniel Leivant - 1994
Logic in the 1930s: Type Theory and Model Theory – Georg Schiemer, Erich H. Reck - 2013
Gödel’s Incompleteness Theorems – Guram Bezhanishvili
11 Does Mathematics Need New Axioms? – Solomon Feferman - 1999
A Structural Approach to Diophantine Definability – Mihai Prunescu - 1999
Classical Logic I: First-Order Logic – Wilfrid Hodges
The Universal Algebra of First Order Logic – Noel Vaillant
2 From IF to BI A Tale of Dependence and Separation – Samson Abramsky, Jouko Väänänen
Foundations for Mathematical Structuralism ∗ – Uri Nodelman, Edward N. Zalta, Uri Nodelman, Edward N. Zalta
MATHEMATICAL TRUTH REGAINED – Robert Hanna
3 Is the Continuum Hypothesis a definite mathematical problem? – Solomon Feferman
1 Abstract Computerizing Mathematical Text with – Fairouz Kamareddine, J. B. Wells
7 What is Neologicism? – Bernard Linsky, Edward N. Zalta - 2006
What is Neologicism? 2 What is Neologicism? ∗ – Bernard Linsky, Edward N. Zalta
6 On the Translation of Higher-Order Problems into First-Order Logic – Manfred Kerber, Manfred Kerber - 1994
6 Chiron: A set theory with types, undefinedness, quotation, and evaluation – William M. Farmer - 2007
3 Re-presenting Scientific Representation – Roman Frigg - 2003