In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL0.

Current International Criminal Law (ICL) suffers from at least four fairly serious theoretical shortcomings. First, as a starting point, the concept and meaning of ICL in its different variations must be clarified (‘the concept and meaning issue’). Second, the question of whether and how punitive power can exist at the supranational level without a sovereign (‘the ius puniendi issue’) must be answered in a satisfactory manner. Third, the overall function or purpose of ICL as opposed to national criminal law (‘the (...) overall function issue’) must be more convincingly explained. Fourth, the purposes of punishment in ICL, as opposed to the traditional purposes discussed in national criminal law, must be elaborated (‘the purposes of punishment issue’). There is a partly vertical and partly horizontal relationship between these issues. It is, for example, of course impossible to reflect upon ius puniendi, overall function and purposes of punishment without having clarified the concept of ICL in the first place. Also, a treatment of overall function and purposes of punishment seems to be predicated on the justification of the ius puniendi. Indeed, the lack of a satisfactory answer to the ius puniendi issue is maybe the most important theoretical weakness of current ICL. This article therefore aims to demonstrate that a supranational ius puniendi can be inferred from a combination of the incipient supranationality of the world order (understood normatively as an order of values) and the concept of a world society composed of world citizens whose law—the ‘world citizen law’ (‘Weltbürgerrecht’)—is derived from universal, indivisible and interculturally recognized human rights predicated upon a Kantian concept of human dignity. The incipient world order and the world society are represented by the international community (to be understood as a community of values) which becomes the holder of the ius puniendi. (shrink)

The trans-jurisdictional discourse on criminal justice is often hampered by mutual misunderstandings. The translation of legal concepts from English into other languages and vice versa is subject to ambiguity and potential error: the same term may assume different meanings in different legal contexts. More importantly, legal systems may choose differing theoretical or policy approaches to resolving the same issues, which sometimes – but not always – lead to similar outcomes. This book is the second volume of a series in which (...) eminent scholars from German-speaking and Anglo-American jurisdictions work together on comparative essays that explore foundational concepts of criminal law and procedure. Each topic is illuminated from German and Anglo-American perspectives, and differences and similarities are analysed. (shrink)

We solve a longstanding question of Soare by showing that if ${\mathbf d}$ is a non-low $_2$ computably enumerable degree then ${\mathbf d}$ contains a c.e. set with no r-maximal c.e. superset.

Ambos-Spies, K. and R.A. Shore, Undecidability and 1-types in the recursively enumerable degrees, Annals of Pure and Applied Logic 63 3–37. We show that the theory of the partial ordering of recursively enumerable Turing degrees is undecidable and has uncountably many 1-types. In contrast to the original proof of the former which used a very complicated O''' argument our proof proceeds by a much simpler infinite injury argument. Moreover, it combines with the permitting technique to get similar results for (...) any ideal of the r.e. degrees. (shrink)

We show that the partial order of Σ0 3-sets under inclusion is elementarily definable with parameters in the semilattice of r.e. wtt-degrees. Using a result of E. Herrmann, we can deduce that this semilattice has an undecidable theory, thereby solving an open problem of P. Odifreddi.

A recursively enumerable splitting of an r.e. setAis a pair of r.e. setsBandCsuch thatA=B∪CandB∩C= ⊘. Since for such a splitting degA= degB∪ degC, r.e. splittings proved to be a quite useful notion for investigations into the structure of the r.e. degrees. Important splitting theorems, like Sacks splitting [S1], Robinson splitting [R1] and Lachlan splitting [L3], use r.e. splittings.Since each r.e. splitting of a set induces a splitting of its degree, it is natural to study the relation between the degrees of (...) r.e. splittings and the degree splittings of a set. We say a setAhas thestrong universal splitting property if each splitting of its degree is represented by an r.e. splitting of itself, i.e., if for degA=b∪cthere is an r.e. splittingB, CofAsuch that degB=band degC=c. The goal of this paper is the study of this splitting property.In the literature some weaker splitting properties have been studied as well as splitting properties which imply failure of the SUSP. (shrink)

We prove that every Turing degree a bounding some non-GL₂ degree is recursively enumerable in and above (r.e.a.) some 1-generic degree.

It is shown that, if a, b are recursively enumerable degrees such that 0

Logic and Philosophy of Logic

Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic

Model Theory in Logic and Philosophy of Logic

Direct download (4 more)  

 

Export citation  

 

Bookmark   6 citations  

Downey and Lempp 1215–1240) have shown that the contiguous computably enumerable degrees, i.e. the c.e. Turing degrees containing only one c.e. weak truth-table degree, can be characterized by a local distributivity property. Here we extend their result by showing that a c.e. degree a is noncontiguous if and only if there is an embedding of the nonmodular 5-element lattice N5 into the c.e. degrees which maps the top to the degree a. In particular, this shows that local nondistributivity coincides with (...) local nonmodularity in the computably enumerable degrees. (shrink)

We give a simple structural property which characterizes the r.e. sets whose (Turing) degrees are cappable. Since cappable degrees are incomplete, this may be viewed as a solution of Post's program, which asks for a simple structural property of nonrecursive r.e. sets which ensures incompleteness.

We give a decision procedure for the ∀∃-theory of the weak truth-table (wtt) degrees of the recursively enumerable sets. The key to this decision procedure is a characterization of the finite lattices which can be embedded into the r.e. wtt-degrees by a map which preserves the least and greatest elements: a finite lattice has such an embedding if and only if it is distributive and the ideal generated by its cappable elements and the filter generated by its cuppable elements are (...) disjoint. We formulate general criteria that allow one to conclude that a distributive upper semi-lattice has a decidable two-quantifier theory. These criteria are applied not only to the weak truth-table degrees of the recursively enumerable sets but also to various substructures of the polynomial many-one (pm) degrees of the recursive sets. These applications to the pm degrees require no new complexity-theoretic results. The fact that the pm-degrees of the recursive sets have a decidable two-quantifier theory answers a question raised by Shore and Slaman in [21]. (shrink)

We explore the complexity of Sacks’ Splitting Theorem in terms of the mind change functions associated with the members of the splits. We prove that, for any c.e. set A, there are low computably enumerable sets $A_0\sqcup A_1=A$ splitting A with $A_0$ and $A_1$ both totally $\omega ^2$ -c.a. in terms of the Downey–Greenberg hierarchy, and this result cannot be improved to totally $\omega $ -c.a. as shown in [9]. We also show that if cone avoidance is added then there (...) is no level below $\varepsilon _0$ which can be used to characterize the complexity of $A_1$ and $A_2$. (shrink)

We show that, in the partial ordering of the computably enumerable computable Lipschitz degrees, there is a degree a>0a>0 such that the class of the degrees which do not cup to a is not bounded by any degree less than a. Since Ambos-Spies [1] has shown that, in the partial ordering of the c.e. identity-bounded Turing degrees, for any degree a>0a>0 the degrees which do not cup to a are bounded by the 1-shift a+1a+1 of a where a+1 (...) follows that the elementary theories of the partial orderings and differ. (shrink)

We show that the theory of the partial ordering of the computably enumerable degrees in any given nontrivial interval is undecidable and has uncountably many 1-types.

Undergraduate Research can be defined as an investigation into a specific topic within a discipline by an undergraduate student that makes an original contribution to the field. It has become a major consideration among research universities around the world, in order to advance both academic teaching and research productivity. Edited by an international team of world authorities in UR, this Handbook is the first truly comprehensive and systematic account of undergraduate research, which brings together different international approaches, with attention to (...) both theory and practice. It is split into sections covering different countries, disciplines, and methodologies. It also provides an overview of current research and theoretical perspectives on undergraduate research as well as future developmental prospects of UR. Written in an engaging style, yet wide-ranging in its scope, it is essential reading for anyone wishing to broaden their understanding of how undergraduate research is implemented worldwide. (shrink)

Current International Criminal Law suffers from at least four theoretical shortcomings regarding its ‘concept and meaning’, ‘ius puniendi’, ‘overall function’ and ‘purposes of punishment’. These issues are intimately interrelated; in particular, any reflection upon the last two issues without having first clarified the ius puniendi would not make sense. As argued elsewhere, in an initial contribution towards a consistent theory of ICL, the ius puniendi can be inferred from a combination of the incipient supranationality of the value-based world order and (...) the world citizens’ fundamental human rights predicated upon a Kantian concept of human dignity. On this basis, it is now possible to examine the overall function of ICL. Given the fact that ICL has not yet achieved the status of an autonomous discipline, the inquiry must start with a discussion of national theories of criminalisation. The article focuses on the two most important theories of criminalisation, namely the theories of protection of Rechtsgüter and the prevention of harm. Next, it examines whether and how these national theories can be transferred to ICL. (shrink)

In his 21 st Letter to Lucilius, Seneca tries to convince his student to retreat from public life by granting him the renown which Lucilius strives to achieve through political engagement in the field of philosophy instead: Three examples - Epicurus, Cicero and Vergil - illustrate that literary expressions of friendship, too, lead to lasting fame. Through this device, Seneca not only fashions himself as an author who has the literary power to exempt himself and his friend from oblivion; in (...) citing Vergil’s famous fortunati ambo, he also uses the background of the Nisus-and-Euralyus-episode to provoke intertextual tensions and highlight the urgency of his call to retreat from politics. (shrink)

Nos acercamos a la figura de Gabriel Riesco Fernández del Campo por ser una de las más prolíficas de la planificación urbana de España y El Salvador del siglo XX, como autor de más de 180 planes. Tras el estudio de su biografía y de algunas de sus obras podemos situarlo en la más alta Administración pública de ambos países, donde su trabajo fue determinante para su ordenación territorial, en los años 50 y tras el terremoto de 1986 en (...) Centroamérica, y en España durante el desarrollismo y la constitución de las Comunidades Autónomas. Asimismo fue asesor de Naciones Unidas para la ordenación territorial en El Salvador. Su obra arquitectónica es aún más desconocida. (shrink)

Dafina Petrova y Rocío García-Retamero Centro de Investigación Mente, Cerebro y Comportamiento, Universidad de Granada, España … Read More →.

Este artículo ofrece una evaluación de la relevancia de los conceptos de biopolítica y biopoder en la obra de Michel Foucault. Un análisis exhaustivo de la obra de Foucault es esencial para una evaluación de los diversos aspectos del concepto de biopolítica. Esto permite que sea posible concluir que la biopolítica pueda considerarse fundamental en el interior del marco conceptual de Foucault.

Este artículo ofrece una evaluación de la relevancia de los conceptos de biopolítica y biopoder en la obra de Michel Foucault. Un análisis exhaustivo de la obra de Foucault es esencial para una evaluación de los diversos aspectos del concepto de biopolítica. Esto permite que sea posible concluir que la biopolítica pueda considerarse fundamental en el interior del marco conceptual de Foucault.

Este trabalho pretende aproximar o processo de aprendizagem histórica, preconizado pela Didática da História, à proposta da pedagogia da memória, empreendida pelo programa educativo Jóvenes y Memoria: recordamos para el futuro, organizado pela Comisión Provincial por la Memoria da província de Buenos Aires. Para isso, a análise se dedicará à compreensão do planejamento institucional do programa e de suas etapas teórico-metodológicas, ambos apresentados no informe “20 años del programa Jóvenes y Memoria” (2021) e na convocatória e cronograma de etapas (...) do ano de 2023. Para assim, buscar semelhanças entre as propostas, em que se destaca a centralidade da construção de narrativas históricas e elaborações de memórias, baseadas no cotidiano e na comunidade local, e a mobilização, em seu sentido emancipatório, das consciências históricas associadas à vida prática dos jovens. Em que foi possível observar o enfoque semelhante que ambas perspectivas outorgam à temporalidade passado-futuro a partir da transformação do presente para deslumbrar horizontes de expectativas. (shrink)