bio | website | akshar100.wordpress.com |
---|---|---|
location | India | |
age | ||
visits | member for | 3 years, 8 months |
seen | Mar 1 at 0:19 | |
stats | profile views | 218 |
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 |
Aug 13 |
comment |
Natural number properties as uniterpreted functions in first order logic
Okay. I was a bit confused as per who the "infinitely many.." is represented. |