Book contents
- Frontmatter
- Contents
- Introduction
- Speakers and Titles
- Decorated linear order types and the theory of concatenation
- Cardinal preserving elementary embeddings
- Proof interpretations and majorizability
- Proof mining in practice
- Cardinal structure under AD
- Three lectures on automatic structures
- Pillay's conjecture and its solution—a survey
- Proof theory and meaning: On the context of deducibility
- Bounded super real closed rings
- Analytic combinatorics of the transfinite: A unifying Tauberian perspective
- References
Decorated linear order types and the theory of concatenation
Published online by Cambridge University Press: 01 March 2011
Book contents
- Frontmatter
- Contents
- Introduction
- Speakers and Titles
- Decorated linear order types and the theory of concatenation
- Cardinal preserving elementary embeddings
- Proof interpretations and majorizability
- Proof mining in practice
- Cardinal structure under AD
- Three lectures on automatic structures
- Pillay's conjecture and its solution—a survey
- Proof theory and meaning: On the context of deducibility
- Bounded super real closed rings
- Analytic combinatorics of the transfinite: A unifying Tauberian perspective
- References
- Type
- Chapter
- Information
- Logic Colloquium 2007 , pp. 1 - 13Publisher: Cambridge University PressPrint publication year: 2010
References
[1] , Fixing Frege, Princeton Monographs in Philosophy, Princeton University Press, Princeton, NJ, 2005.Google Scholar
[2] , Undecidability without arithmetization, Studia Logica. An International Journal for Symbolic Logic, vol. 79 (2005), no. 2, pp. 163–230.Google Scholar
[3] , Addition and multiplication of sets, MLQ. Mathematical Logic Quarterly, vol. 53 (2007), no. 1, pp. 52–65.Google Scholar
[4] and , Problems and Theorems in Classical Set Theory, Problem Books in Mathematics, Springer, New York, 2006.Google Scholar
[5] , Concatenation as a basis for arithmetic, The Journal of Symbolic Logic, vol. 11 (1946), pp. 105–114.Google Scholar
[6] , Cardinal and Ordinal Numbers, Polska Akademia Nauk, Monografie Matematyczne, vol. 34, Państwowe Wydawnictwo Naukowe, Warsaw, 1958.Google Scholar
[7] , Der wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica, vol. 1 (1935), pp. 261–405, Reprinted as [9]. The paper is a translation of the Polish Pojȩcie prawdy w jȩzykach nauk dedukcyjnych, Prace Towarzystwa Naukowego Warszawskiego, Wydział III matematyczno-fizycznych, no. 34, Warsaw 1933.Google Scholar
[8] , The notion of rank in axiomatic set theory a some of its applications. abstract 628, Bulletin of the American Mathematical Society, vol. 61 (1955), p. 433.Google Scholar
[9] , The concept of truth in formalised languages, Logic, Semantics, Metamathematics (, editor), Oxford University Press, Oxford, 1956, (this paper is a translation of [7]), pp. 152–278.Google Scholar
[10] , Growing commas—a study of sequentiality and concatenation, Notre Dame Journal of Formal Logic, vol. 50 (2009), no. 1, pp. 61–85.Google Scholar
- 1
- Cited by