Java: collection that cannot be converted to List
How to convert a Collection to List?
ZFC + $\exists$ Standard model $\rightarrow$ Con(ZFC + $\exists \omega$-model) $ZFC + \exists V_\alpha$ model of $ZFC \vdash Con(ZFC + \exists$ transitive standard model of $ZFC)$  and then  $ZFC + \exists$ transitive standard model of $ZFC \vdash Con(ZFC + \exists \omega-model$ of $ZFC)$  For the first one :   We can always find a countable extentional $M \subset V_\alpha$ elementary equivalent to $V_\alpha$. Let $M&#39;$ be the mostowski collapse of $M$. $M&#39; \approx M$ so $M&#39;$ is model of ZFC. And because $M&#39;$ is countable and transitive then $M&#39; \in V_\alpha$ (since $H_{\omega_1} \subset V_{\omega_1}$ and $\alpha$ is surely far larger than $\omega_1$).   So $V_\alpha$ is the model of '$\exists$ a standard transitive model of ZFC'.  For the second one :   I don't really know how to do it... Does anyone have an idea ? Series of books featuring dragons, enchanted forests, magic swords, etc When I was younger I read a series of 3 or 4 books involving largely traditional mages/dragons/enchanted forests.  I'd like to buy it for some of my younger extended family members but I can't remember the name of it.  Here's what I remember from this:   I read the last book first, in which the son of a woman turned out to be largely one of the main characters in the other books takes an enchanted sword into a forest on a quest to do something. At one point in one of the earlier books the group was travelling through a swamp like area to get to a tower where a witch(or mage lived). There was a king (possibly the son's father) who was frozen in a castle during the last book. The evil mages/witches would melt (but not die) when some spell was cast on them. I read the series circa 1992 (estimated), comparable to the DragonLance series it was geared towards a younger audience (I don't remember any sex/brutal slayings of anyone). I believe in the first book the mother of the son in the last book runs away from home and becomes something of a maid to a dragon. I can't remember if there were evil dragons or not, I seem to remember that at least some of them were good (or at least largely neutral).   If I think of any other details I'll add them. I can't create more than 4 partitions Is there a function to extract the extension from a filename? The bijection between homogeneous prime ideals of $S_f$ and prime ideals of $(S_f)_0$ setSystemUiVisibility(SYSTEM_UI_FLAG_LAYOUT_HIDE_NAVIGATION) does not work was closed as "Not constructive" a little while ago by CasperOne. I'm not here to argue about the closure; in fact, I'm forced to agree that, as it stands, the question is explicitly a polling question and eligible to be closed for that reason.  I'd like to see it preserved, however; it's got a fair bit of useful in-depth information for ObjC/Cocoa developers on the "singleton" topic.* It's also (possibly more importantly) a great duplicate target -- have a look at the list of linked questions. I want to try to stave off deletion, and hopefully get it reopened.** (I did vote for reopening, but it expired.)  My thought is to edit the question itself into a "constructive" form, but after spending some time pondering how to do so, I'm not crazy about any of the ideas that I've come up with. Essentially they all involve reworking the question to fit the answers:   Rewrite the question so that the accepted answer fits exactly. "I've got this singleton implementation, but I really want the creation to happen earlier in my app's execution. How can I make that happen?" This is artificial and (in my opinion) doesn't make a particularly good question. Make the question still general, but more concrete and focused on the implementation give in the body. "What are the pitfalls associated with this singleton creation procedure? Are there other features that my singleton should have?" This is still skirting the border of discussion->NC, and none of the answers really respond to this exactly. Remove the implementation from the question and just ask for the "best" implementation. This obviously requires coming up with stringent criteria for "best", and, while it would preserve the relationship between the Q and A's best, might not even move it out of NC territory.   I'm looking for suggestions of ways to re-write this so that it can stick around. Alternatively, if you think I should just be advocating for a historical lock, say so.   If you think my basic premise is faulty and don't think the question should be preserved at all, I respectfully request that you just downvote me instead of answering -- I'd prefer not to turn this into an argument about the merits of the question, and I definitely don't want it to become a(nother) "deletionist"/"inclusionist" skirmish (and I am not infrequently ).    *Quite a bit of it unfortunately in comments.  **Historical locking would also be an acceptable solution to me, but it doesn't seem to fit the "controversial" criterion. Allow retracting a moderator flag if the post has been deleted and I don't have enough reputation to see deleted posts Currently, custom flags for moderator attention are not automatically invalidated (marked helpful) when a post gets deleted. Ordinarily, one can retract a moderator flag by going to the post, clicking &quot;flag&quot;, and then &quot;Retract Flag&quot;. This works even if the post has been deleted, provided they can see the post (they have 10,000+ rep, it's their own post, or they have answered it). However, it's not possible to self-remove a flag on a deleted post if they can't see the deleted post, because they can't get to the &quot;flag&quot; button. Is this intended? If not, can this ability please be implemented? As Aurora0001 commented, there is no server-side check, the button is just not visible. Can this please be implemented on the website, or is the fact that it's possible server-side a bug that will soon be fixed by removing it? Why aren't there any fighter carriers in the Star Trek universe? All of the ships of every species seem to be medium to large vessels with multiple crew members. Why aren't there single fighter craft and carrier ships to transport them in mass?  I've just noticed the difference between Battlestar Galactica and Star Trek, where the former has primarily aircraft carriers, and the latter has battleships.   Wouldn't a huge fleet of small fighters be extremely maneuverable and possibly stealthy?  Update:  For clarity, my question is not about the Federation and their choice of ships, but the universe at large. I would think there would be some diversity in space warfare strategy, such as huge armadas of fighters with base stations / carriers. How to send parameter from jsp page to jasper file A Terms of Service update restricting companies that scrape your profile information without your permission I understand that when I press and release the power button on the top of my iPhone or iPad, it stays on but turns off the screen.  Whereas if I press and hold the power button, a "slide to turn off" control appears on the screen.  Sliding this, as I was told, does turn the unit off, but it does so by suspending the RAM to disk (flash memory, actually.) So, when turning on the iPhone or iPad, it isn't so much rebooting the OS as it is resuming it from flash storage.  How to force the OS to completely reboot on these devices? Is there a way to check if a file is in use? Are repository updates secure?  As a bear of little brain from the developer side, I cannot understand why the repository list is http://security.ubuntu.com and the other http(unsecured) sites listed in /etc/apt/sources.list.  Without a certificate chain match this appears as "ask any responder for a list of packages to update" instead of "ask the ubuntu.com site..."  Can any network choose to spoof the update sites, and is this a common practice to provide a locally cached and vetted copy? biblatex – et al. beginning from second citation? Basically all I need to know is how I can use "et. al" beginning from the second citation of a source. I am using the following  \usepackage[ natbib=true, style=authoryear ]{biblatex}   I need citations to look like this:  First citation of a source     Drobetz, Schillhofer, and Zimmermann (2004)   Second and further citations     Drobetz et al. (2004)   Right now, every citation looks like the first one. With the biblatex option maxcitenames I can only adjust all citations and not all but the first one. Any help? What are routed events and how it's different from normal events Customizing tray/taskbar date display in Ubuntu with GNOME 3 What's the de-facto way of reading and writing files in Rust 1.x? Formula for prime counting function I saw this formula on  page 2  $$\pi (n)=\sum_{j=2}^{n}\frac{\sin^{2}\left(\pi \frac{(j-1)!^{2}}{j}\right)}{\sin^{2}(\frac{\pi }{j})}$$  Where $\pi(n)$ is the prime counting function. Is this true? How to prove it? When did the word "so" begin to be used to start a sentence? In the last few years, I've noticed a growing usage of the word "so" to begin a sentence, especially in the context of higher education.  For example:   Interviewer: "What is the nature of your research"  Researcher: "So, what we wanted to find out is..."  It seems to be a replacement the word "well", or, more informally, "ok".  Has this usage of the word been around for a long time and I'm just now noticing it?  Do you think that is a valid use of the word?