On predication, derivation and anti-locality

This paper pursues the question what the implications of the Anti-Locality Hypothesis could be for the syntax of secondary predication. Focus of the discussion will be an investigation of what their internal structure of small clause complements must look like, how these small clause complements connect to their matrix environments, and what the relevance could be for the formulation of anti-locality presented here. Anti-locality is defined over a tripartite clause structure (split into three Prolific Domains) and a PF-condition on the computation (the Condition on Domain-Exclusivity). The investigation revolves around two leading questions: (i) does the syntax of small clauses involve more structure than simply [SC DP XP] and (ii) do small clauses constitute their own Prolific Domain (or maybe even more)? The results, affirmative answers to both questions, are also relevant for other types of secondary predication

What a Difference Trade Makes - Export Activity and the Flexibility of Collective Bargaining Agreements

The prevalence of opening clauses in collective bargaining agreements may indicate a tendency to a higher decentralised wage settlement. Increasing competition on international product markets is assumed to be one reason for wage-setting decentralisation, whereas theoretical explanations focus currently on the change of production structure and the impact of exogenous shocks. Incorporating stylised facts about exporting firms, new trade models suggest a different way of adjustment to increasing competition depending on a firm's nature. While the most productive exporters expand into new markets, small, less productive non-exporters are threatened by import competition. Based on the model from Bernard et al. (2003), we apply the theoretical implications to explain why decentralisation in bargaining may arise. We examine in a second step whether small, less productive, non-exporting firms paying low average wages, possess a higher propensity to use opening clauses than more productive, large exporters with a high wage level. Based on IAB Establishment Data covering the German Manufacturing, our results indicate that firms exporting to EMU countries -- but not exporters in general -- have a lower propensity of using opening clauses than non-exporters. However, inconsistent with theory, slight evidence suggests a rising propensity with increasing firm size and increasing wage level.trade model;opening clauses; collective bargaining;

Partial Quantifier Elimination By Certificate Clauses

We study partial quantifier elimination (PQE) for propositional CNF formulas. In contrast to full quantifier elimination, in PQE, one can limit the set of clauses taken out of the scope of quantifiers to a small subset of target clauses. The appeal of PQE is twofold. First, PQE can be dramatically simpler than full quantifier elimination. Second, it provides a language for performing incremental computations. Many verification problems (e.g. equivalence checking and model checking) are inherently incremental and so can be solved in terms of PQE. Our approach is based on deriving clauses depending only on unquantified variables that make the target clauses $\mathit{redundant}$. Proving redundancy of a target clause is done by construction of a ``certificate'' clause implying the former. We describe a PQE algorithm called $\mathit{START}$ that employs the approach above. We apply $\mathit{START}$ to generating properties of a design implementation that are not implied by specification. The existence of an $\mathit{unwanted}$ property means that this implementation is buggy. Our experiments with HWMCC-13 benchmarks suggest that $\mathit{START}$ can be used for generating properties of real-life designs

Unsatisfiable Linear CNF Formulas Are Large and Complex

We call a CNF formula linear if any two clauses have at most one variable in common. We show that there exist unsatisfiable linear k-CNF formulas with at most 4k^2 4^k clauses, and on the other hand, any linear k-CNF formula with at most 4^k/(8e^2k^2) clauses is satisfiable. The upper bound uses probabilistic means, and we have no explicit construction coming even close to it. One reason for this is that unsatisfiable linear formulas exhibit a more complex structure than general (non-linear) formulas: First, any treelike resolution refutation of any unsatisfiable linear k-CNF formula has size at least 2^(2^(k/2-1))$. This implies that small unsatisfiable linear k-CNF formulas are hard instances for Davis-Putnam style splitting algorithms. Second, if we require that the formula F have a strict resolution tree, i.e. every clause of F is used only once in the resolution tree, then we need at least a^a^...^a clauses, where a is approximately 2 and the height of this tower is roughly k.Comment: 12 pages plus a two-page appendix; corrected an inconsistency between title of the paper and title of the arxiv submissio

What a Difference Trade Makes - Export Activity and the Flexibility of Collective Bargaining Agreements

The prevalence of opening clauses in collective bargaining agreements may indicate a tendency to a higher decentralised wage settlement. Increasing competition on international product markets is assumed to be one reason for wage-setting decentralisation, whereas theoretical explanations focus currently on the change of production structure and the impact of exogenous shocks. Incorporating stylised facts about exporting firms, new trade models suggest a different way of adjustment to increasing competition depending on a firm's nature. While the most productive exporters expand into new markets, small, less productive non-exporters are threatened by import competition. Based on the model from Bernard et al. (2003), we apply the theoretical implications to explain why decentralisation in bargaining may arise. We examine in a second step whether small, less productive, non-exporting firms paying low average wages, possess a higher propensity to use opening clauses than more productive, large exporters with a high wage level. Based on IAB Establishment Data covering the German Manufacturing, our results indicate that firms exporting to EMU countries -- but not exporters in general -- have a lower propensity of using opening clauses than non-exporters. However, inconsistent with theory, slight evidence suggests a rising propensity with increasing firm size and increasing wage level.trade model;opening clauses; collective bargaining;

An empirical study of unfair terms in online auction contracts in the UK: Evidence for the need for better enforcement mechanisms

This paper studies the terms of 28 online auction sites. It uncovers that, in this industry, unfair terms are common. The paper focusses on a small number of clauses but conclusively shows that enforcement in the UK is insufficient. The reasons for this insufficiency are explored and solutions proposed