Indefiniteness, definiteness and semi-intuitionistic theories of sets
|
|
- Clinton French
- 6 years ago
- Views:
Transcription
1 Indefiniteness, definiteness and semi-intuitionistic theories of sets Michael Rathjen Department of Pure Mathematics University of Leeds Brouwer Symposium Amsterdam December 9th, 2016
2 The continuum hypothesis, CH First version: Every infinite A R is either of size N or of the same size as R.
3 The continuum hypothesis, CH First version: Every infinite A R is either of size N or of the same size as R. Second version: The cardinality of R is ℵ 1 (or shorter: 2 ℵ 0 = ℵ 1 ).
4 Brouwer
5 Brouwer Die möglichen Mächtigkeiten Von anderen unendlichen Mächtigkeiten, als die abzählbare, die abzählbar unfertige, und die continuierliche, kann gar keine Rede sein.
6 Brouwer Die möglichen Mächtigkeiten Von anderen unendlichen Mächtigkeiten, als die abzählbare, die abzählbar unfertige, und die continuierliche, kann gar keine Rede sein. 1914: Wir sahen oben dass das Cantorsche Haupttheorem für den Intuitionisten keines Beweises bedarf.
7 Brouwer Die möglichen Mächtigkeiten Von anderen unendlichen Mächtigkeiten, als die abzählbare, die abzählbar unfertige, und die continuierliche, kann gar keine Rede sein. 1914: Wir sahen oben dass das Cantorsche Haupttheorem für den Intuitionisten keines Beweises bedarf. Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. Zweiter Teil: Theorie der Punktmengen. (1919)
8 Brouwer Die möglichen Mächtigkeiten Von anderen unendlichen Mächtigkeiten, als die abzählbare, die abzählbar unfertige, und die continuierliche, kann gar keine Rede sein. 1914: Wir sahen oben dass das Cantorsche Haupttheorem für den Intuitionisten keines Beweises bedarf. Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. Zweiter Teil: Theorie der Punktmengen. (1919) Gielen, de Swart, Veldman: The continuum hypothesis in intuitionism (1981)
9 Hilbert
10 Hilbert Hilbert (1900): List of 23 problems. CH is number one.
11 Hilbert Hilbert (1900): List of 23 problems. CH is number one. Hilbert (1925): Über das Unendliche. In it, Hilbert sketched a proof of CH. Instead of R he considers the set N N of all functions from N to N.
12 Hilbert Hilbert (1900): List of 23 problems. CH is number one. Hilbert (1925): Über das Unendliche. In it, Hilbert sketched a proof of CH. Instead of R he considers the set N N of all functions from N to N.,,Wenn wir die Menge dieser Funktionen im Sinne des Kontinuumproblems ordnen wollen, so bedarf es dazu der Bezugnahme auf die Erzeugung der einzelnen Funktionen.
13 Hilbert Hilbert (1900): List of 23 problems. CH is number one. Hilbert (1925): Über das Unendliche. In it, Hilbert sketched a proof of CH. Instead of R he considers the set N N of all functions from N to N.,,Wenn wir die Menge dieser Funktionen im Sinne des Kontinuumproblems ordnen wollen, so bedarf es dazu der Bezugnahme auf die Erzeugung der einzelnen Funktionen. If we want to order the set of these functions in the way required by the problem of the continuum, we must consider how an individual function is generated.
14 137 years and still going strong(?): Cantor s continuum problem The dream solution template à la Hamkins for determining truth in V. E.g. CH.
15 137 years and still going strong(?): Cantor s continuum problem The dream solution template à la Hamkins for determining truth in V. E.g. CH. Step 1. Produce a set-theoretic assertion Φ expressing a natural and intuitively true set-theoretic principle.
16 137 years and still going strong(?): Cantor s continuum problem The dream solution template à la Hamkins for determining truth in V. E.g. CH. Step 1. Produce a set-theoretic assertion Φ expressing a natural and intuitively true set-theoretic principle. Step 2. Prove that Φ determines CH. That is, prove Φ CH or prove that Φ CH
17 Three responses
18 Three responses A universe view: ( Woodin) CH has a truth value in the universe V.
19 Three responses A universe view: ( Woodin) CH has a truth value in the universe V. A multiverse view: ( Hamkins) There are many universes that set theorists study. They all exist. CH has different truth values in different universes.
20 Three responses A universe view: ( Woodin) CH has a truth value in the universe V. A multiverse view: ( Hamkins) There are many universes that set theorists study. They all exist. CH has different truth values in different universes. ( Feferman) CH is neither a definite mathematical problem nor a definite logical problem.
21 Gödel s intrinsic program: Reflection
22 Gödel s intrinsic program: Reflection Gödel 1964 says that: axioms of set theory [ZFC] by no means form a system closed in itself, but, quite on the contrary, the very concept of set on which they are based suggests their extension by new axioms which assert the existence of still further iterations of the operation set of. (260)
23 Gödel s intrinsic program: Reflection Gödel 1964 says that: axioms of set theory [ZFC] by no means form a system closed in itself, but, quite on the contrary, the very concept of set on which they are based suggests their extension by new axioms which assert the existence of still further iterations of the operation set of. (260) He mentions as examples the axioms asserting the existence of inaccessible and Mahlo cardinals
24 Gödel s intrinsic program: Reflection Gödel 1964 says that: axioms of set theory [ZFC] by no means form a system closed in itself, but, quite on the contrary, the very concept of set on which they are based suggests their extension by new axioms which assert the existence of still further iterations of the operation set of. (260) He mentions as examples the axioms asserting the existence of inaccessible and Mahlo cardinals and maintains that [t]hese axioms show clearly, not only that the axiomatic system of set theory as used today is incomplete, but also that it can be supplemented without arbitrariness by new axioms which only unfold the content of the concept of set as explained above ( ).
25 Gödel s intrinsic program: Reflection Gödel 1964 says that: axioms of set theory [ZFC] by no means form a system closed in itself, but, quite on the contrary, the very concept of set on which they are based suggests their extension by new axioms which assert the existence of still further iterations of the operation set of. (260) He mentions as examples the axioms asserting the existence of inaccessible and Mahlo cardinals and maintains that [t]hese axioms show clearly, not only that the axiomatic system of set theory as used today is incomplete, but also that it can be supplemented without arbitrariness by new axioms which only unfold the content of the concept of set as explained above ( ). Gödel later refers to such axioms as having an intrinsic necessary status.
26 What Hope for Gödel s Program to settle CH?
27 What Hope for Gödel s Program to settle CH? Theorem ( Cohen; Levy and Solovay 1967): CH is consistent with and independent of all small and large ) LCAs that have been considered to date, provided they are consistent with ZF.
28 What Hope for Gödel s Program to settle CH? Theorem ( Cohen; Levy and Solovay 1967): CH is consistent with and independent of all small and large ) LCAs that have been considered to date, provided they are consistent with ZF. Proof. By Cohen s method of forcing.
29 Gödel s Extrinsic Program (1947) There might exist axioms so abundant in their verifiable consequences, shedding so much light upon a whole discipline...that quite irrespective of their intrinsic necessity they would have to be assumed in the same sense as any well-established physical theory.
30 Woodin: The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal (2010) The second edition.
31 Woodin: The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal (2010) The second edition. Ultimately of far more significance for this book is that recent results concerning the inner model program undermine the philosophical framework for this entire work.
32 Woodin: The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal (2010) The second edition. Ultimately of far more significance for this book is that recent results concerning the inner model program undermine the philosophical framework for this entire work. I think the evidence now favors CH.
33 Woodin: The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal (2010) The second edition. Ultimately of far more significance for this book is that recent results concerning the inner model program undermine the philosophical framework for this entire work. I think the evidence now favors CH. The picture that is emerging now [...] is as follows. The solution to the inner model problem for one supercompact cardinal yields the ultimate enlargement of L. This enlargement of L is compatible with all stronger large cardinal axioms and strong forms of covering hold relative to this inner model.
34 Feferman on CH
35 Feferman on CH Exploring the frontiers of incompleteness. Peter Koellner s Templeton project.
36 Feferman on CH Exploring the frontiers of incompleteness. Peter Koellner s Templeton project. Solomon Feferman: Is the continuum hypothesis a definite mathematical problem?
37 Feferman s analysis
38 Feferman s analysis Two Informal Notions of Definiteness
39 Feferman s analysis Two Informal Notions of Definiteness 1 Notion of a definite totality/ domain of things.
40 Feferman s analysis Two Informal Notions of Definiteness 1 Notion of a definite totality/ domain of things. 2 Notion of a definite proposition/ definite predicate.
41 Feferman s analysis Two Informal Notions of Definiteness 1 Notion of a definite totality/ domain of things. 2 Notion of a definite proposition/ definite predicate. Criteria for these can be given in logical terms
42 The Criteria
43 The Criteria A predicate P is definite over a domain D iff the Principle of Bivalence holds for it, i.e. x D [P( x ) P( x )].
44 The Criteria A predicate P is definite over a domain D iff the Principle of Bivalence holds for it, i.e. x D [P( x ) P( x )]. A totality D is definite iff quantification over D is a definite logical operation, i.e., whenever R( x, y) is definite over D, so are y D R(y, x ) and y D R(y, x ).
45 Feferman s analysis
46 Feferman s analysis Proposed logical framework for what s definite and what s not: What s definite is the domain of classical logic, what s not is that of intuitionistic logic.
47 Feferman s analysis Proposed logical framework for what s definite and what s not: What s definite is the domain of classical logic, what s not is that of intuitionistic logic. and = are definite. Sets are viewed as definite domains. Hence Classical logic for bounded ( 0 ) formulas. Intuitionistic logic for unbounded quantification.
48 Some Examples
49 Some Examples According to the (ultra) finitists, the natural numbers form an unfinished or indefinite totality, and quantification over the natural numbers is indefinite, while bounded quantification is definite.
50 Some Examples According to the (ultra) finitists, the natural numbers form an unfinished or indefinite totality, and quantification over the natural numbers is indefinite, while bounded quantification is definite. According to the predicativists, the natural numbers form a definite totality, but not the supposed collection of arbitrary sets of natural numbers.
51 More Examples
52 More Examples According to some classical Descriptive Set Theorists, the set R of real numbers is a definite totality but not the supposed totality of arbitrary subsets of R.
53 More Examples According to some classical Descriptive Set Theorists, the set R of real numbers is a definite totality but not the supposed totality of arbitrary subsets of R. Set theory identifies definite totalities with sets. Then V is not a definite totality by Russell s Paradox. ( Predicative Set Theory)
54 Indefinitely extensible concepts
55 Indefinitely extensible concepts Ich setze voraus, dass man wisse, was der Umfang eines Begriffes sei. I assume that it is known what the extension of a concept is. Frege: Die Grundlagen der Arithmetik (Breslau 1884) 68.
56 Indefinitely extensible concepts Ich setze voraus, dass man wisse, was der Umfang eines Begriffes sei. I assume that it is known what the extension of a concept is. Frege: Die Grundlagen der Arithmetik (Breslau 1884) 68. In Frege: Philosophy of Mathematics, Dummett s diagnosis of the failure of Frege s logicist project focusses on the adoption of classical quantification.
57 Indefinitely extensible concepts Ich setze voraus, dass man wisse, was der Umfang eines Begriffes sei. I assume that it is known what the extension of a concept is. Frege: Die Grundlagen der Arithmetik (Breslau 1884) 68. In Frege: Philosophy of Mathematics, Dummett s diagnosis of the failure of Frege s logicist project focusses on the adoption of classical quantification. Dummett argues that classical quantification is illegitimate when the domain is given as the objects which fall under an indefinitely extensible concept.
58 Dummett: What is Mathematics About?, 1994
59 Dummett: What is Mathematics About?, 1994 Cantor saw far more deeply into the matter than Frege did: he was aware, long before, that one cannot simply assume every concept to have an extension with a determinate cardinality. (p. 26)
60 Dummett: What is Mathematics About?, 1994 Cantor saw far more deeply into the matter than Frege did: he was aware, long before, that one cannot simply assume every concept to have an extension with a determinate cardinality. (p. 26) The fact revealed by the set-theoretic paradoxes was the existence of indefinitely extensible concepts - a fact of which Frege did not dream and even Cantor had only an obscure perception.
61 There can be no objection to quantifying over all objects falling under some indefinitely extensible concept, say over everything we should, given an intelligible description of it, recognize as an ordinal number, provided that we do not think of the statements formed by means of such quantification as having determinate truth-conditions; we can understand them only as making claims of the kind already sketched. They will not then satisfy the laws of classical logic, but only the weaker laws of intuitionistic logic.
62 Actualism versus Potentialism
63 Actualism versus Potentialism This, to be sure, is a rough distinction. But it has a long history, going back to Aristotle.
64 Actualism versus Potentialism This, to be sure, is a rough distinction. But it has a long history, going back to Aristotle. One way of formally regimenting this informal distinction is by employing intuitionistic logic for domains for which one is a potentialist and reserving classic logic for domains for which one is an actualist.
65 Actualism versus Potentialism This, to be sure, is a rough distinction. But it has a long history, going back to Aristotle. One way of formally regimenting this informal distinction is by employing intuitionistic logic for domains for which one is a potentialist and reserving classic logic for domains for which one is an actualist. This is the approach Tait takes in his work on reflection principles. Feferman work on semi-intuitionistic systems of set theory can also be recast in those terms.
66 Toward Axiomatic Formulations
67 Toward Axiomatic Formulations Restrict quantifiers in the formulas that are supposed to represent definite properties, e.g. in Comprehension or Separation axioms.
68 Toward Axiomatic Formulations Restrict quantifiers in the formulas that are supposed to represent definite properties, e.g. in Comprehension or Separation axioms. Quantification over indefinite domains may still be regarded as meaningful, in order to state generic properties and closure properties of the realm of sets, but is governed by intuitionistic logic.
69 The theory SCS
70 The theory SCS Feferman: On the strength of some semi-constructive theories (2012)
71 The theory SCS Feferman: On the strength of some semi-constructive theories (2012) Basic axioms
72 The theory SCS Feferman: On the strength of some semi-constructive theories (2012) Basic axioms Extensionality
73 The theory SCS Feferman: On the strength of some semi-constructive theories (2012) Basic axioms Extensionality Pairing and Union
74 The theory SCS Feferman: On the strength of some semi-constructive theories (2012) Basic axioms Extensionality Pairing and Union Infinity
75 The theory SCS Feferman: On the strength of some semi-constructive theories (2012) Basic axioms Extensionality Pairing and Union Infinity Set Induction for any formula ϕ(x). x [ y x ϕ(y) ϕ(x)] x ϕ(x)
76 SCS continued
77 SCS continued LEM 0 is the schema ϕ ϕ for ϕ 0.
78 LEM 0 is the schema for ϕ 0. SCS continued ϕ ϕ BOS is the schema (for all formulas ϕ(x)): If x a [ϕ(x) ϕ(x)] then x a ϕ(x) x a ϕ(x).
79 LEM 0 is the schema for ϕ 0. SCS continued ϕ ϕ BOS is the schema (for all formulas ϕ(x)): If x a [ϕ(x) ϕ(x)] then x a ϕ(x) x a ϕ(x). AC full is the schema (for all formulas ϕ(x, y)): x a y ϕ(x, y) f [dom(f ) = a x a ϕ(x, f (x))]
80 LEM 0 is the schema for ϕ 0. SCS continued ϕ ϕ BOS is the schema (for all formulas ϕ(x)): If x a [ϕ(x) ϕ(x)] then x a ϕ(x) x a ϕ(x). AC full is the schema (for all formulas ϕ(x, y)): x a y ϕ(x, y) f [dom(f ) = a x a ϕ(x, f (x))] MP is the schema x θ(x) x θ(x) for θ(x) 0.
81 Why these axioms?
82 Why these axioms? Older roots: Pozsgay (1971, 1972); Tharp (1971); Wolf (1974).
83 Why these axioms? Older roots: Pozsgay (1971, 1972); Tharp (1971); Wolf (1974). Myhill s Constructive Set Theory (1974).
84 Why these axioms? Older roots: Pozsgay (1971, 1972); Tharp (1971); Wolf (1974). Myhill s Constructive Set Theory (1974). Feferman subjected these theories to functional interpretation (goes back a long way).
85 Feferman s Conjecture: CH is not a definite mathematical problem
86 Feferman s Conjecture: CH is not a definite mathematical problem Let SCS + be the theory SCS + R is a set.
87 Feferman s Conjecture: CH is not a definite mathematical problem Let SCS + be the theory SCS + R is a set. The formal version of the conjecture is that SCS + CH CH
88 Feferman s Conjecture: CH is not a definite mathematical problem Let SCS + be the theory SCS + R is a set. The formal version of the conjecture is that SCS + CH CH The theory SCS has too many axioms.
89 Feferman s Conjecture: CH is not a definite mathematical problem Let SCS + be the theory SCS + R is a set. The formal version of the conjecture is that SCS + CH CH The theory SCS has too many axioms. SCS + is quite strong. It proves every theorem of (classical) second order arithmetic. In strength it resides strictly between second order arithmetic and Zermelo set theory.
90 The conjecture is true
91 The conjecture is true R: Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman. JSL Techniques: Relativized constructible hierarchy L[A], forcing, realizability.
92 The conjecture is true Remark: R: Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman. JSL Techniques: Relativized constructible hierarchy L[A], forcing, realizability. The machinery can also be applied to furnish other indefinite statements.
93 Theorem: (Koellner, Woodin) Let DWOR be the statement that that there is a well-ordering of R in L(R). Assume Con(ZFC + There are ω-many Woodin cardinals ). Then SCS + DWOR DWOR.
94 Theorem: (Koellner, Woodin) Let NCR be the statement There is a non-constructible real. Then SCS NCR NCR.
95 Feferman s second conjecture
96 Feferman s second conjecture One of the basic considerations leading to the SCS systems in general is that a statement ϕ is recognized to be definite relative to such just in case LEM holds for it, in other words just in case SCS proves ϕ ϕ, and otherwise it is indefinite. Similarly, a formula ϕ(x) is recognized to be definite relative to SCS just in case it proves x [ϕ(x) ϕ(x)]. In the case of SCS, I conjecture that every such formula is equivalent to a 1 formula and hence is absolute for end-extensions. Furthermore, in the case of SCS + Pow(ω), the corresponding conjecture is that every such formula is 1 in the power set of ω.
97 1 Definition: For a predicate given by a formula A(x) with at most x free we say that A(x) is 1 with respect to a theory T SCS if there exist a Σ 1 -formula B(x) and a Π 1 -formula C(x) such that T x [A(x) B(x) C(x)]. A(x) is said to be definite or to satisfy LEM with respect to T if T x [A(x) A(x)]. In constructive mathematics, the latter property is also know as decidability (with respect to T ).
98 Global Choice
99 Global Choice The axiom of global choice, AC global, is expressed in an extension of the language by a new binary relation symbol R, via the following axioms pertaining to R:
100 Global Choice The axiom of global choice, AC global, is expressed in an extension of the language by a new binary relation symbol R, via the following axioms pertaining to R: (i) x y z[r(x, y) R(x, z) y = z] (1) (ii) x[x y x R(x, y)]. (2)
101 Global Choice The axiom of global choice, AC global, is expressed in an extension of the language by a new binary relation symbol R, via the following axioms pertaining to R: (i) x y z[r(x, y) R(x, z) y = z] (1) (ii) x[x y x R(x, y)]. (2) Moreover, the axiom schemes of 0 -Separation and 0 -Collection are now formulated for 0 -formulae of the extended language.
102 Theorem: Suppose ( ) SCS + AC global x [ ya( x, y) zb( x, z)] where A and B are 0. Then SCS + AC global x [ ya( x, y) ya( x, y)].
103 Counterexample One might think there is a more general result to the effect that a theory with decidable atomic formulae and Collection has the property that 1 predicates provably satisfy excluded third.
104 Counterexample One might think there is a more general result to the effect that a theory with decidable atomic formulae and Collection has the property that 1 predicates provably satisfy excluded third. Proposition. There is an extension T of HA such that there is a formula A that is 1 relative to T but T does not prove A A.
105 Theorem: Suppose SCS x [A(x) A(x)]. Then there exist a Σ 1 -formula B(x) and a Π 1 -formula C(x) in the language of SCS + AC global, L (R), such that SCS + AC global x [A(x) B(x) C(x)].
106 The previous result can also be slightly strengthened. Theorem: Suppose SCS + AC global x [A(x) A(x)]. Then there exist a Σ 1 -formula B(x) and a Π 1 -formula C(x) in the language of SCS + AC global, L (R), such that SCS + AC global x [A(x) B(x) C(x)].
107
108 One would like to get rid of global choice in the interpreting theory, i.e., weaken global choice to just choice.
109 One would like to get rid of global choice in the interpreting theory, i.e., weaken global choice to just choice. One idea is to use class forcing (as in the case of ZFC) to find an interpretation of SCS + AC global in SCS that preserves the formulae of L. In the case of ZFC the class of forcing conditions consists of local choice functions h, i.e., functions such that for all x in the domain of h, h(x) x if x and h(x) = if x =.
110 One would like to get rid of global choice in the interpreting theory, i.e., weaken global choice to just choice. One idea is to use class forcing (as in the case of ZFC) to find an interpretation of SCS + AC global in SCS that preserves the formulae of L. In the case of ZFC the class of forcing conditions consists of local choice functions h, i.e., functions such that for all x in the domain of h, h(x) x if x and h(x) = if x =. While forcing can be defined in SCS, the problem we encountered is that SCS seems to be too weak to be able to show that every theorem of SCS is forced, the particular culprit being Collection.
111 SCS + = SCS + R is a set Remark: Versions of the previous Theorem for stronger theories can also be proved, for instance for the theory SCS + = SCS + R is a set.
112 Theorem Suppose A is a Π 2 statement of L (R) that holds in L(b, ), where b is a transitive set and is well-ordering on b. If SCS + AC global A A, then L κ (b, ) = A holds for all admissible sets L κ (b, ) with κ > ω.
113 Corollary: Recall that a statement D is indefinite relative to SCS + AC global if SCS + AC global D D.
114 Corollary: Recall that a statement D is indefinite relative to SCS + AC global if SCS + AC global D D. One can now, e.g., take any of the statements that are equivalent to ATR 0 over ACA 0 from Simpson s book and conclude that they are indeterminate relative to SCS + AC global as they are of Π 2 form, hold in L but fail to hold in L ω ck. This was also observed by Koellner and 1 Woodin. Here are two examples.
115 Corollary: Recall that a statement D is indefinite relative to SCS + AC global if SCS + AC global D D. One can now, e.g., take any of the statements that are equivalent to ATR 0 over ACA 0 from Simpson s book and conclude that they are indeterminate relative to SCS + AC global as they are of Π 2 form, hold in L but fail to hold in L ω ck. This was also observed by Koellner and 1 Woodin. Here are two examples. 1 Comparability of well-orderings on subsets of ω.
116 Corollary: Recall that a statement D is indefinite relative to SCS + AC global if SCS + AC global D D. One can now, e.g., take any of the statements that are equivalent to ATR 0 over ACA 0 from Simpson s book and conclude that they are indeterminate relative to SCS + AC global as they are of Π 2 form, hold in L but fail to hold in L ω ck. This was also observed by Koellner and 1 Woodin. Here are two examples. 1 Comparability of well-orderings on subsets of ω determinacy.
117 Corollary: Recall that a statement D is indefinite relative to SCS + AC global if SCS + AC global D D. One can now, e.g., take any of the statements that are equivalent to ATR 0 over ACA 0 from Simpson s book and conclude that they are indeterminate relative to SCS + AC global as they are of Π 2 form, hold in L but fail to hold in L ω ck. This was also observed by Koellner and 1 Woodin. Here are two examples. 1 Comparability of well-orderings on subsets of ω determinacy. One can also take the statement Every real is constructible since there are admissible sets of the form L κ (x) where x is a constructible real but x fails to be constructible in L κ (x).
118 Remark. The machinery can also be applied to SCS + AC global + R is a set to give indefinite statements relative to that theory.
119 Remark. The machinery can also be applied to SCS + AC global + R is a set to give indefinite statements relative to that theory. Remark. Likewise, the machinery can be applied to SCS + AC global + Pow to give indefinite statements.
120 dank u wel
WHY ISN T THE CONTINUUM PROBLEM ON THE MILLENNIUM ($1,000,000) PRIZE LIST?
WHY ISN T THE CONTINUUM PROBLEM ON THE MILLENNIUM ($1,000,000) PRIZE LIST? Solomon Feferman CSLI Workshop on Logic, Rationality and Intelligent Interaction Stanford, June 1, 2013 Why isn t the Continuum
More informationHow Philosophy Impacts on Mathematics
.. How Philosophy Impacts on Mathematics Yang Rui Zhi Department of Philosophy Peking University Fudan University March 20, 2012 Yang Rui Zhi (PKU) Philosophical Impacts on Mathematics 20 Mar. 2012 1 /
More informationAbsolutely ordinal definable sets
Absolutely ordinal definable sets John R. Steel University of California, Berkeley May 2017 References: (1) Gödel s program, in Interpreting Gödel, Juliette Kennedy ed., Cambridge Univ. Press 2014. (2)
More informationGödel s Programm and Ultimate L
Gödel s Programm and Ultimate L Fudan University National University of Singapore, September 9, 2017 Outline of Topics 1 CT s Problem 2 Gödel s Program 3 Ultimate L 4 Conclusion Remark Outline CT s Problem
More informationGeneralizing Gödel s Constructible Universe:
Generalizing Gödel s Constructible Universe: Ultimate L W. Hugh Woodin Harvard University IMS Graduate Summer School in Logic June 2018 Ordinals: the transfinite numbers is the smallest ordinal: this is
More informationProof Theory and Subsystems of Second-Order Arithmetic
Proof Theory and Subsystems of Second-Order Arithmetic 1. Background and Motivation Why use proof theory to study theories of arithmetic? 2. Conservation Results Showing that if a theory T 1 proves ϕ,
More informationarxiv: v1 [math.lo] 7 Dec 2017
CANONICAL TRUTH MERLIN CARL AND PHILIPP SCHLICHT arxiv:1712.02566v1 [math.lo] 7 Dec 2017 Abstract. We introduce and study a notion of canonical set theoretical truth, which means truth in a transitive
More informationUnsolvable problems, the Continuum Hypothesis, and the nature of infinity
Unsolvable problems, the Continuum Hypothesis, and the nature of infinity W. Hugh Woodin Harvard University January 9, 2017 V : The Universe of Sets The power set Suppose X is a set. The powerset of X
More informationTrees and generic absoluteness
in ZFC University of California, Irvine Logic in Southern California University of California, Los Angeles November 6, 03 in ZFC Forcing and generic absoluteness Trees and branches The method of forcing
More informationThis section will take the very naive point of view that a set is a collection of objects, the collection being regarded as a single object.
1.10. BASICS CONCEPTS OF SET THEORY 193 1.10 Basics Concepts of Set Theory Having learned some fundamental notions of logic, it is now a good place before proceeding to more interesting things, such as
More informationAxiomatic set theory. Chapter Why axiomatic set theory?
Chapter 1 Axiomatic set theory 1.1 Why axiomatic set theory? Essentially all mathematical theories deal with sets in one way or another. In most cases, however, the use of set theory is limited to its
More informationThe triple helix. John R. Steel University of California, Berkeley. October 2010
The triple helix John R. Steel University of California, Berkeley October 2010 Three staircases Plan: I. The interpretability hierarchy. II. The vision of ultimate K. III. The triple helix. IV. Some locator
More informationThe modal logic of forcing
Joel David Hamkins New York University, Philosophy The City University of New York, Mathematics College of Staten Island of CUNY The CUNY Graduate Center London, August 5 6, 2011 This is joint work with
More informationInterpreting classical theories in constructive ones
Interpreting classical theories in constructive ones Jeremy Avigad Department of Philosophy Carnegie Mellon University avigad+@cmu.edu http://macduff.andrew.cmu.edu 1 A brief history of proof theory Before
More informationPhilosophy of Set Theory
Philosophy of Set Theory A Pragmatistic View Yang Rui Zhi Department of Philosophy Peking University September 15, 2011 Yang Rui Zhi (PKU) Philosophy of Set Theory 15 Sep 2011 1 / 15 Outline 1 A Pragmatistic
More informationUNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS TREVOR M. WILSON
UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS TREVOR M. WILSON Abstract. We prove several equivalences and relative consistency results involving notions of generic absoluteness beyond Woodin s ) (Σ
More informationSet Theory and the Foundation of Mathematics. June 19, 2018
1 Set Theory and the Foundation of Mathematics June 19, 2018 Basics Numbers 2 We have: Relations (subsets on their domain) Ordered pairs: The ordered pair x, y is the set {{x, y}, {x}}. Cartesian products
More informationINCOMPLETENESS I by Harvey M. Friedman Distinguished University Professor Mathematics, Philosophy, Computer Science Ohio State University Invitation
INCOMPLETENESS I by Harvey M. Friedman Distinguished University Professor Mathematics, Philosophy, Computer Science Ohio State University Invitation to Mathematics Series Department of Mathematics Ohio
More informationINDEPENDENCE OF THE CONTINUUM HYPOTHESIS
INDEPENDENCE OF THE CONTINUUM HYPOTHESIS CAPSTONE MATT LUTHER 1 INDEPENDENCE OF THE CONTINUUM HYPOTHESIS 2 1. Introduction This paper will summarize many of the ideas from logic and set theory that are
More informationSet Theory History. Martin Bunder. September 2015
Set Theory History Martin Bunder September 2015 What is a set? Possible Definition A set is a collection of elements having a common property Abstraction Axiom If a(x) is a property ( y)( x)(x y a(x))
More informationResearch Statement. Peter Koellner
Research Statement Peter Koellner My research concerns the search for and justification of new axioms in mathematics. The need for new axioms arises from the independence results. Let me explain. In reasoning
More informationThe constructible universe
The constructible universe In this set of notes I want to sketch Gödel s proof that CH is consistent with the other axioms of set theory. Gödel s argument goes well beyond this result; his identification
More informationInformal Statement Calculus
FOUNDATIONS OF MATHEMATICS Branches of Logic 1. Theory of Computations (i.e. Recursion Theory). 2. Proof Theory. 3. Model Theory. 4. Set Theory. Informal Statement Calculus STATEMENTS AND CONNECTIVES Example
More informationCHAPTER 11. Introduction to Intuitionistic Logic
CHAPTER 11 Introduction to Intuitionistic Logic Intuitionistic logic has developed as a result of certain philosophical views on the foundation of mathematics, known as intuitionism. Intuitionism was originated
More informationKRIPKE S THEORY OF TRUTH 1. INTRODUCTION
KRIPKE S THEORY OF TRUTH RICHARD G HECK, JR 1. INTRODUCTION The purpose of this note is to give a simple, easily accessible proof of the existence of the minimal fixed point, and of various maximal fixed
More informationCreative Objectivism, a powerful alternative to Constructivism
Creative Objectivism, a powerful alternative to Constructivism Copyright c 2002 Paul P. Budnik Jr. Mountain Math Software All rights reserved Abstract It is problematic to allow reasoning about infinite
More informationDOWNLOAD PDF FOR SET THEORY
Chapter 1 : Discrete Mathematics/Set theory - Wikibooks, open books for an open world Set theory is a branch of mathematical logic that studies sets, which informally are collections of theinnatdunvilla.comgh
More informationIntroduction to Logic and Axiomatic Set Theory
Introduction to Logic and Axiomatic Set Theory 1 Introduction In mathematics, we seek absolute rigor in our arguments, and a solid foundation for all of the structures we consider. Here, we will see some
More informationThe Relation Reflection Scheme
The Relation Reflection Scheme Peter Aczel petera@cs.man.ac.uk Schools of Mathematics and Computer Science The University of Manchester September 14, 2007 1 Introduction In this paper we introduce a new
More informationWhat are Axioms of Set Theory?
Set-theorists use the term Axiom (of Set Theory) quite freely. What do they mean by it? Examples Axioms of ZFC: Axiom of Extensionality Pairing Axiom Separation Axiom Union Axiom Powerset Axiom Axiom of
More informationIntuitionism and effective descriptive set theory
Intuitionism and effective descriptive set theory Joan R. Moschovakis and Yiannis N. Moschovakis Occidental College and University of California, Los Angeles L. E. J. Brouwer, fifty years later, Amsterdam,
More informationModel Theory of Second Order Logic
Lecture 2 1, 2 1 Department of Mathematics and Statistics University of Helsinki 2 ILLC University of Amsterdam March 2011 Outline Second order characterizable structures 1 Second order characterizable
More informationMAGIC Set theory. lecture 6
MAGIC Set theory lecture 6 David Asperó Delivered by Jonathan Kirby University of East Anglia 19 November 2014 Recall: We defined (V : 2 Ord) by recursion on Ord: V 0 = ; V +1 = P(V ) V = S {V : < } if
More informationExtremely large cardinals in the absence of Choice
Extremely large cardinals in the absence of Choice David Asperó University of East Anglia UEA pure math seminar, 8 Dec 2014 The language First order language of set theory. Only non logical symbol: 2 The
More informationA Height-Potentialist View of Set Theory
A Height-Potentialist View of Set Theory Geoffrey Hellman September, 2015 SoTFoM Vienna 1 The Modal-Structural Framework Background logic: S5 quantified modal logic with secondorder or plurals logic, without
More informationReview: Stephen G. Simpson (1999) Subsystems of Second-Order Arithmetic (Springer)
Review: Stephen G. Simpson (1999) Subsystems of Second-Order Arithmetic (Springer) Jeffrey Ketland, February 4, 2000 During the nineteenth century, and up until around 1939, many major mathematicians were
More informationBetween proof theory and model theory Three traditions in logic: Syntactic (formal deduction)
Overview Between proof theory and model theory Three traditions in logic: Syntactic (formal deduction) Jeremy Avigad Department of Philosophy Carnegie Mellon University avigad@cmu.edu http://andrew.cmu.edu/
More informationINTRODUCTION TO CARDINAL NUMBERS
INTRODUCTION TO CARDINAL NUMBERS TOM CUCHTA 1. Introduction This paper was written as a final project for the 2013 Summer Session of Mathematical Logic 1 at Missouri S&T. We intend to present a short discussion
More informationThis is logically equivalent to the conjunction of the positive assertion Minimal Arithmetic and Representability
16.2. MINIMAL ARITHMETIC AND REPRESENTABILITY 207 If T is a consistent theory in the language of arithmetic, we say a set S is defined in T by D(x) if for all n, if n is in S, then D(n) is a theorem of
More informationSet Theory: Forcing and Semantics. Roger Bishop Jones
Set Theory: Forcing and Semantics Roger Bishop Jones Contents Preface 2 1 Introduction 2 2 Semantic Logicism 3 2.1 formalism........................ 4 2.2 Some Notes on Carnap................. 4 3 Forcing
More informationKrivine s Intuitionistic Proof of Classical Completeness (for countable languages)
Krivine s Intuitionistic Proof of Classical Completeness (for countable languages) Berardi Stefano Valentini Silvio Dip. Informatica Dip. Mat. Pura ed Applicata Univ. Torino Univ. Padova c.so Svizzera
More informationThe logic of Σ formulas
The logic of Σ formulas Andre Kornell UC Davis BLAST August 10, 2018 Andre Kornell (UC Davis) The logic of Σ formulas BLAST August 10, 2018 1 / 22 the Vienna Circle The meaning of a proposition is the
More informationGödel and Formalism freeness. Juliette Kennedy
Gödel and Formalism freeness Juliette Kennedy Tait, The 5 Questions (2008) Logic Another line of thought has to do with more logical considerations, consisting of a collection of ideas associated with
More informationPart II Logic and Set Theory
Part II Logic and Set Theory Theorems Based on lectures by I. B. Leader Notes taken by Dexter Chua Lent 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationThe hierarchy of second-order set theories between GBC and KM and beyond
The hierarchy of second-order set theories between GBC and KM and beyond Joel David Hamkins City University of New York CUNY Graduate Center Mathematics, Philosophy, Computer Science College of Staten
More informationSemantic methods in proof theory. Jeremy Avigad. Department of Philosophy. Carnegie Mellon University.
Semantic methods in proof theory Jeremy Avigad Department of Philosophy Carnegie Mellon University avigad@cmu.edu http://macduff.andrew.cmu.edu 1 Proof theory Hilbert s goal: Justify classical mathematics.
More informationSet-theoretic Geology, the Ultimate Inner. Model, and New Axioms. Justin William Henry Cavitt. Advisor: W. Hugh Woodin. Harvard University
Set-theoretic Geology, the Ultimate Inner Model, and New Axioms Justin William Henry Cavitt (860) 949-5686 cavittjustin@gmail.com Advisor: W. Hugh Woodin Harvard University March 20, 2017 Submitted in
More informationNon-deterministic inductive definitions and Fullness
Non-deterministic inductive definitions and Fullness Hajime Ishihara and Takako Nemoto September 16, 2015 Abstract In this paper, we deal with the non-deterministic inductive definition principle NID with
More informationFormalizing objective mathematics
Formalizing objective mathematics Paul Budnik Mountain Math Software paul@mtnmath.com Copyright c 2010 Mountain Math Software All Rights Reserved Contents 1 Introduction 2 1.1 The mathematics of recursive
More informationClass 15: Hilbert and Gödel
Philosophy 405: Knowledge, Truth and Mathematics Spring 2008 M, W: 1-2:15pm Hamilton College Russell Marcus rmarcus1@hamilton.edu I. Hilbert s programme Class 15: Hilbert and Gödel We have seen four different
More informationUniverses and the limits of Martin-Löf type theory
Universes and the limits of Martin-Löf type theory Michael Rathjen School of Mathematics University of Leeds Russell 08 Proof Theory meets Type Theory Swansea, March 15, 2008 Two foundational programmes
More informationOn the Gödel-Friedman Program (for the Conference in Honor of Harvey Friedman) Geoffrey Hellman
On the Gödel-Friedman Program (for the Conference in Honor of Harvey Friedman) Geoffrey Hellman May, 2009 1 Description of Gaps: the first of two 1. How bridge gap between consistency statements pertaining
More informationAxioms as definitions: revisiting Hilbert
Axioms as definitions: revisiting Hilbert Laura Fontanella Hebrew University of Jerusalem laura.fontanella@gmail.com 03/06/2016 What is an axiom in mathematics? Self evidence, intrinsic motivations an
More informationPeano Arithmetic. CSC 438F/2404F Notes (S. Cook) Fall, Goals Now
CSC 438F/2404F Notes (S. Cook) Fall, 2008 Peano Arithmetic Goals Now 1) We will introduce a standard set of axioms for the language L A. The theory generated by these axioms is denoted PA and called Peano
More informationForcing Axioms and Inner Models of Set Theory
Forcing Axioms and Inner Models of Set Theory Boban Veličković Equipe de Logique Université de Paris 7 http://www.logique.jussieu.fr/ boban 15th Boise Extravaganza in Set Theory Boise State University,
More informationThe Absoluteness of Constructibility
Lecture: The Absoluteness of Constructibility We would like to show that L is a model of V = L, or, more precisely, that L is an interpretation of ZF + V = L in ZF. We have already verified that σ L holds
More informationPhilosophy of Mathematics Intuitionism
Philosophy of Mathematics Intuitionism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 01/12/15 Classical mathematics Consider the Pythagorean argument that 2 is irrational: 1. Assume that
More informationMinimal models of second-order set theories
Minimal models of second-order set theories Kameryn J Williams CUNY Graduate Center Set Theory Day 2016 March 11 K Williams (CUNY) Minimal models of second-order set theories 2016 March 11 1 / 17 A classical
More informationZermelo-Fraenkel Set Theory
Zermelo-Fraenkel Set Theory Zak Mesyan University of Colorado Colorado Springs The Real Numbers In the 19th century attempts to prove facts about the real numbers were limited by the lack of a rigorous
More informationRealizable Extensions of Intuitionistic Analysis: Brouwer, Kleene, Kripke and the End of Time
Realizable Extensions of Intuitionistic Analysis: Brouwer, Kleene, Kripke and the End of Time Joan Rand Moschovakis Occidental College, Emerita ASL Special Session on Intuitionism and Intuitionistic Logic
More informationAn Intuitively Complete Analysis of Gödel s Incompleteness
An Intuitively Complete Analysis of Gödel s Incompleteness JASON W. STEINMETZ (Self-funded) A detailed and rigorous analysis of Gödel s proof of his first incompleteness theorem is presented. The purpose
More informationA Note on Singular Cardinals in Set Theory without Choice
arxiv:0709.2436v1 [math.lo] 15 Sep 2007 A Note on Singular Cardinals in Set Theory without Choice Denis I. Saveliev 2007 August 11, Beijing Partially supported by grant 06-01-00608-a of Russian Foundation
More informationCantor (1). Georg Cantor ( ) studied in Zürich, Berlin, Göttingen Professor in Halle
Cantor (1). Georg Cantor (1845-1918) studied in Zürich, Berlin, Göttingen Professor in Halle Work in analysis leads to the notion of cardinality (1874): most real numbers are transcendental. Correspondence
More informationOn Ramsey s Theorem for Pairs
On Ramsey s Theorem for Pairs Peter A. Cholak, Carl G. Jockusch Jr., and Theodore A. Slaman On the strength of Ramsey s theorem for pairs. J. Symbolic Logic, 66(1):1-55, 2001. www.nd.edu/~cholak Ramsey
More informationSymposium: L.E.J. Brouwer, Fifty Years Later. Free Choice Sequences: A Temporal Interpretation Compatible with Acceptance of Classical Mathematics
Symposium: L.E.J. Brouwer, Fifty Years Later Amsterdam December 9 th, 2016 Free Choice Sequences: A Temporal Interpretation Compatible with Acceptance of Classical Mathematics Saul A. Kripke CUNY Graduate
More informationPart II. Logic and Set Theory. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 60 Paper 4, Section II 16G State and prove the ǫ-recursion Theorem. [You may assume the Principle of ǫ- Induction.]
More informationShort Introduction to Admissible Recursion Theory
Short Introduction to Admissible Recursion Theory Rachael Alvir November 2016 1 Axioms of KP and Admissible Sets An admissible set is a transitive set A satisfying the axioms of Kripke-Platek Set Theory
More informationPROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL
THOMAS HOFWEBER PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL 1. PROOF-THEORETIC REDUCTION AND HILBERT S PROGRAM Hilbert s program in the philosophy of mathematics comes in two parts. One part is a
More informationThe Axiom of Infinity, Quantum Field Theory, and Large Cardinals. Paul Corazza Maharishi University
The Axiom of Infinity, Quantum Field Theory, and Large Cardinals Paul Corazza Maharishi University The Quest for an Axiomatic Foundation For Large Cardinals Gödel believed natural axioms would be found
More informationThe Syntax of First-Order Logic. Marc Hoyois
The Syntax of First-Order Logic Marc Hoyois Table of Contents Introduction 3 I First-Order Theories 5 1 Formal systems............................................. 5 2 First-order languages and theories..................................
More informationMAGIC Set theory. lecture 2
MAGIC Set theory lecture 2 David Asperó University of East Anglia 22 October 2014 Recall from last time: Syntactical vs. semantical logical consequence Given a set T of formulas and a formula ', we write
More informationType Theory and Constructive Mathematics. Type Theory and Constructive Mathematics Thierry Coquand. University of Gothenburg
Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Content An introduction to Voevodsky s Univalent Foundations of Mathematics The
More informationFrom Constructibility and Absoluteness to Computability and Domain Independence
From Constructibility and Absoluteness to Computability and Domain Independence Arnon Avron School of Computer Science Tel Aviv University, Tel Aviv 69978, Israel aa@math.tau.ac.il Abstract. Gödel s main
More informationIncompleteness Theorems, Large Cardinals, and Automata ov
Incompleteness Theorems, Large Cardinals, and Automata over Finite Words Equipe de Logique Mathématique Institut de Mathématiques de Jussieu - Paris Rive Gauche CNRS and Université Paris 7 TAMC 2017, Berne
More informationThe Reflection Theorem
The Reflection Theorem Formalizing Meta-Theoretic Reasoning Lawrence C. Paulson Computer Laboratory Lecture Overview Motivation for the Reflection Theorem Proving the Theorem in Isabelle Applying the Reflection
More informationEquivalent Forms of the Axiom of Infinity
Equivalent Forms of the Axiom of Infinity Axiom of Infinity 1. There is a set that contains each finite ordinal as an element. The Axiom of Infinity is the axiom of Set Theory that explicitly asserts that
More informationNotes for Math 601, Fall based on Introduction to Mathematical Logic by Elliott Mendelson Fifth edition, 2010, Chapman & Hall
Notes for Math 601, Fall 2010 based on Introduction to Mathematical Logic by Elliott Mendelson Fifth edition, 2010, Chapman & Hall All first-order languages contain the variables: v 0, v 1, v 2,... the
More informationLogic: The Big Picture
Logic: The Big Picture A typical logic is described in terms of syntax: what are the legitimate formulas semantics: under what circumstances is a formula true proof theory/ axiomatization: rules for proving
More informationGeneric Absoluteness. Joan Bagaria and Sy D. Friedman. Abstract. However, this is not true for 1 3 predicates. Indeed, if we add a Cohen real
Generic Absoluteness Joan Bagaria and Sy D. Friedman Abstract We explore the consistency strength of 3 and 4 absoluteness, for a variety of forcing notions. Introduction Shoeneld's absoluteness theorem
More informationThe Gödel Hierarchy and Reverse Mathematics
The Gödel Hierarchy and Reverse Mathematics Stephen G. Simpson Pennsylvania State University http://www.math.psu.edu/simpson/ simpson@math.psu.edu Symposium on Hilbert s Problems Today Pisa, Italy April
More informationSOME TRANSFINITE INDUCTION DEDUCTIONS
SOME TRANSFINITE INDUCTION DEDUCTIONS SYLVIA DURIAN Abstract. This paper develops the ordinal numbers and transfinite induction, then demonstrates some interesting applications of transfinite induction.
More informationHilbert and the concept of axiom
Hilbert and the concept of axiom Giorgio Venturi Scuola Normale Superiore di Pisa Giorgio Venturi (SNS) Hilbert and the concept of axiom 1/24 First period Axiomatic method in the first period The actual
More informationOn Recognizable Languages of Infinite Pictures
On Recognizable Languages of Infinite Pictures Equipe de Logique Mathématique CNRS and Université Paris 7 LIF, Marseille, Avril 2009 Pictures Pictures are two-dimensional words. Let Σ be a finite alphabet
More informationThe Continuum Hypothesis, Part II
The Continuum Hypothesis, Part II W. Hugh Woodin Introduction In the first part of this article, I identified the correct axioms for the structure P(N), N, +,,, which is the standard structure for Second
More informationSingular Failures of GCH and Level by Level Equivalence
Singular Failures of GCH and Level by Level Equivalence Arthur W. Apter Department of Mathematics Baruch College of CUNY New York, New York 10010 USA and The CUNY Graduate Center, Mathematics 365 Fifth
More informationProjective well-orderings of the reals and forcing axioms
Projective well-orderings of the reals and forcing axioms Andrés Eduardo Department of Mathematics Boise State University 2011 North American Annual Meeting UC Berkeley, March 24 27, 2011 This is joint
More informationA note on Bar Induction in Constructive Set Theory
A note on Bar Induction in Constructive Set Theory Michael Rathjen Department of Mathematics The Ohio State University Columbus, OH 43210, USA and School of Mathematics University of Leeds Leeds, LS2 9JT,
More informationRussell s logicism. Jeff Speaks. September 26, 2007
Russell s logicism Jeff Speaks September 26, 2007 1 Russell s definition of number............................ 2 2 The idea of reducing one theory to another.................... 4 2.1 Axioms and theories.............................
More informationRestricted truth predicates in first-order logic
Restricted truth predicates in first-order logic Thomas Bolander 1 Introduction It is well-known that there exist consistent first-order theories that become inconsistent when we add Tarski s schema T.
More informationSELF-DUAL UNIFORM MATROIDS ON INFINITE SETS
SELF-DUAL UNIFORM MATROIDS ON INFINITE SETS NATHAN BOWLER AND STEFAN GESCHKE Abstract. We extend the notion of a uniform matroid to the infinitary case and construct, using weak fragments of Martin s Axiom,
More informationWhat are the recursion theoretic properties of a set of axioms? Understanding a paper by William Craig Armando B. Matos
What are the recursion theoretic properties of a set of axioms? Understanding a paper by William Craig Armando B. Matos armandobcm@yahoo.com February 5, 2014 Abstract This note is for personal use. It
More informationA Semantics of Evidence for Classical Arithmetic
Thierry Coquand Chambery, June 5, 2009 Intuitionistic analysis of classical logic This work is motivated by the first consistency proof of arithmetic by Gentzen (1936) Unpublished by Gentzen (criticisms
More informationVictoria Gitman and Thomas Johnstone. New York City College of Technology, CUNY
Gödel s Proof Victoria Gitman and Thomas Johnstone New York City College of Technology, CUNY vgitman@nylogic.org http://websupport1.citytech.cuny.edu/faculty/vgitman tjohnstone@citytech.cuny.edu March
More informationSECOND ORDER LOGIC OR SET THEORY?
SECOND ORDER LOGIC OR SET THEORY? JOUKO VÄÄNÄNEN Abstract. We try to answer the question which is the right foundation of mathematics, second order logic or set theory. Since the former is usually thought
More informationhal , version 1-21 Oct 2009
ON SKOLEMISING ZERMELO S SET THEORY ALEXANDRE MIQUEL Abstract. We give a Skolemised presentation of Zermelo s set theory (with notations for comprehension, powerset, etc.) and show that this presentation
More informationPower Kripke-Platek set theory and the axiom of choice
Power Kripke-Platek set theory and the axiom of choice Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England, rathjen@maths.leeds.ac.uk Abstract It is shown that adding
More informationOrdinal Analysis and the Infinite Ramsey Theorem
Ordinal Analysis and the Infinite Ramsey Theorem Bahareh Afshari and Michael Rathjen Abstract The infinite Ramsey theorem is known to be equivalent to the statement for every set X and natural number n,
More informationA Natural Model of the Multiverse Axioms
Notre Dame Journal of Formal Logic Volume 51, Number 4, 2010 A Natural Model of the Multiverse Axioms Victoria Gitman and Joel David Hamkins Abstract If ZFC is consistent, then the collection of countable
More informationOn Recognizable Languages of Infinite Pictures
On Recognizable Languages of Infinite Pictures Equipe de Logique Mathématique CNRS and Université Paris 7 JAF 28, Fontainebleau, Juin 2009 Pictures Pictures are two-dimensional words. Let Σ be a finite
More information