2014-2015 - Curriculum Guide - Pingry School
1.2 Exercises. Exercise 1.2.1. Let F be a formula in first-order logic, that is true in all infinite structures. Then there is a natural number k such that ...
Part of the document
1.2 Exercises. Exercise 1.2.1. Let F be a formula in first-order logic, that is true in all infinite structures. Then there is a natural number k such that ...
