Open AccessCompactness Theorem for Some Generalized Second-Order Language
Author(s) -
V. K. Zakharov,
A. D. Yashin
Publication year - 2014
Publication title -
journal of mathematics research
Language(s) - English
Resource type - Journals
eISSN - 1916-9809
pISSN - 1916-9795
DOI - 10.5539/jmr.v6n3p21
Subject(s) - ultraproduct , mathematics , compact space , order (exchange) , ultrafilter , type (biology) , interpretation (philosophy) , factorization , combinatorics , discrete mathematics , pure mathematics , algorithm , computer science , finance , economics , ecology , biology , programming language