Why is Generative Grammar Recursive?

A familiar argument goes as follows: natural languages have infinitely many sentences, finite representation of infinite sets requires recursion; therefore any adequate account of linguistic competence will require some kind of recursive device. The first part of this paper argues that this argument is not convincing. The second part argues that it was not the original reason recursive devices were introduced into generative linguistics. The real basis for the use of recursive devices stems from a deeper philosophical concern; a grammar that functions merely as a metalanguage would not be explanatorily adequate as it would merely push the problem of explaining linguistic competence back to another level. The paper traces this concern from Zellig Harris and Chomsky’s early work in generative linguistics and presents some implications.

The Algebraic and Geometric Classification of Four Dimensional Superalgebras

<p><b>The algebraic and geometric classification of k-algbras, of dimension fouror less, was started by Gabriel in “Finite representation type is open” [12].</b></p> <p>Several years later Mazzola continued in this direction with his paper “Thealgebraic and geometric classification of associative algebras of dimensionfive” [21]. The problem we attempt in this thesis, is to extend the resultsof Gabriel to the setting of super (or Z2-graded) algebras — our main effortsbeing devoted to the case of superalgebras of dimension four. Wegive an algebraic classification for superalgebras of dimension four withnon-trivial Z2-grading. By combining these results with Gabriel’s we obtaina complete algebraic classification of four dimensional superalgebras.</p> <p>This completes the classification of four dimensional Yetter-Drinfeld modulealgebras over Sweedler’s Hopf algebra H4 given by Chen and Zhangin “Four dimensional Yetter-Drinfeld module algebras over H4” [9]. Thegeometric classification problem leads us to define a new variety, Salgn —the variety of n-dimensional superalgebras—and study some of its properties.</p> <p>The geometry of Salgn is influenced by the geometry of the varietyAlgn yet it is also more complicated, an important difference being thatSalgn is disconnected. While we make significant progress on the geometricclassification of four dimensional superalgebras, it is not complete. Wediscover twenty irreducible components of Salg4 — however there couldbe up to two further irreducible components.</p>

The Algebraic and Geometric Classification of Four Dimensional Superalgebras

<p><b>The algebraic and geometric classification of k-algbras, of dimension fouror less, was started by Gabriel in “Finite representation type is open” [12].</b></p> <p>Several years later Mazzola continued in this direction with his paper “Thealgebraic and geometric classification of associative algebras of dimensionfive” [21]. The problem we attempt in this thesis, is to extend the resultsof Gabriel to the setting of super (or Z2-graded) algebras — our main effortsbeing devoted to the case of superalgebras of dimension four. Wegive an algebraic classification for superalgebras of dimension four withnon-trivial Z2-grading. By combining these results with Gabriel’s we obtaina complete algebraic classification of four dimensional superalgebras.</p> <p>This completes the classification of four dimensional Yetter-Drinfeld modulealgebras over Sweedler’s Hopf algebra H4 given by Chen and Zhangin “Four dimensional Yetter-Drinfeld module algebras over H4” [9]. Thegeometric classification problem leads us to define a new variety, Salgn —the variety of n-dimensional superalgebras—and study some of its properties.</p> <p>The geometry of Salgn is influenced by the geometry of the varietyAlgn yet it is also more complicated, an important difference being thatSalgn is disconnected. While we make significant progress on the geometricclassification of four dimensional superalgebras, it is not complete. Wediscover twenty irreducible components of Salg4 — however there couldbe up to two further irreducible components.</p>

Galois coverings of one-sided bimodule problems

Applying geometric methods of 2-dimensional cell complex theory, we construct a Galois covering of a bimodule problem satisfying some structure, triangularity and finiteness conditions in order to describe the objects of finite representation type. Each admitted bimodule problem A is endowed with a quasi multiplicative basis. The main result shows that for a problem from the considered class having some finiteness restrictions and the schurian universal covering A', either A is schurian, or its basic bigraph contains a dotted loop, or it has a standard minimal non-schurian bimodule subproblem.

Finite representability of semigroups with demonic refinement

The motivation for using demonic calculus for binary relations stems from the behaviour of demonic turing machines, when modelled relationally. Relational composition (; ) models sequential runs of two programs and demonic refinement ($$\sqsubseteq $$ ⊑ ) arises from the partial order given by modeling demonic choice ($$\sqcup $$ ⊔ ) of programs (see below for the formal relational definitions). We prove that the class $$R(\sqsubseteq , ;)$$ R ( ⊑ , ; ) of abstract $$(\le , \circ )$$ ( ≤ , ∘ ) structures isomorphic to a set of binary relations ordered by demonic refinement with composition cannot be axiomatised by any finite set of first-order $$(\le , \circ )$$ ( ≤ , ∘ ) formulas. We provide a fairly simple, infinite, recursive axiomatisation that defines $$R(\sqsubseteq , ;)$$ R ( ⊑ , ; ) . We prove that a finite representable $$(\le , \circ )$$ ( ≤ , ∘ ) structure has a representation over a finite base. This appears to be the first example of a signature for binary relations with composition where the representation class is non-finitely axiomatisable, but where the finite representation property holds for finite structures.

τ-Rigid Modules for Algebras with Radical Square Zero

For a radical square zero algebra [Formula: see text] and an indecomposable right [Formula: see text]-module [Formula: see text], when [Formula: see text] is Gorenstein of finite representation type or [Formula: see text] is [Formula: see text]-rigid, [Formula: see text] is [Formula: see text]-rigid if and only if the first two projective terms of a minimal projective resolution of [Formula: see text] have no non-zero direct summands in common. In particular, we determine all [Formula: see text]-tilting modules for Nakayama algebras with radical square zero.

From subcategories to the entire module categories

In this paper we show that how the representation theory of subcategories (of the category of modules over an Artin algebra) can be connected to the representation theory of all modules over some algebra. The subcategories dealing with are some certain subcategories of the morphism categories (including submodule categories studied recently by Ringel and Schmidmeier) and of the Gorenstein projective modules over (relative) stable Auslander algebras. These two kinds of subcategories, as will be seen, are closely related to each other. To make such a connection, we will define a functor from each type of the subcategories to the category of modules over some Artin algebra. It is shown that to compute the almost split sequences in the subcategories it is enough to do the computation with help of the corresponding functors in the category of modules over some Artin algebra which is known and easier to work. Then as an application the most part of Auslander–Reiten quiver of the subcategories is obtained only by the Auslander–Reiten quiver of an appropriate algebra and next adding the remaining vertices and arrows in an obvious way. As a special case, when Λ is a Gorenstein Artin algebra of finite representation type, then the subcategories of Gorenstein projective modules over the {2\times 2} lower triangular matrix algebra over Λ and the stable Auslander algebra of Λ can be estimated by the category of modules over the stable Cohen–Macaulay Auslander algebra of Λ.