Premium
A Nonstandard Compactness Criterion
Author(s) -
Benham Richard D.
Publication year - 2002
Publication title -
mathematical logic quarterly
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/1521-3870(200211)48:4<559::aid-malq559>3.0.co;2-c
Subject(s) - mathematics , compact space , pure mathematics
A general definition of consequence relation is given, and a criterion for compactness based on a nonstandard construction is demonstrated.