We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas.
- Authors
Ash, Christopher J.; Knight, Julia F.
- Abstract
The article describes a theorem for certain classes of recursive infinitary formulas. It considers the following generalization of the notion of a structure recursive relative to a set X. It demonstrates that a certain, fairly obvious, description of classes C', of recursive infinitary formulas has a property.
- Subjects
RECURSIVE functions; SET theory; RECURSION theory; RECURSIVE sequences (Mathematics); MATHEMATICAL analysis
- Publication
Mathematical Logic Quarterly, 1994, Vol 40, Issue 2, p173
- ISSN
0942-5616
- Publication type
Article
- DOI
10.1002/malq.19940400204