Impact
~5k
people reached
- 0 posts edited
- 0 helpful flags
- 5 votes cast
Jul
2 |
awarded | Curious |
Aug
14 |
awarded | Popular Question |
Aug
29 |
accepted | Graph properties and infinite FOL sentences |
Aug
29 |
comment |
Models for the given FOL statement
By syaing b has all properties of a you are trying to say add "another a" and since our FOL cant use "=" we will get away with it. But I feel you have ignored the fact that : size of a model means the cardinality of it's universe. Universe is a set and hence each member of universe has to be distinct isnt it ? |
Aug
29 |
asked | Models for the given FOL statement |
Aug
29 |
asked | Graph properties and infinite FOL sentences |
Aug
29 |
comment |
Graph properties and FOL
@Asaf Karagila And more precisely: "Are there SOL (or higher) theories about graphs that cannot be expressed in FOL but can be expressed as infinite families of FOL sentences?" |
Aug
29 |
accepted | Graph properties and FOL |
Aug
28 |
revised |
Graph properties and FOL
asked a supplimentary question. |
Aug
28 |
comment |
Graph properties and FOL
What if the Graph is directed ? |
Aug
28 |
awarded | Editor |
Aug
28 |
revised |
Graph properties and FOL
added 10 characters in body |
Aug
28 |
asked | Graph properties and FOL |
Aug
24 |
comment |
How to tackle this puzzle?
Thanks. I wanted to know if there is any way other than casework. |
Aug
24 |
accepted | How to tackle this puzzle? |
Aug
24 |
comment |
How to tackle this puzzle?
@Jose Why shouldn't it be of interest for Researchers? Just because I have used the word puzzle it need not mean it's an casual problem. For example above problem can possibly have a geometric interpretation that might yield the answer very easily Or can be framed as an optimization problem based on constraint? |
Aug
24 |
asked | How to tackle this puzzle? |
Aug
21 |
comment |
Porbability of selecting balls from boxes
Oh no the problem I am solving is entirely different. Just wanted to check that my line of thinking is correct. |
Aug
21 |
accepted | Porbability of selecting balls from boxes |
Aug
21 |
asked | Porbability of selecting balls from boxes |