A Nonstandard Compactness Criterion |
| |
Authors: | Richard D. Benham |
| |
Abstract: | A general definition of consequence relation is given, and a criterion for compactness based on a nonstandard construction is demonstrated. |
| |
Keywords: | consequence relation compactness criterion enlargement |
|
|