Akshar Prabhu Desai

less info
79 reputation
5
bio website akshar100.wordpress.com
location India
age
visits member for 3 years, 8 months
seen Mar 1 at 0:19

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.