8

Questions
votes newest views recent
1
0
votes
1
answer
157
views

Models for the given FOL statement

aug 29 10 at 22:12 Bjørn Kjos-Hanssen 2,468●1●9●18

1
2
votes
1
answer
225
views

Graph properties and infinite FOL sentences

aug 29 10 at 21:50 Joel David Hamkins 74.7k●7●187●343

3
2
votes
2
answers
595
views

Graph properties and FOL

aug 29 10 at 9:22 Stefan Geschke 10.5k●1●14●37

 
0
votes
1
answer
753
views

How to tackle this puzzle? [closed]

aug 24 10 at 14:44 David Corwin 6,730●23●56

 
-1
votes
1
answer
277
views

Porbability of selecting balls from boxes [closed]

aug 21 10 at 6:46 sleepless in beantown 2,071●5●13

 
0
votes
1
answer
180
views

Natural number properties as uniterpreted functions in first order logic

aug 12 10 at 20:48 Robin Chapman 14.5k●2●29●50

 
1
vote
1
answer
285
views

Exponent function as uninterpreted function in first order logic

aug 11 10 at 9:22 Robin Chapman 14.5k●2●29●50

1
5
votes
2
answers
946
views

Horn clauses and satisfiability

aug 9 10 at 15:29 François G. Dorais♦ 22.3k●2●48●113