Author:
Barwise Jon,Moschovakis Yiannis N.
Abstract
AbstractWe show that several theorems on ordinal bounds in different parts of logic are simple consequences of a basic result in the theory of global inductive definitions.
Publisher
Cambridge University Press (CUP)
Reference10 articles.
1. Sacks G. [to appear], Effective bounds on Morley rank.
2. A counter-example in ring theory and homological algebra
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. aleph(1) AND THE MODAL mu-CALCULUS In memory of Zoltan Esik;LOG METH COMPUT SCI;2019
2. How Can Reasoners Simplify Database Querying (And Why Haven't They Done It Yet)?;Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2018-05-27
3. A progression semantics for first-order logic programs;Artificial Intelligence;2017-09
4. A Step Up in Expressiveness of Decidable Fixpoint Logics;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05
5. The Complexity of Boundedness for Guarded Logics;2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science;2015-07