Truth and the foundations of mathematics. An introduction

Truth and the foundations of mathematics. An introduction

Cached

Download Links

[www.amsta.leeds.ac.uk]

by H. G. Dales , G. Oliveri

Citations:

1 - 0 self

BibTeX

@MISC{Dales_truthand,
    author = {H. G. Dales and G. Oliveri},
    title = {Truth and the foundations of mathematics. An introduction},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

539	A Mathematical Introduction to Logic - Enderton - 1972
430	Set Theory - Jech - 1978
396	Model Theory - Chang - 1973
308	Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme. Monatshefte fur Mathematik und Physik - Godel - 1931
227	Set Theory: An Introduction to Independence Proofs - Kunen - 1983
118	Elements of Intuitionism - Dummett - 1977
117	Outline of a theory of truth - Kripke - 1975
91	Mathematical Thought from Ancient to Modern Times - Kline - 1972
82	Set Theory and the Continuum Hypothesis - Cohen - 1966
63	The axiom of choice - Jech - 1973
61	The concept of truth in formalized languages - Tarski - 1931
56	The Logical Basis of Metaphysics - Dummett - 1991
52	The incompleteness theorems - Smorynski - 1989
51	The independence of the continuum hypothesis - Cohen - 1963
49	The Semantic Conception of Truth and the - Tarski - 1944
48	An introduction to first-order logic - Barwise - 1977
45	Varieties of constructive mathematics - Bridges, Richman - 1987
42	Constructivism in mathematics, an introduction, vol. i - Troelstra, Dalen - 1988
33	Partial realizations of Hilbert’s program - Simpson - 1988
32	Hilbert’s Program relativized: Prooftheoretical and foundational reductions - Feferman - 1988
23	Elementary Number Theory - Burton - 1980
21	Zermelo’s Axiom of Choice: Its origins, development and influence - Moore - 1982
19	The Philosophical Basis of Intuitionistic Logic - Dummett - 1975
17	Frege: Philosophy of Mathematics - Dummett - 1991
14	An introduction to independence for analysts - Dales, Woodin - 1987
14	Georg Cantor: His Mathematics and Philosophy of the Infinite - Dauben - 1979
14	The Critique of Pure Reason. Trans. by - Kant - 1998
13	The Thought - Frege
9	Grundlagen einer allgemeinen Mannigfaltigkeitslehre - Cantor - 1996
8	Intuitionism and formalism - Brouwer
7	Theories of truth - Kirkham - 1992
7	Internal Cohen extensions - Martin, Solovay - 1970
7	1981]: ‘Finitism - Tait
6	Hilbert’s Program - Detlefsen - 1986
6	Philosophy and the Exact Sciences - Friedman - 1992
5	Foundations of mathematics for the working mathematician - Bourbaki - 1949
4	Semantics and the Philosophy of Language - Linsky - 1952
3	Philosophy of mathematics: selected readings (2nd edn - Benacerraf, Putnam - 1983
3	Brouwer's intuitionism - Stigt - 1990
2	Constructive truth in practice. This volume - Bridges - 1998
2	After thirty years - Heyting - 1962
2	Intuitionism---an introduction (3rd edn - Heyting - 1971
2	Kronecker's `Safe haven of real mathematics - Marion - 1995
2	Truth and knowability: on the principles C - Martin-Lof - 1998
1	English translation: Foundations of the theory of manifolds (trans - Teubner - 1976
1	Whitehead's problem is undecidable - Ekloff - 1977
1	Grundgesetze der Arithmetic, begriffsschriftlich abgeleitet, I - Frege - 1903
1	Translated as The foundations of arithmetic (2nd revised edn) (trans - Koebner, Berlin
1	fragment 53 DK - Heraclitus - 1980
1	On the infinite. In Philosophy of mathematics: selected readings (2nd edn - Hilbert - 1983