Timeline for Two equivalent statements about formulas projected onto an Ultrafilter
Current License: CC BY-SA 4.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 23 at 4:22 | comment | added | Stanley sun | I completely understand and appreciate your response. Thanks again for your support! | |
| Jul 22 at 18:30 | comment | added | Alex Kruckman | @Stanleysun Thanks for letting me know. I don't mean to be rude, but I'm no longer interested enough in this question to want to spend time checking your proof. Sorry! | |
| Jul 22 at 17:09 | comment | added | Stanley sun | I thought further about the counterexample. Is my proof correct? | |
| Jul 16 at 4:39 | comment | added | Stanley sun | Very clever construction, thank you! I understand. | |
| Jul 16 at 4:33 | vote | accept | Stanley sun | ||
| Jul 16 at 3:23 | comment | added | Alex Kruckman | @Stanleysun I have updated my answer with a counterexample to the equivalence. | |
| Jul 15 at 17:05 | history | edited | Alex Kruckman | CC BY-SA 4.0 |
added 6 characters in body
|
| Jul 15 at 16:59 | history | edited | Alex Kruckman | CC BY-SA 4.0 |
added 970 characters in body
|
| Jul 9 at 6:01 | comment | added | Stanley sun | Thanks for your reply. Your understanding is correct. I will add some background to my question, which arises from my personal interest (and my attempt to secure a postgraduate admission offer). I am trying to apply ultrafilter to formulas, specifically in reasoning. This is why I am using a function (a selection function) as an unusual main object($[f]$ is the equivalence class obtained by naturally quotienting the selection function $𝑓$ by the equivalence relation.). To clarify, I will define that for an assignment $\mu$, $(M, \mu) \models [f]$ iff $\{i \mid (M, \mu) \models f(i)\} \in U$ | |
| Jul 8 at 16:04 | history | edited | Alex Kruckman | CC BY-SA 4.0 |
added 84 characters in body
|
| Jul 8 at 15:53 | history | undeleted | Alex Kruckman | ||
| Jul 8 at 15:53 | history | edited | Alex Kruckman | CC BY-SA 4.0 |
added 836 characters in body
|
| Jul 8 at 11:38 | history | edited | Alex Kruckman | CC BY-SA 4.0 |
added 16 characters in body
|
| Jul 8 at 2:29 | history | deleted | Alex Kruckman | via Vote | |
| Jul 8 at 2:27 | history | answered | Alex Kruckman | CC BY-SA 4.0 |