Based on the paper [4] we show that true second‐order arithmetic is interpretable over the real‐algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras.

We show that true first-order arithmetic of the positive integers is interpretable over the real-algebraic structure of Scott's topological model for intuitionistic analysis. From this the undecidability of the structure follows.

The paper sets out to offer an alternative to the function/argument approach to the most essential aspects of natural language meanings. That is, we question the assumption that semantic completeness (of, e.g., propositions) or incompleteness (of, e.g., predicates) exactly replicate the corresponding grammatical concepts (of, e.g., sentences and verbs, respectively). We argue that even if one gives up this assumption, it is still possible to keep the compositionality of the semantic interpretation of simple predicate/argument structures. In our opinion, compositionality presupposes (...) that we are able to compare arbitrary meanings in term of information content. This is why our proposal relies on an ‘intrinsically’ type free algebraic semantic theory. The basic entities in our models are neither individuals, nor eventualities, nor their properties, but ‘pieces of evidence’ for believing in the ‘truth’ or ‘existence’ or ‘identity’ of any kind of phenomenon. Our formal language contains a single binary non-associative constructor used for creating structured complex terms representing arbitrary phenomena. We give a finite Hilbert-style axiomatisation and a decision algorithm for the entailment problem of the suggested system. (shrink)

We show that true first-order arithmetic is interpretable over the real-algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras. From this the undecidability of the structures follows. We also show that Scott's model is equivalent to true second-order arithmetic. In the appendix we argue that undecidability on the language of ordered rings follows from intuitionistically plausible properties of the real numbers.

Let $L = \langle, +, h_q, 1\rangle_{q \in \mathbb{Q}}$ where $\mathbb{Q}$ is the set of rational numbers and $h_q$ is a one-place function symbol corresponding to multiplication by $q$. Then the $L$-theory of Scott's model for intuitionistic analysis is decidable.

We show that various fragments of the intuitionistic/constructive theory of the reals are decidable.

Repression has become an empirical fact that is at once obvious and problematic. Fragmented clinical and laboratory traditions and disputed terminology have resulted in a Babel of misunderstandings in which false distinctions are imposed (e.g., between repression and suppression) and necessary distinctions not drawn (e.g., between the mechanism and the use to which it is put, defense being just one). “Repression” was introduced by Herbart to designate the (nondefensive) inhibition of ideas by other ideas in their struggle for consciousness. Freud (...) adapted repression to the defensive inhibition of “unbearable” mental contents. Substantial experimental literatures on attentional biases, thought avoidance, interference, and intentional forgetting exist, the oldest prototype being the work of Ebbinghaus, who showed that intentional avoidance of memories results in their progressive forgetting over time. It has now become clear, as clinicians had claimed, that the inaccessible materials are often available and emerge indirectly (e.g., procedurally, implicitly). It is also now established that the Ebbinghaus retention function can be partly reversed, with resulting increases of conscious memory over time (hypermnesia). Freud's clinical experience revealed early on that exclusion from consciousness was effected not just by simple repression (inhibition) but also by a variety of distorting techniques, some deployed to degrade latent contents (denial), all eventually subsumed under the rubric of defense mechanisms (“repression in the widest sense”). Freudian and Bartlettian distortions are essentially the same, even in name, except for motive (cognitive vs. emotional), and experimentally induced false memories and other “memory illusions” are laboratory analogs of self-induced distortions. Key Words: avoidance; Bartlett; defense; denial; distortion; Ebbinghaus; false-memories; Freud; inhibition; repression; suppression. (shrink)

La Doctrine de la Science professée à l'Université de Berlin en 1812 est imprimée dans le volume 2 des Nachgelassene Werke qu'on désigne habituellement comme le tome X des Oeuvres. C'est la dernière version de la Doctrine de la Science que l'auteur a pu compléter et elle peut être considérée comme l'exposé final de sa spéculation. Sans doute, la Wissenschaftslehre de 1813 restée fragment contient maintes formulations percutantes, auparavant inconnues et les Tatsachen des Bewußtseins de 1813 présentent selon un autre (...) ordre -- et d'une manière bien plus agréable, plus lisible -- la plupart des grands thèmes du cours de 1812. Toutefois, ce texte demeure l'ultime formulation autorisée de l'idéalisme fichtéen, un ouvrage de grande maturité, qui expose avec fermeté et brio le processus du savoir transcendantal. Ici aussi le philosophe dit et redit avoir accédé à une clarté jusqu'alors inconnue dans l'exposé, mais en ce qui concerne le sujet de cet exposé, il reste le même. Fichte croit dire la même chose depuis 1794 même s'il pense le dire mieux chaque année. Or l'historiographie reste plus que sceptique à l'égard des prétentions de l'auteur et elle ne voudrait pas lui concéder la continuité des thèmes et des thèses à travers le fil des ans. On lui reproche une espèce de rupture avec le projet transcendantal de ses commencements, on le prend pour le représentant d'un idéalisme théiste, d'une mystique spéculative. Il se serait engagé comme Schelling -- et d'une manière peut-être encore plus désespérée que lui -- sur une voie sans issue de la spéculation qui l'aurait conduit à la ruine. (shrink)

In diesem Aufsatz erläutere ich Leibniz' Versuche, seinen Infinitesimalkalkül zu rechtfertigen. Die Untersuchung zielt ab auf ein klareres Verständnis, wie tief Leibniz die Begriffe, Ziele und Methoden im Hinblick auf das fragliche Problem faßte. Mein Überblick ist in zwei Teile gegliedert. Der erste stellt die Definition und den Gebrauch einiger Leibnizscher Begriffe dar, die bei der Rechtfertigung des Calculus eine wichtige Rolle spielen. Im zweiten skizziere ich, auf welche Weise Leibniz die Infinitesimalrechnung zu rechtfertigen versuchte.

Moti Mizrahi provides experimental evidence according to which subjects judge that a person ought to ? even when she cannot ?. He takes his results to constitute a falsification of the alleged intuitiveness of the ‘Ought Implies Can’ principle. We point out that in the light of the fact that (a) ‘ought’ is multiply ambiguous, that (b) only a restricted set of readings of ‘ought’ will be relevant to the principle, and that (c) he did not instruct his subjects appropriately (...) – or otherwise ensure that in their ‘ought’ judgements they applied the relevant concept(s) – Mizrahi’s conclusions appear premature. We suggest two ways in which the experimental design could be adjusted or supplemented. First, Mizrahi could instruct (or prime) subjects to read the ‘ought’ question in a particular way. Second, he could complement his experiment by asking follow-up questions aimed at uncovering the implications for blame of subjects’ judgements. Once these adjustments are applied, an experiment with a similar outcome would be more significant. (shrink)

Most philosophers believe that a person can have an obligation only insofar as she is able to fulfil it, a principle generally referred to as “Ought Implies Can”. Arguably, this principle reflects something basic about the ordinary concept of obligation. However, in a paper published recently in this journal, Wesley Buckwalter and John Turri presented evidence for the conclusion that ordinary people in fact reject that principle. With a series of studies, they claimed to have demonstrated that, in people’s judgements, (...) obligations persist irrespective of whether those who hold them have the ability to fulfil them. We argue in this paper that due to some problems in their design, Buckwalter & Turri’s conclusions may not be war- ranted. We present the results of a series of studies demonstrating the problems with their design and showing that, with an improved design, people judge that obligation depends on ability after all. (shrink)

Unconscious processes, by whatever name they may be known , are invariably operationalized by the dissociation paradigm, any situation involving the dissociation between two indicators , one of availability and the other, of accessibility , such that, ε>α. Subliminal perception has been traditionally defined by a special case of the dissociation paradigm in which availability exceeds accessibility when accessibility is null . Construct validity issues bedevil all dissociation paradigms since it is not clear what might constitute appropriate indicators that, moreover, (...) are pure and exhaustive. Semantic and theoretic drifts in the recent literature—e.g., the confusion of different versions of the dissociation paradigm, the equation of conscious–unconscious with direct–indirect tests, and the foisting of the criterion of qualitative differences—have tended to undermine emerging theoretic parsimony. On the other hand, a crucial factor has been left out of theory development: time. Both ε and α can rise and fall over time, often asynchronously, and so dissociations may wax and wane and, even, reverse over time. Some laboratory evidence suggests that accessibility measures , as they approach chance, may actually dip below chance . If so, d′=0 , could be an averaging artifact of positive and negative d′s. Conscious accessibility is not either–or but more or less, and variable over time. (shrink)

This paper argues for a reappraisal of extant scholarship on delegation in the domain of financial regulation. Through an examination of Japan's experience with financial regulation between 1992 and 2003, it is demonstrated that crisis-induced institutional development entails a shift toward a more flexible, trustee-type bureaucratic structure. While the logic presented in this paper is far from a universally applicable theory of institutional change, it calls into question the relevance of more conventional approaches to the origins of delegation of authority, (...) notably the approach that uses unified and divided government as a key variable. A renewed emphasis on the role of extra-political sources of transfers of authority inside the executive, and also between the legislature and the executive, therefore, is in order. (shrink)

The idea of quantum logic first appears explicitly in the short Section 5 of Chapter III. in von Neumann’s 1932 book on the mathematical foundations of quantum mechanics [31]; however, the real birthplace of quantum logic is commonly identified with the 1936 seminal paper co-authored by G. Birkhoff and J. von Neumann [5]. The aim of this review is to recall the main idea of the Birkhoff-von Neumann concept1 of quantum logic as this was put forward in the 1936 paper. (...) The review is motivated partly by two facts related to quantum logic: one, peculiar, is that the 1936 von Neumann concept is an almost totally neglected2 topic in the enormous quantum logic literature [17]; the other, not very well-known, is that von Neumann was never completely satisfied with how he had worked out quantum logic. (shrink)

Cognitive control is a set of mechanisms that help us process conflicting stimuli and maintain goal-relevant behaviour. According to the Affective Signalling Hypothesis, conflicting stimuli are aversive and thus elicit (negative) affect, moreover – to avoid aversive signals – affective and cognitive systems work together by increasing control and thus, drive conflict adaptation. Several studies have found that affective stimuli can indeed modulate conflict adaptation, however, there is currently no evidence that phasic affective states not triggered by conflict also trigger (...) improved cognitive control. To investigate this possibility, we intermixed trials of a conflict task and trials involving the passive viewing of emotional words. We tested whether affective states induced by affective words in a given trial trigger improved cognitive control in a subsequent conflict trial. Applying Bayesian analysis, the results of four experiments supported the lack of adaptation to aversive signals, both in terms of valence and arousal. These results suggest that phasic affective states by themselves are not sufficient to elicit an increase in control. (shrink)

In this paper, I critically analyze Andrea Sangiovanni’s approach to international justice in the EU that he labels Reciprocity-based Internationalism (RBI). I aim to show that the type of reciprocity RBI operates with is not a morally attractive ground for distributive justice because it cannot cope with the case of member states’ inability to reciprocate the production of collective goods at the EU level. I illustrate this with the case of disability. I contrast RBI’s understanding of reciprocity with Christie Hartley’s (...) ‘relationship model’. I argue that the relationship model of reciprocity should characterize the EU, whose two core normative features are fraternity and equal status. The advantage of the relationship model is that it calls for a stronger type of solidarity than RBI does. That not only entails the willingness to support those worse-off members that cannot productively reciprocate other member states’ efforts at the EU level but also calls for a higher redistribution rate within the EU. In the paper, I make three comparisons between RBI’s ‘productive reciprocity’ and the relationship model. The first concerns non-EU-integration-related disadvantages; the second concerns membership cases, such as accession to federations and supranational unions, while the third comparison examines EU-integration-related disadvantages. I argue that the relationship model is a better alternative to RBI in both integration-related and non-integration-related disadvantages. Also, the relationship model can justify accession cases where previous historical ties are relevant, which are outside of the purview of RBI. (shrink)

Contemporary Complex Cinema. Complex conditions: the resurgence of narrative complexity ; Complex cinema as brain-candy for the empowered viewer ; Narrative taxonomies: simple, complex, puzzle plots -- Cognitive Approach to Contemporary Complex Cinema. Why an (embodied-)cognitive approach? ; Various forms of complexity and their effects on sense making ; Problematizing narrative linearity ; Complicating narrative structures and ontologies ; Under-stimulation and cognitive overload ; Contradictions and unreliabilities ; A cognitive approach to classifying complexity ; Deceptive unreliability and the twist film (...) ; Disorienting but solvable puzzle films ; Impossible puzzle films -- Narrative Complexity and Dissonant Cognitions. The concept of cognitive dissonance ; Cognitions in dissonance: from social psychology to narrative engagement ; Types of dissonance in narrative comprehension ; Narrative incongruities ; Narrative impossibilities ; Cognitive access to impossible storyworlds: immersed and reflected operations ; 'Impossibilities' and embodied cognition ; Disrupting viewers' reliance on image schemas by perceptual impossibility ; Disrupting viewers' reliance on image schemas by formal impossibility -- Taming Dissonance: Cognitive Operations and Interpretive Strategies. Cognitive dissonance versus narrative coherence ; Reducing dissonance: interpretation and naturalization ; Foregrounding ; Narrating agency and authorship ; Artefact emotions and metareflexive appreciation ; Interpretation as dissonance reduction ; Coping with dissonance: frame-switches and poetic and aesthetic readings ; Frame-switching as hermeneutic play in impossible puzzle films ; Switching between narrative and symbolical readings: Enemy and Mulholland Drive ; Cognitive hesitation and the fantastic -- Impossible Puzzle Films: Between Art-Cinema and (Post-) Classical Narration. From art-cinema to puzzle films ; Art-cinema as a narrative mode ; Dissonance in modernist art-cinema ; Art-cinema as a cognitive reception frame ; Narrative complexity and meaning-making in art-cinema ; Impossible puzzle films and (post-)classical narration ; High degree of tellability ; Identification with goal-oriented characters ; Strong reliance on classical genre elements ; Adherence to classical narrative cohesion devices ; Inclusion of quasi-rational frames of naturalization -- Wallowing in Dissonance: The Attractiveness of Impossible Puzzles. Hermeneutic play and interpretive multiplicity ; Orientation, navigation, mapping ; Game logic and the fascination in failure ; Effort justification ; Diegetization of decoupling ; Fascination in infinity ; Destabilized ontological certainty ; Eudaimonic motivations and intrinsic needs. (shrink)

This chapter describes how philosophical theorizing about justice can be connected with empirical research in the social sciences. We begin by drawing on some received distinctions between ideal and non-ideal approaches to theorizing justice along several different dimensions, showing how non-ideal approaches are needed to address normative aspects of real-world problems and to provide practical guidance. We argue that there are advantages to a transitional approach to justice focusing on manifest injustices, including the fact that it enables us to set (...) aside some reasonable disagreements about justice. The ‘bottom-up’ approach we advocate, for which we borrow Wolff’s term ‘real-world political philosophy’, is an empirically-informed normative analysis that attends to specific, identifiable injustices, and thus is partial, though not isolationist. We illustrate our approach by considering how different models of the nature of disability suggest different kinds of remedy for injustices faced by persons living with disabilities. We reflect on the nature and significance of vulnerabilities, and we assess the role of public opinion in normative theorizing, suggesting a particular significance for the opinions and experiences of marginalized groups. We finally reflect on the relevance of European legal and institutional frameworks for theorizing justice in Europe. (shrink)

This paper develops an account of how economic and political institutions can limit the applicability of principles of justice even in non-relational cosmopolitan conceptions. It shows that fundamental principles of justice underdetermine fair distributive shares as well as justice -based requirements. It argues that institutions partially constitute the content of justice by determining distributive shares and by resolving indeterminacies about justice -based requirements resulting from strategic interaction and disagreement. In the absence of existing institutions principles of justice might not be (...) applicable for assessing distributions or guiding individual action and institutional design. Hence, accepting a specific cosmopolitan conception of justice is insufficient to settle global distributive questions. (shrink)

Rorty on Politics, Culture, and Philosophy: A Defence of his Romanticism Rorty's historicist romanticism is a peculiar and oft criticized feature of his neopragmatism. I attempt to show that it should be regarded not so much as a more or less exceptionable philosophical approach, but rather, as a practice in ‘cultural politics’—which is his ultimate definition for philosophy—prompted by his acute political concerns and his views on the nature of moral progress.

We show that the usual axiom system of quasi polyadic equality algebras is strongly redundant. Then, so called non‐commutative quasi‐polyadic equality algebras are introduced (), in which, among others, the commutativity of cylindrifications is dropped. As is known, quasi‐polyadic equality algebras are not representable in the classical sense, but we prove that algebras in are representable by quasi‐polyadic relativized set algebras, or more exactly by algebras in.

Three classes are introduced which are closely related to the class included in the title. It is proven that the class obtained from by replacing axiom C4 by the commutativity of single substitutions can be considered as the abstract class in the Resek–Thompson theorem, thus it is representable by set algebras. Then the class is defined and it is shown that the necessary and sufficient condition for neat embeddability of an algebra in CAα into is the validity of the merry-go-round (...) properties. Finally, the class is introduced which class is a counterpart of among the polyadic like algebras. (shrink)

The common cause principle says that every correlation is either due to a direct causal effect linking the correlated entities or is brought about by a third factor, a so-called common cause. The principle is of central importance in the philosophy of science, especially in causal explanation, causal modeling and in the foundations of quantum physics. Written for philosophers of science, physicists and statisticians, this book contributes to the debate over the validity of the common cause principle, by proving results (...) that bring to the surface the nature of explanation by common causes. It provides a technical and mathematically rigorous examination of the notion of common cause, providing an analysis not only in terms of classical probability measure spaces, which is typical in the available literature, but in quantum probability theory as well. The authors provide numerous open problems to further the debate and encourage future research in this field. (shrink)

Abstract Based on recalling two characteristic features of Bayesian statistical inference in commutative probability theory, a stability property of the inference is pointed out, and it is argued that that stability of the Bayesian statistical inference is an essential property which must be preserved under generalization of Bayesian inference to the non?commutative case. Mathematical no?go theorems are recalled then which show that, in general, the stability can not be preserved in non?commutative context. Two possible interpretations of the impossibility of generalization (...) of Bayesian statistical inference to the non?commutative case are offered, none of which seems to be completely satisfying. (shrink)

By quoting extensively from unpublished letters written by John von Neumann to Garret Birkhoff during the preparatory phase (in 1935) of their ground-breaking 1936 paper that established quantum logic, the main steps in the thought process leading to the 1936 Birkhoff–von Neumann paper are reconstructed. The reconstruction makes it clear why Birkhoff and von Neumann rejected the notion of quantum logic as the projection lattice of an infinite dimensional complex Hilbert space and why they postulated in their 1936 paper that (...) the quantum propositional system should be isomorphic to an abstract projective geometry. Looking at the paper now I see, that I forgot to say this, which should be said somewhere in the first §: That while common logics did apply to quantum mechanics, if the notion of simultaneous measurability is introduced as an auxiliary notion, we wished to construct a logical system, which applies directly to quantum mechanics – without any extraneous secondary notions like simultaneous measurability. And in order to have such a consequent, one-piece system of logics, we must change the classical class calculus of logics. (J. von Neumann to G. Birkhoff, November 21, 1935). (shrink)

We argue that, contrary to some analyses in the philosophy of science literature, ergodic theory falls short in explaining the success of classical equilibrium statistical mechanics. Our claim is based on the observations that dynamical systems for which statistical mechanics works are most likely not ergodic, and that ergodicity is both too strong and too weak a condition for the required explanation: one needs only ergodic-like behaviour for the finite set of observables that matter, but the behaviour must ensure that (...) the approach to equilibrium for these observables is on the appropriate time-scale. (shrink)

Mutually beneficial exchanges in markets can be exploitative because one party takes advantage of an underlying injustice. For instance, employers of sweatshop workers are often accused of exploiting the desperate conditions of their employees, although the latter accept the terms of their employment voluntarily. A weakness of this account of exploitation is its tendency for over-inclusiveness. Certainly, given the prevalence of global and domestic socioeconomic inequalities, not all exchanges that take place against background injustices should be considered exploitative. This paper (...) offers a framework to identify exploitation in mutually beneficial exchange, focusing on the case of sweatshop labor. It argues that an employer can be viewed as taking unfair advantage of an underlying injustice if and only if the employer’s surplus from the exchange in the unjust state of affairs exceeds the surplus it could maximally obtain in a just state of affairs. The paper illustrates the applicability of this framework using three different conceptions of justice and argues that it is superior to microlevel accounts of exploitation that regard background justice as irrelevant. The paper concludes by describing some normative implications that follow from judging an exchange exploitative. (shrink)

Our paper consists of three parts. In the first part we explain the concept of mental fictionalism. In the second part, we present the various versions of fictionalism and their main sources of motivation.We do this because in the third part we argue that mental fictionalism, as opposed to other versions of fictionalism, is a highly undermotivated theory.

Arguments from fairness as described in Aristotle’s _Rhetoric_ are usually taken to aim at mitigating the strictness of the law or, in terms of procedure, to favour the defendant. This paper considers a more inclusive interpretation, that is, that arguments from fairness can work both ways. In the example given in the _Rhetoric,_ arguments from fairness are directed at a restrictive interpretation of the text. That may not be necessary however. Likewise, fairness may speak for the claimant. Two examples may (...) support this conclusion: a judicial speech by Hyperides, and the doctrine of issues appearing in Hellenistic school rhetoric. (shrink)

Although it is known that reachability in undirected finite graphs can be expressed by an existential monadic second-order sentence, our main result is that this is not the case for directed finite graphs (even in the presence of certain "built-in" relations, such as the successor relation). The proof makes use of Ehrenfeucht-Fraisse games, along with probabilistic arguments. However, we show that for directed finite graphs with degree at most k, reachability is expressible by an existential monadic second-order sentence.

We study sincere-strategy preference-based approval voting , a system proposed by Brams and Sanver [1] and here adjusted so as to coerce admissibility of the votes , with respect to procedural control. In such control scenarios, an external agent seeks to change the outcome of an election via actions such as adding/deleting/partitioning either candidates or voters. SP-AV combines the voters' preference rankings with their approvals of candidates, where in elections with at least two candidates the voters' approval strategies are adjusted (...) – if needed – to approve of their most-preferred candidate and to disapprove of their least-preferred candidate. This rule coerces admissibility of the votes even in the presence of control actions, and hybridizes, in effect, approval with pluralitiy voting. We prove that this system is computationally resistant to 19 out of 22 types of constructive and destructive control. Thus, SP-AV has more resistances to control than is currently known for any other natural voting system with a polynomial-time winner problem. In particular, SP-AV is the second natural voting system with an easy winner-determination procedure that is known to have full resistance to constructive control, and unlike Copeland voting it in addition displays broad resistance to destructive control. (shrink)

We study sincere-strategy preference-based approval voting (SP-AV), a system proposed by Brams and Sanver [1] and here adjusted so as to coerce admissibility of the votes (rather than excluding inadmissible votes a priori), with respect to procedural control. In such control scenarios, an external agent seeks to change the outcome of an election via actions such as adding/deleting/partitioning either candidates or voters. SP-AV combines the voters' preference rankings with their approvals of candidates, where in elections with at least two candidates (...) the voters' approval strategies are adjusted – if needed – to approve of their most-preferred candidate and to disapprove of their least-preferred candidate. This rule coerces admissibility of the votes even in the presence of control actions, and hybridizes, in effect, approval with pluralitiy voting. We prove that this system is computationally resistant (i.e., the corresponding control problems are NP-hard) to 19 out of 22 types of constructive and destructive control. Thus, SP-AV has more resistances to control than is currently known for any other natural voting system with a polynomial-time winner problem. In particular, SP-AV is (after Copeland voting, see Faliszewski et al. [2, 3]) the second natural voting system with an easy winner-determination procedure that is known to have full resistance to constructive control, and unlike Copeland voting it in addition displays broad resistance to destructive control (© 2009 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

Weak and strong consistency of the Abstract Principal Principle are defined in terms of classical probability measure spaces. It is proved that the Abstract Principal Principle is both weakly and strongly consistent. The Abstract Principal Principle is strengthened by adding a stability requirement to it. Weak and strong consistency of the resulting Stable Abstract Principal Principle are defined. It is shown that the Stable Abstract Principal Principle is weakly consistent. Strong consistency of the Stable Abstract Principal principle remains an open (...) question. (shrink)

It is known that every α-dimensional quasi polyadic equality algebra (QPEA α ) can be considered as an α-dimensional cylindric algebra satisfying the merrygo- round properties . The converse of this proposition fails to be true. It is investigated in the paper how to get algebras in QPEA from algebras in CA. Instead of QPEA the class of the finitary polyadic equality algebras (FPEA) is investigated, this class is definitionally equivalent to QPEA. It is shown, among others, that from every (...) algebra in a β-dimensional algebra can be obtained in QPEA β where , moreover the algebra obtained is representable in a sense. (shrink)