Syntax without Abstract Objects

Abstract

In line with the nominalistic denial of the existence of abstract objects, a basic theory of syntax for formal languages is developed and shown to satisfy certain fundamental requirements