FINITE APPROXIMATIONS OF INFINITELY LONG FORMULAS
Author:
KEISLER H. JEROME
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Bibliography;Relation Algebras by Games;2002
2. Some applications of Henkin quantifiers;Israel Journal of Mathematics;1976-03
3. Descriptive set theory in $$L_{\omega _l \omega }$$;Cambridge Summer School in Mathematical Logic;1973
4. Interpolation Theorem and Characterization Theorem;Annals of the Japan Association for Philosophy of Science;1972
5. Formulas with linearly ordered quantifiers;Lecture Notes in Mathematics;1968