Background: The P600 brain wave reflects syntactic processes in response to different first language (L1) syntactic violations, syntactic repair, structural reanalysis, and specific semantic components. Unlike semantic processing, aspects of the second language (L2) syntactic processing differ from the L1, particularly at lower levels of proficiency. At higher L2 proficiency, syntactic violatio...

2 Abstract In this article I defend the view that many central aspects of the semantics of tense are determined by independently-motivated principles of syntactic theory. I begin by decomposing tenses syntactically into a temporal ordering predicate (the true tense, on this approach) and two time-denoting arguments corresponding to covert a reference time (RT) argument and an eventuality time (...

A complete choice of generators of the center of the enveloping algebras of real quasi-simple Lie algebras of orthogonal type, for arbitrary dimension, is obtained in a unified setting. The results simultaneously include the well known polynomial invariants of the pseudo-orthogonal algebras so(p, q), as well as the Casimirs for many non-simple algebras such as the inhomogeneous iso(p, q), the N...

For an algebraic number field k and a prime p, define the number p to be the maximal number d such that there exists a Galois extension of k whose Galois group is a free pro-p-group of rank d. The Leopoldt conjecture implies 1~ p ~ r2 +1, (r2 denotes the number of complex places of k). Some examples of k and p with 03C1 = r2 + 1 have been known so far. In this note, the invariant 03C1 is studie...

Consider a non-commutative algebraic surface, X, and an effective divisor Y on X, as defined by Van den Bergh. We show that the Riemann-Roch theorem, the genus formula, and the self intersection formula from classical algebraic geometry generalize to this setting. We also apply our theory to some special cases, including the blow up of X in a point, and show that the self intersection of the ex...

The English tenses are often claimed to be deictic, i.e. to make reference to the utterance time and localize some state of affairs relative to it. For instance, the simple past is proposed to convey that the eventuality described in its scope took place at some contextually given time in the past of the utterance time. Let us call the time with respect to which the tenses locate their eventual...

The aim of this paper is to account for the behaviour of Polish pronom-inal clitics in tense auxiliary constructions. In particular, we discuss the phenomenon known as clitic climbing (CC) and provide its HPSG account. Unlike Romance or Germanic languages, Polish employs only one tense auxiliary verb by´c 'be'. The future tense of imperfective verbs is formed with the strong form of the auxilia...

We investigate algorithms for solving the satisfiability problem in composition-nominative logics of quantifier-equational level. These logics are algebra-based logics of partial predicates constructed in a semantic-syntactic style on the methodological basis, which is common with programming; they can be considered as generalizations of traditional logics on classes of partial predicates that ...

A translation technique is presented which transforms a class of First Order Logic formulas, called Restricted formulas, into ground formulas. For the formulas in this class the range of quanti ed variables is restricted by Domain formulas. If we have a complete knowledge of the predicates involved in the Domain formulas their extensions can be evaluated with the Relational Algebra and these ex...

This paper attempts to address an important concept--prototypicality ---in cognitive studies on the categorization of the English tense system, and raises the grammatical and functional approaches to the tense system to the level of universal cognition. On the theoretical basis of prototype theory, this research addresses the prototype of category TENSE, its cognitive features, and the mechanis...