Refine
Year of publication
- 2018 (132) (remove)
Document Type
- Working Paper (132) (remove)
Has Fulltext
- yes (132) (remove)
Is part of the Bibliography
- no (132) (remove)
Keywords
- Liquidity (6)
- household finance (4)
- OTC markets (3)
- regulation (3)
- regulatory arbitrage (3)
- Capital Markets Union (2)
- Central Clearing (2)
- Central Counterparties (2)
- Circuit Breaker (2)
- Collateral (2)
Institute
- Wirtschaftswissenschaften (101)
- Center for Financial Studies (CFS) (97)
- Sustainable Architecture for Finance in Europe (SAFE) (74)
- House of Finance (HoF) (61)
- Institute for Monetary and Financial Stability (IMFS) (9)
- Kulturwissenschaften (7)
- Geographie (3)
- Informatik (3)
- Rechtswissenschaft (3)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (2)
Monetary policy and prudential supervision – from functional separation to a holistic approach?
(2018)
When prudential supervision was put in the hands of the European Central Bank (ECB), it was the political understanding that the ECB should follow a policy of meticulous separation between monetary policy and financial supervision. However, the financial crisis showed that monetary policy and prudential supervision deeply affect each other and that an overly strict separation might generate systemic risk. As a consequence, the prevalent model of “functional separation” – central banking and financial supervision in separate entities – has been questioned and calls for a more holistic approach increased.
This policy letter states that from a legal perspective, such a holistic approach would be in conformity with the current legal framework of the Economic and Monetary Union. Although the realization of a holistic approach might intensify the doubts of democratic legitimation under the framework of the ESCB, the independence of the ECB should not be given up. As viable alternatives to protect monetary policy against the time inconsistency problem that would render central bank independence moot do not seem to be available and given the great importance of the independence of the European institutions for the European integration, the democratic control over the ECB should be strengthened instead of stripping the ECB of its independence.
Automated deduction in higher-order program calculi, where properties of transformation rules are demanded, or confluence or other equational properties are requested, can often be done by syntactically computing overlaps (critical pairs) of reduction rules and transformation rules. Since higher-order calculi have alpha-equivalence as fundamental equivalence, the reasoning procedure must deal with it. We define ASD1-unification problems, which are higher-order equational unification problems employing variables for atoms, expressions and contexts, with additional distinct-variable constraints, and which have to be solved w.r.t. alpha-equivalence. Our proposal is to extend nominal unification to solve these unification problems. We succeeded in constructing the nominal unification algorithm NomUnifyASC. We show that NomUnifyASC is sound and complete for these problem class, and outputs a set of unifiers with constraints in nondeterministic polynomial time if the final constraints are satisfiable. We also show that solvability of the output constraints can be decided in NEXPTIME, and for a fixed number of context-variables in NP time. For terms without context-variables and atom-variables, NomUnifyASC runs in polynomial time, is unitary, and extends the classical problem by permitting distinct-variable constraints.
1998 ACM Subject Classification F.4.1 Mathematical Logic