User marc alcob&#233; garc&#237;a - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T16:53:21Z http://mathoverflow.net/feeds/user/6466 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/39604/universe-view-vs-multiverse-view-of-set-theory Universe view vs. Multiverse view of Set Theory Marc Alcobé García 2010-09-22T12:31:17Z 2011-09-06T23:58:37Z <p>Here I refer to Hamkins' slides:</p> <p><a href="http://lumiere.ens.fr/~dbonnay/files/talks/hamkins.pdf" rel="nofollow">http://lumiere.ens.fr/~dbonnay/files/talks/hamkins.pdf</a></p> <p>particularly, to the "Universe view simulated inside Multiverse", p. 22.</p> <p>My question is: is it very unsound to ask if the Multiverse view could be simulated (in a similar sense) inside Universe? </p> <p>If it is, why is it? If it is not, why should one prefer one view to the other?</p> http://mathoverflow.net/questions/64777/fefermans-extensional-and-intensional-applications-of-the-method-of-arithmetizat Feferman's extensional and intensional applications of the method of arithmetization Marc Alcobé García 2011-05-12T13:01:40Z 2011-05-12T15:04:44Z <p>At the very beginning of Feferman's <em>Arithmetization of metamathematics in a general setting</em> it can be read:</p> <blockquote> <p>The method of arithmetization, as developed by Gödel[10], exploits the possibility of defining within a formal theory $\mathcal{T}$, or in arithmetical theories closely related to $\mathcal{T}$, various syntactical and logical notions concerning $\mathcal{T}$. In broad terms, the applications of the method can be classified as being <em>extensional</em> if essentially only numerically correct definitions are needed, or <em>intensional</em> if the definitions must more fully <em>express</em> the notions involved, so that various of the general properties of these notions can be formally derived.</p> </blockquote> <p>He then proceeds to enumerate results of what he calls the extensional type (Gödel's first incompleteness theorem, non-definability of predicates in formal theories, undecidability of various theories and degrees of unsolvability of various theories), results of intensional type (Gödel's second incompleteness theorem, comparison of theories by relative consistency proofs and ordinal logics), a result of mixed character (the arithmetization of Gödel's completeness theorem for first-order logic), and finally of proofs which are "instances where intensional methods are used to deduce purely extensional results" (the proofs of non-finite axiomatizibility of various theories $\mathcal{T}$ obtained by showing $\mathcal{T}$ to be reflexive, i. e. that the consistency of every finite subtheory of $\mathcal{T}$ is provable in $\mathcal{T}$).</p> <p>I guess that for the trained logician these examples suffice for him or her to get a clear sense of what is meant by intensional and extensional methods and results in this context, but this is not my case. I would be grateful if anyone could help to make these notions precise.</p> <p>Thank you in advance.</p> http://mathoverflow.net/questions/63402/martins-philosophical-issues-about-the-hierarchy-of-sets Martin's "Philosophical Issues about the Hierarchy of Sets" Marc Alcobé García 2011-04-29T11:36:42Z 2011-04-30T16:14:41Z <p>Some months ago (October 2010), in the context of the <a href="http://www.phil.upenn.edu/Workshop%20on%20Set%20Theory%20and%20the%20Philosophy%20of%20Mathematics/abstracts" rel="nofollow">Workshop on Set Theory and the Philosophy of Mathematics</a>, Professor Donald A. Martin gave a talk entitled "Philosophical issues about the hierarchy of sets".</p> <blockquote> <p>Abstract: I will discuss some philosophical questions about the cumulative hierarchy of sets, its levels, and their theories. Some examples:</p> <p>(1) It is sometimes asserted one cannot quantify over everything. A related assertion is that each of our statements about the universe of sets can from a different perspective be seen as a statement about some Va. Thus the class-set distinction is really a relative one. Does this make sense? Is it right?</p> <p>(2) Is the first order theory of V determinate? Does every sentence have a truth value? Are there levels of the hierarchy whose first order theories are indeterminate? If so, what is the lowest such level? What about L and the constructibility hierarchy? </p> <p>(3) There are many examples of proofs of a statement about one level of the hierachy that use principles about a higher level. Under what conditions and in what sense do these count as establishing the lower level statement?</p> <p>I will discuss these questions mainly from a viewpoint that takes mathematics to be about basic mathematical concepts, e.g., those of natural number, real number, and set.</p> </blockquote> <p>I am highly interested in learning how these questions might be answered (as you may problably know from previous questions of mine here in MO), so I would be grateful if anyone could give any information in this respect, especially for those questions of 1 and 3 (I am afraid it is almost impossible to do justice to 2 in a few lines).</p> http://mathoverflow.net/questions/57094/slaman-and-woodin-on-mathematical-logic Slaman and Woodin on Mathematical logic Marc Alcobé García 2011-03-02T09:55:18Z 2011-03-12T07:02:29Z <p>At the references section of the wikipedia article for Definable set, one finds the following entry:</p> <p>Slaman, Theodore A. and W. Hugh Woodin. Mathematical Logic: The Berkeley Undergraduate Course. Spring 2006.</p> <p>What kind of material is it? Manuscripted lecture notes? Is it available somehow? I'm highly curious about its content.</p> http://mathoverflow.net/questions/55392/intended-interpretations-of-set-theories Intended interpretations of set theories Marc Alcobé García 2011-02-14T09:00:12Z 2011-03-03T08:49:22Z <p>In his <em>Set Theory. An Introduction to Indepencence Proofs</em>, Kunen develops $ZFC$ from a platonistic point of view because he believes that this is pedagogically easier. When he talks about the intended interpretation of set theory he says such things as, for example, that the domain of discourse $V$ is the collection of all (well-founded, when foundation is introduced) hereditary sets.</p> <p>This point of view has always made me feel a bit uncomfortable. How can a variable in a first-order language run over the elements of a collection that is not a set? Only recently I realized that one thing is to be a platonist, and another thing is to believe such an odd thing.</p> <p>A first-order theory of sets with a countable language can only prove the existence of countably many sets. Let me call them provable sets for short. Platonistically, we wish our intended interpretation of that theory to be one in which every provable set is actually the set the theory says it is. So we don't need our interpretation to contain every set, we just need that it contains at least the true provable sets. This collection is, really, a set, although it doesn't know it.</p> <p>To be a bit more concrete, if one is a platonist and the cumulative hierarchy is what one has in mind as the real universe of sets, one can think that the $V$ of one's theory actually refers to a an initial segment of that hierarchy, hence variables run no more over the real $V$ but only over the elements of some $V_\alpha$.</p> <p>There's a parallel to these ideas. For example, when we want to prove consistency with $ZFC$ of a given sentence, we do not directly look for a model of $ZFC$ where that sentence is true, but instead we take advantage of knowing that every finite fragment of $ZFC$ is consistent and that every proof involves only finitely many axioms.</p> <p>My question is: then, is this position tenable or am I going awfully wrong? I apologize that this seems a philosophical issue rather than a mathematical one. I also apologize for stating things so simply (out of laziness).</p> http://mathoverflow.net/questions/47214/how-to-present-mathematics-to-non-mathematicians/51383#51383 Answer by Marc Alcobé García for How To Present Mathematics To Non-Mathematicians? Marc Alcobé García 2011-01-07T12:55:27Z 2011-01-07T12:55:27Z <p>If I had to explain large cardinals in 10 minutes my first source of inspiration would be Kanamori's excellent writings about their (whiggish) history. People like history. I wouldn't spend any time trying to justify or prove any result. Maybe 2 minutes to explain the cumulative hierarchy so that everybody understands the typical picture of V. If people guess there is a long coherent tradition of research starting from Cantor, hence of interest in the field, I think that's enough. They really don't need to understand anything, just have a general feeling of a sort of flow of ideas.</p> http://mathoverflow.net/questions/50343/what-would-you-want-to-see-at-the-museum-of-mathematics/50656#50656 Answer by Marc Alcobé García for What would you want to see at the Museum of Mathematics? Marc Alcobé García 2010-12-29T13:36:35Z 2010-12-29T13:36:35Z <p>Rather than providing concrete examples, I would like to make a suggestion about two possible guiding lines.</p> <p>If you agree that mathematics is about solving problems of a certain kind, then two sensible goals for a museum of mathematics could be showing:</p> <ol> <li>what kind of problems mathematics deals with, and </li> <li>how it deals with them.</li> </ol> <p>The first goal cannot be exhaustive for obvious reasons, but I think it should be broad enough to give the visitor an idea of the diversity of mathematics (applied or not), i. e. examples from as many various branches as possible should be given.</p> <p>For the second goal, Polya's views about how to solve mathematical problems could be helpful, or modern works about "visual" mathematical thinking. I think visitors should be able to feel some connection between mathematical problem solving and applying "common sense" strategies (here is a hidden goal: to demistify a bit the work of mathematicians).</p> <p>To focus on one or the other goal in different degree can result in very different kinds of museum, but I think any of them would deserve the name "Museum of mathematics". Not so one that didn't meet any of both goals.</p> http://mathoverflow.net/questions/50563/semidecidable-sets Semidecidable sets Marc Alcobé García 2010-12-28T14:19:10Z 2010-12-28T21:28:58Z <p>A set <code>$S$</code> (of natural numbers) is (semi)decidable if its (semi)characteristic function is effectively calculable.</p> <p>From a set theoretic point of view, the semicharacteristic function of a set is just a particular subset of its characteristic function. Consider the subsets of the characteristic function of a given set which are supersets of its semicharacteristic function. All of them are partial functions, but some might be effectively calculable, and some might not. I don't know how to call these functions, but let me use <code>$f_S$</code> as a variable that ranges over them for a given set <code>$S$</code>.</p> <p>Is there any S for which the only effectively calculable <code>$f_S$</code> is its semicharacteristic function?</p> http://mathoverflow.net/questions/41143/statements-that-require-the-existence-of-non-standard-models-to-hold Statements that require the existence of non-standard models to hold Marc Alcobé García 2010-10-05T13:04:17Z 2010-11-02T13:40:48Z <p>From the Incompleteness theorems, if ZF is consistent, one knows there are models of ZF satisfying ¬Con(ZF). These models must be non-standard (in the sense of being models whose ordinals are not well-ordered), and so must be the proof of an inconsistency from the axioms of ZF in them.</p> <p>Now, ¬Con(ZF) is a very special kind of arithmetical statement. My question is, are there other kinds of statements consistent with ZF known to require the existence of non-standard models to hold?</p> <p>If there are any, how does one recognize them?</p> http://mathoverflow.net/questions/40296/is-it-important-to-distinguish-between-meta-theory-and-theory/41385#41385 Answer by Marc Alcobé García for Is it important to distinguish between meta-theory and theory? Marc Alcobé García 2010-10-07T09:46:26Z 2010-10-07T13:05:14Z <p>As you already mention in the body of your question, there are also philosophical reasons for doing so. See, for example, Kunen's "The Foundations of Mathematics" Chapter 3 (esp. Sec. 3.2 Keeping them Honest). </p> <p>I'll try to quickly outline it here, freely using Kunen's own ideas and words (but if you find any mistake here, it'll be my fault).</p> <p>As to what is the metatheory we cannot say exactly. Basically it is ordinary finitistic reasoning about finite objects, or in other words, "how we think about the world". You need finitistic reasoning even to understand finitistic reasoning (you can get nothing from nothing). So this is why one usually regards it as what is "really true".</p> <p>The formalist point of view needs, in order to be philosophically justified, to develop logic <em>twice</em>:</p> <p>Working in the metatheory, one develops formal logic, proving finitistic theorems about one's notion of formal proof to make sense of it, particularly Soundness saying that if <code>$\Sigma$</code> proves <code>$\phi$</code> then <code>$\phi$</code> is true in all <em>finite</em> models of <code>$\Sigma$</code>. </p> <p>Then, one goes on to develop ZFC, and <em>within</em> ZFC, one develops all of standard mathematics, including (not finitistic) model theory. To develop model theory, one must again develop formal logic. One uses at this stage the same reasoning, but now both the languages and the structures for them have arbitrary cardinalities, and the reasoning is formalized within ZFC.</p> <p>But if you are a platonist and think that the ZFC axioms are obviously true, I don't think there is much need for such a distinction.</p> http://mathoverflow.net/questions/40821/existence-of-an-omega-nonstandard-model-of-zfc-from-compactness Existence of an $\omega$-nonstandard model of ZFC from compactness Marc Alcobé García 2010-10-02T09:21:21Z 2010-10-02T12:33:17Z <p>I have read several times that assuming Con(ZFC), and using compactness it can be proved the existence of a model of ZFC with an ill-founded $\omega$. How is that? Any reference will be welcome.</p> http://mathoverflow.net/questions/33706/subsets-of-sequences-of-natural-numbers-vs-strategies-under-zfc Subsets of sequences of natural numbers vs. strategies under ZFC Marc Alcobé García 2010-07-28T20:09:52Z 2010-07-29T01:17:18Z <p>This question is related to a previous question of mine:</p> <p><a href="http://mathoverflow.net/questions/32966/determinacy-interchanging-the-roles-of-both-players" rel="nofollow">http://mathoverflow.net/questions/32966/determinacy-interchanging-the-roles-of-both-players</a></p> <p>Given any set A of sequences of natural numbers, every strategy (no matter for which player) is either winning (W), or losing (L), or neither(N) for A.</p> <p>So depending on A, the set of all strategies available for any of both players can be, a priori, of any of the seven kinds: W (all winning), L (all losing), N (all neither), WL (some winning and the rest losing), WN (some winning and the rest neither), LN (some losing and the rest neither) and WLN (some winning, some losing, and the rest neither).</p> <p>This makes a total of 49 situations (now taking into account both players). Of course, not all of them are possible because we have the following restrictions:</p> <p>a. If one player has a winning (losing) strategy, the other one cannot have a winning (losing) strategy. b. If one player has only winning (losing) strategies, the other one only has losing (winning) strategies.</p> <p>I don't know of any other restrictions (not derivable from them, for example it follows that if one player is WL for A, the other one can only be N).</p> <p>This leaves us with the following possible situations:</p> <p>(I'd draw a table here, but unfortunately I don't know how to edit it; I tried html without sucess)</p> <ol> <li>W for I and L for II</li> <li>L for I and W for II</li> <li>N for I and N for II</li> <li>N for I and WL for II</li> <li>N for I and WN for II</li> <li>N for I and LN for II</li> <li>N for I and WLN for II</li> <li>WL for I and N for II</li> <li>WN for I and N for II</li> <li>WN for I and LN for II</li> <li>LN for I and N for II</li> <li>LN for I and WN for II</li> <li>WLN for I and N for II</li> </ol> <p>My question is, could one find examples (prove the existence of subsets of sequences of naturals) for each situation only assuming ZFC?</p> <p>Some are obvious, like the empty set for 2 or the set of all sequences for 1, or like the set of all sequences with a 1 in the odd positions for 8, but others may be not.</p> http://mathoverflow.net/questions/32966/determinacy-interchanging-the-roles-of-both-players Determinacy interchanging the roles of both players Marc Alcobé García 2010-07-22T15:59:27Z 2010-07-27T19:37:20Z <p>Let me refer to Jech's "Set Theory" Chap. 33 Determinacy:</p> <p>"With each subset A of <code>$\omega^\omega$</code> we associate the following game <code>$G_A$</code>, played by two players I and II. First I chooses a natural number <code>$a_0$</code>, then II chooses a natural number <code>$b_0$</code>, then I chooses a1, then II chooses b1, and so on. The game ends after $\omega$ steps; if the resulting sequence <code>$&lt;a_0, b_0, a_1, b_1, ...&gt;$</code> is in A, then I wins, otherwise II wins.</p> <p>A strategy (for I or II) is a rule that tells the player what move to make depending on the previous moves of both players. A strategy is a winning strategy if the player who follows it always wins. The game <code>$G_A$</code> is determined if one of the players has a winning strategy.</p> <p>The Axiom of Determinacy (AD) states that for every subset A of <code>$\omega^\omega$</code>, the game <code>$G_A$</code> is determined."</p> <p>Now, there is some apparent lack of symmetry in the definition of the <code>$G_A$</code> game: the player who plays first (I) attempts for a sequence in A. </p> <p>What happens if we interchange the roles of both players? I. e. if we let the player who plays first attempt for a sequence not in A? Let us call this game <code>$G'_A$</code></p> <p>Is it the case that for every subset A, A is determined wrt <code>$G_A$</code> iff A is determined wrt <code>$G'_A$</code>?</p> http://mathoverflow.net/questions/32757/tractability-of-forcing-invariant-statements-under-large-cardinals Tractability of forcing-invariant statements under large cardinals Marc Alcobé García 2010-07-21T07:24:30Z 2010-07-22T23:09:28Z <p>It is usual to mention theorems of the kind:</p> <p>Th. Assume there is a proper class of Woodin cardinals, $\mathbb{P}$ is a partial order and $G \subseteq \mathbb{P}$ is V-generic, then $V \models \phi \iff V[G] \models \phi$ </p> <p>where $\phi$ is some set theoretic statement (like "the Strong Omega Conjecture holds"), as some sort of evidence that $\phi$ is a statement less intractable than other statements like CH which are not focing-invariant.</p> <p>My question is, in wich sense are these statements more tractable? What kind of "empirical evidence" gives support to the hope that they can be decided by large cardinal axioms?</p> http://mathoverflow.net/questions/30904/weakest-subsystems-of-second-order-arithmetic-for-mathematical-logic Weakest subsystems of second order arithmetic for mathematical logic Marc Alcobé García 2010-07-07T15:29:52Z 2010-07-08T12:16:39Z <p>It is known that to prove completeness of first-order logic for countable languages WKL<sub>0</sub> is enough. But, is it the weakest subsystem where one can prove it?</p> <p>What about the incompleteness theorems? Is it known which are the weakest subsystems of second order arithmetic where one would be able to prove each of them?</p> http://mathoverflow.net/questions/13609/models-of-zfc-set-theory-getting-started/29693#29693 Answer by Marc Alcobé García for Models of ZFC Set Theory - Getting Started Marc Alcobé García 2010-06-27T09:37:33Z 2010-06-27T09:37:33Z <p>This answer is going to be a bit too informal, but I hope it helps.</p> <p>Imagine we have the collection of all sets. Let us call them <em>the real sets</em>, and their membership relation <em>the real set membership</em>. The empty set is "actually" empty, and the class of all ordinals is "actually" a proper class.</p> <p>Now that we have the real sets we can use them as the "<em>ontological substratum</em>" upon which everything else will be built from. And this, of course, includes formal theories and their models. </p> <p>A model of any first-order theory is then only a real set. This applies to your favorite set theory too. So the models of your set theory are only real sets (but the models don't know it, just as they don't know if their empty sets are actually empty or if their set membership is the real one).</p> <p>This view fits well, for example, with the idea of moving from a transitive model to a generic extension of it or to one with a constructible universe: we are simply moving from a class of models to another one, each one consisting of real sets.</p> <p>But this view also leaves us with too many entities, and maybe here we have an opportunity to apply Occam's razor. It looks like we have two kind of theories: one for the real sets, which is made of things that are not sets (we can formalize our informal talk about them, but that does not make essentially any difference), another one for the models of set theory, which is made of sets.</p> <p>The real sets and the theory of the real sets belong to a world where there are real sets, but there are also pigs and cows, and human languages and many other things. We don't need all that to do mathematics, do we? So why not diving into the wold of the real sets and ignore everything else?</p> <p>If this story sounds too platonistic, I am sure it must have a formalistic counterpart.</p> <p>With my question:</p> <p><a href="http://mathoverflow.net/questions/28869/how-to-think-like-a-set-or-a-model-theorist" rel="nofollow">http://mathoverflow.net/questions/28869/how-to-think-like-a-set-or-a-model-theorist</a></p> <p>I expected to obtain an official view about all this stuff. I somehow succeeded on this, but as you can see, I'm still working on it.</p> <p>Here is a related answer to a related question which I also find useful:</p> <p><a href="http://mathoverflow.net/questions/15685/is-it-necessary-that-model-of-theory-is-a-set/15713#15713" rel="nofollow">http://mathoverflow.net/questions/15685/is-it-necessary-that-model-of-theory-is-a-set/15713#15713</a></p> http://mathoverflow.net/questions/29197/non-computable-but-easily-described-arithmetical-functions Non-computable but easily described arithmetical functions Marc Alcobé García 2010-06-23T07:28:48Z 2010-06-23T14:08:14Z <p>I have read about the existence of functions of the kind described in the title in several places, but never seen an instance of them. Sorry if this is too much an elementary question to be posted here.</p> http://mathoverflow.net/questions/28869/how-to-think-like-a-set-or-a-model-theorist How to think like a set (or a model) theorist. Marc Alcobé García 2010-06-20T17:55:43Z 2010-06-22T00:49:24Z <p>Kenneth Kunen in his “The Foundations of Mathematics” writes:</p> <ol> <li>‘Set theory is the study of models of ZFC’ (p. 7) </li> <li>‘Set theory is the theory of everything’ (p. 14)</li> </ol> <p>With (1) Kunen is pointing to a change in the intended use of the axioms of ZFC: ‘there are two different uses of the word “axioms”: as “<em>statements of faith</em>” and as “<em>definitional axioms</em>”.’ (p. 6).</p> <p>With (2) he means ‘set theory is <em>all</em>-important. That is</p> <ul> <li><em>All</em> abstract mathematical concepts are set-theoretic.</li> <li><em>All</em> concrete mathematical objects are specific sets.’ (p. 14)</li> </ul> <p>According to (1), to be a set is to be any of the <em>individuals</em> of the <em>universe</em> of a particular model of ZFC, just like being a numeral (standard or not) is being any of the individuals of the universe of a particular model of PA (here I am using Shoenfield’s terminology in “Mathematical Logic”, p. 18).</p> <p>But, according to (2), models are sets too, as any other objects dealt with in the metatheory.</p> <p>What's more, models of set theory are defined in terms of <em>relative interpretations</em> of set theory into itself, a syntactical concept. (See Kunen’s “Set Theory. An Introduction to Independence Proofs”, p. 141), which makes the whole thing a bit more confusing.</p> <p>The view of the axioms of set theory as "<em>definitional axioms</em>" is appealing. And more in regard of (2) since then they pretend to define all that there is. The study of models of set theory has an intrinsic interest, but why reduce the study of set theory to it? Or stated another way, why abandoning the old view?</p> <p>I would like to know if set theorists do stick to one view or another or shift comfortably between both at need, and the reasons they have to do so.</p> http://mathoverflow.net/questions/28157/breaking-the-circularity-in-the-definition-of-n Breaking the circularity in the definition of N Marc Alcobé García 2010-06-14T20:17:47Z 2010-06-15T11:22:51Z <p>Some days ago, I posted a question about <a href="http://mathoverflow.net/questions/26676/incompleteness-and-nonstandard-models-of-arithmetic" rel="nofollow">models of arithmetic and incompleteness</a>. I then made a mixture of too many scattered ideas. Thinking again about such matters, I realize that what really annoyed me was the assertion by Ken Kunen that the circularity in the informal definition of natural number (what one gets starting from 0 by iterating the successor operation a finite number of times) is broken “by formalizing the properties of the order relation on &omega;” ( page 23 of his “The Foundations of Mathematics”). What does actually “breaking the circularity” mean? Is there a precise model theoretic statement that expresses this meaning? And what about proving that statement? Is that possible?</p> http://mathoverflow.net/questions/26676/incompleteness-and-nonstandard-models-of-arithmetic Incompleteness and nonstandard models of arithmetic Marc Alcobé García 2010-06-01T07:09:21Z 2010-06-15T04:20:34Z <p>The following are a collection of doubts, some of which shall have concrete answers while others may have not. Any kind of help will be welcome.</p> <p>Reading Peter Smith's "Gödel Without (Too Many) Tears", particularly where he gives a nonstandard model of Q, I began wondering if the reason for the existence of nonstandard models of arithmetic has anything to do with incompleteness theorems.</p> <p>I do not know if categoricity implies completeness (in the sense of every sentence being decidable by proof), but anyway, it seems reasonable, when one is formalizing a given (informal) theory, to try to "force" somehow the formal theory to talk "almost exclusively" about the intended interpretation. So I started thinking if some axiom (or axiom schema) could be added to PA in order to forbid its most obvious nonstandard models.</p> <p>The first idea in this line was: ok, we have our class of terms 0, S0, SS0, etc. So, if we found a way to tell that for every x there is some term to which it is equal, we would be done.</p> <p>But then I realized that our terms are defined inductively and that we are making implicitly the assumption: “and nothing else is a term”, very similar to the desired “and nothing else is a number” we would like to add to PA. This thought sort of worried me: every metatheoretic concept (terms, formulas, and even proofs!) is based on assumptions like these! (I have not still found a way out of these worries).</p> <p>Leaving that apart. What if we move on to a stronger theory (with different axioms, but with an extension by definitions that proves every axiom of PA), for example ZFC? Natural numbers become then 0 (the empty set) plus the von Neumann ordinals (obtained by Pair and Union) that contain no limit ordinal. The set of natural numbers is obtained from Infinity, just selecting them by Comprehension. Kunen says in page 23 of his “The Foundations of Mathematics” that the circularity in the informal definition of natural number is broken “by formalizing the properties of the order relation on omega”. Could nonstandard models survive this formalization?</p> <p>Well, I think I've read somewhere that being omega is absolute, so forcing would not be a way to obtain such nonstandard models. Also, I am not sure if (the extension by definitions from) ZFC set theory is a conservative extension of PA, but then it would not be able to prove anything about natural numbers (expressible in the language of arithmetic) that PA alone cannot prove. So somehow it looks like nonstandard models must manage to survive! Maybe due to the notion of being a subset of a given set not being particularly clear (although it looks like it should not be problematic with hereditarily finite sets).</p> <p>Thank you in advance.</p> http://mathoverflow.net/questions/27279/proof-of-godel-incompleteness/27348#27348 Answer by Marc Alcobé García for Proof of Gödel incompleteness Marc Alcobé García 2010-06-07T13:17:35Z 2010-06-07T13:17:35Z <p>I think reading: </p> <p><a href="http://sammelpunkt.philo.at:8080/1126/1/Bagaria.pdf" rel="nofollow">http://sammelpunkt.philo.at:8080/1126/1/Bagaria.pdf</a></p> <p>is going to help you.</p> <p>Jech's proof is rewritten a bit more explicitly (see section "III. SHORT PROOFS"), and then used in the next section to prove Gödel's second incompleteness theorem for weaker theories than ZF.</p> http://mathoverflow.net/questions/26613/papers-that-debunk-common-myths-in-the-history-of-mathematics/26683#26683 Answer by Marc Alcobé García for Papers that debunk common myths in the history of mathematics Marc Alcobé García 2010-06-01T08:45:48Z 2010-06-01T13:06:59Z <p>A recent one could be Peter Milne's "On Gödel Sentences and What They Say" Philosophia Mathematica (III) 15 (2007), 193–226. doi:10.1093/philmat/nkm015 debunking the myth that Gödel sentences are true because they say of themselves that they are unprovable.</p> <p>Sorry, I realize this is not exactly what was being asked. However, there is still some analogy with the pattern "someone was believed to do or say something while in fact he/she didn't".</p> http://mathoverflow.net/questions/23478/examples-of-common-false-beliefs-in-mathematics/26707#26707 Answer by Marc Alcobé García for Examples of common false beliefs in mathematics. Marc Alcobé García 2010-06-01T12:43:18Z 2010-06-01T12:43:18Z <p>A common false belief is that all Gödel sentences are true because they say of themselves they are unprovable. See Peter Milne's "On Goedel Sentences and What They Say", Philosophia Mathematica (III) 15 (2007), 193–226. doi:10.1093/philmat/nkm015</p> http://mathoverflow.net/questions/63402/martins-philosophical-issues-about-the-hierarchy-of-sets/63432#63432 Comment by Marc Alcobé García Marc Alcobé García 2011-05-01T19:56:02Z 2011-05-01T19:56:02Z Asaf, I think Joel refers in his slides to the staggering diversity of models of set theory as giving rise to different set concepts (please correct me if I am wrong, I didn't check). I am not sure one can make this identification the other way round. I would not, a priori, think of an instantiation of a set concept as a model of a first-order theory of sets. http://mathoverflow.net/questions/63402/martins-philosophical-issues-about-the-hierarchy-of-sets/63432#63432 Comment by Marc Alcobé García Marc Alcobé García 2011-04-30T20:08:02Z 2011-04-30T20:08:02Z I suppose that something counts as an instantiation of the full set concept if its powersets contain every conceivable subset (if this really means something), but also if it contains every conceivable ordinal (again, if this really means something). http://mathoverflow.net/questions/63402/martins-philosophical-issues-about-the-hierarchy-of-sets/63432#63432 Comment by Marc Alcobé García Marc Alcobé García 2011-04-30T18:07:25Z 2011-04-30T18:07:25Z Thank you vey much, Joel. Do you know where could I read more about $V_\delta\prec V$ and its properties? Also, I have googled for Martin's articles and the most recent that I have found is &quot;Multiple Universes of Sets and Indeterminate Truth Values&quot; (2001). http://mathoverflow.net/questions/63402/martins-philosophical-issues-about-the-hierarchy-of-sets Comment by Marc Alcobé García Marc Alcobé García 2011-04-29T20:25:20Z 2011-04-29T20:25:20Z @jc Yes, I have, but with no success by now. http://mathoverflow.net/questions/57094/slaman-and-woodin-on-mathematical-logic/58239#58239 Comment by Marc Alcobé García Marc Alcobé García 2011-03-12T12:50:00Z 2011-03-12T12:50:00Z It looks like it is that study of definability what motivated its inclusion among the references for the article I mentioned in my question. Thank you very much. http://mathoverflow.net/questions/57094/slaman-and-woodin-on-mathematical-logic/57102#57102 Comment by Marc Alcobé García Marc Alcobé García 2011-03-02T11:20:17Z 2011-03-02T11:20:17Z If it has not been published, maybe I ought to ask the authors directly. I have no idea of what kind of material it is (manuscripted lecture notes?). http://mathoverflow.net/questions/57094/slaman-and-woodin-on-mathematical-logic/57102#57102 Comment by Marc Alcobé García Marc Alcobé García 2011-03-02T11:13:35Z 2011-03-02T11:13:35Z That'd be great! http://mathoverflow.net/questions/55392/intended-interpretations-of-set-theories Comment by Marc Alcobé García Marc Alcobé García 2011-02-15T07:25:18Z 2011-02-15T07:25:18Z It's a pity only one answer can be accepted. Thanks a lot. http://mathoverflow.net/questions/50343/what-would-you-want-to-see-at-the-museum-of-mathematics/50656#50656 Comment by Marc Alcobé García Marc Alcobé García 2011-01-16T11:14:32Z 2011-01-16T11:14:32Z Obviously, how to make these ideas concrete depends very much on your target public. http://mathoverflow.net/questions/50563/semidecidable-sets/50568#50568 Comment by Marc Alcobé García Marc Alcobé García 2010-12-29T07:53:58Z 2010-12-29T07:53:58Z Let me add this link to a brief exposition of how Post's problem was ultimately solved: <a href="http://en.wikipedia.org/wiki/Turing_degree#Post.27s_problem_and_the_priority_method" rel="nofollow">en.wikipedia.org/wiki/&hellip;</a> http://mathoverflow.net/questions/41143/statements-that-require-the-existence-of-non-standard-models-to-hold/44556#44556 Comment by Marc Alcobé García Marc Alcobé García 2010-11-03T14:02:38Z 2010-11-03T14:02:38Z Thanks a lot for your answer, Carl. I guess there's another difference. Can one effectively write a formula defining such a $\zeta$? http://mathoverflow.net/questions/41373/why-is-this-set-stationary Comment by Marc Alcobé García Marc Alcobé García 2010-10-07T16:05:55Z 2010-10-07T16:05:55Z Maybe you have institutional access to Springerlink and you don't know it. The book is available there for free. http://mathoverflow.net/questions/40821/existence-of-an-omega-nonstandard-model-of-zfc-from-compactness/40830#40830 Comment by Marc Alcobé García Marc Alcobé García 2010-10-02T16:09:50Z 2010-10-02T16:09:50Z Thanks to both for your answers. http://mathoverflow.net/questions/40821/existence-of-an-omega-nonstandard-model-of-zfc-from-compactness Comment by Marc Alcobé García Marc Alcobé García 2010-10-02T10:24:10Z 2010-10-02T10:24:10Z Not well-founded, i. e. with infinite descending epsylon-chains. In case it is not clear enough, I am asking for some (sketch of a) proof for that result, not for an explanation of why such models exist or for what they look like. http://mathoverflow.net/questions/39604/universe-view-vs-multiverse-view-of-set-theory/39642#39642 Comment by Marc Alcobé García Marc Alcobé García 2010-09-25T11:22:50Z 2010-09-25T11:22:50Z Thanks a lot for your answer. There's just one point I don't fully understand. Why should the simulated multiverse of the first approach include the set-theoretic background universe V? After all, the full multiverse doesn't include any such thing...