On bounded theories
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 111-118
- https://doi.org/10.1007/bfb0023761
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Describing Graphs: A First-Order Approach to Graph CanonizationPublished by Springer Nature ,1990
- Definability with bounded number of bound variablesInformation and Computation, 1989
- Preservation of expressive completeness in temporal modelsInformation and Computation, 1987
- Deux ou trois choses que je sais de LnThe Journal of Symbolic Logic, 1982
- Upper and lower bounds for first order expressibilityJournal of Computer and System Sciences, 1982
- Expressive Functional Completeness in Tense Logic (Preliminary report)Published by Springer Nature ,1981
- On Moschovakis closure ordinalsThe Journal of Symbolic Logic, 1977