Does anyone have an idea how can we represent certain properties of a graph using(adsbygoogle = window.adsbygoogle || []).push({});

second-order logic, versus fixed-point logic :

like saying that a graph has an even number of edges

I've been trying to find a way to solve this for the past two days !

Any help?

Anyone ? :yuck:

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Second-order and Fixed-point Logic: Describing Graphs

Loading...

Similar Threads for Second order Fixed | Date |
---|---|

A What is first and Second order Dependence? | Dec 3, 2016 |

Second order curiosities: MPP, implication | Apr 12, 2015 |

Is Gödel numbering a first or second order function? | May 10, 2014 |

Second-order variables: elements of domain only without quantifiers? | Jan 4, 2013 |

How is uncountability characterized in second order logic? | Jun 10, 2012 |

**Physics Forums - The Fusion of Science and Community**