The existential completion [PDF]
We determine the existential completion of a primary doctrine, and we prove that the 2-monad obtained from it is lax-idempotent, and that the 2-category of existential doctrines is isomorphic to the 2-category of algebras for this 2-monad. We also show that the existential completion of an elementary doctrine is again elementary.
arxiv
Russia's nuclear threats in the war against Ukraine: consequences for the international order, NATO and Germany [PDF]
Any conflict with a nuclear power like Russia carries the risk that nuclear weapons could be used, and President Vladimir Putin is aggressively exploiting such concerns.
Horovitz, Liviu, Wachs, Lydia
core +1 more source
Decolonisation and anti‐racism: Challenges and opportunities for (teacher) education
Abstract In the past two decades, we have seen a renewed interest in decolonisation. A proliferation of literature produced on the topic, the establishment of journals on decolonisation, student protests such as the #RhodesMustFall campaign at universities in South Africa and Oxford University in Britain, French President Emmanuel Macron's call for the
Lesley Le Grange
wiley +1 more source
The Geometric Completion of a Doctrine [PDF]
As several different formal systems with inequivalent syntax may describe equivalent semantics, it is possible to find `completions' to more expressive syntaxes that are semantically invariant. Doctrine theory, in the sense of Lawvere, is the natural categorical framework in which to express completions for first-order logic.
arxiv
The Biden Nuclear Posture Review and Its Implications for US Asia-Pacific Allies
US President Joe Biden is expected to issue a new Nuclear Posture Review report soon. It may include as a policy goal a reduction of the role of nuclear weapons in US military strategy.
Nobuyasu Abe
doaj +1 more source
Nuclear Strategy of the DPRK in Modern Conditions
The global shifts of recent years have not bypassed Northeast Asia, increasing the conflict potential of the region as a whole and the Korean peninsula in particular.
Anastasia Barannikova
doaj +1 more source
L’empire du nucléaire : quand Fukushima ne crachait pas encore ses « atomes pour la paix »
Japan’s nuclear policy has long been tied to American foreign policy, especially in the context of anticommunist ideology and the Cold War. The civil use of nuclear energy in Japan is an offshoot of America’s military use, a fact that allows us to ...
Thierry Ribault
doaj +1 more source
An Automatized Simulation Workflow for Powder Pressing Simulations Using SimStack
The implementation of Workflow active Nodes (WaNos) for the convenient execution and automated evaluation of discrete element method calculations of powder pressing is showcased. Purposeful combination of WaNos creates timesaving and resource‐effective computational workflows.
Bjoern Mieller+2 more
wiley +1 more source
NUCLEAR MISSILE PROGRAMS OF THE RUSSIAN FEDERATION: HISTORY AND MODERNITY
The formation and development of Russia’s nuclear missile programs is of great scientific, theoretical and practical importance in modern political science in view of the aggravation of international relations involving the Russian Federation, which is a
Viacheslav Myronenko
doaj +1 more source
Niels Bohr as Philosopher of Experiment: Does Decoherence Theory Challenge Bohr's Doctrine of Classical Concepts? [PDF]
Niels Bohr's doctrine of the primacy of "classical concepts" is arguably his most criticized and misunderstood view. We present a new, careful historical analysis that makes clear that Bohr's doctrine was primarily an epistemological thesis, derived from his understanding of the functional role of experiment.
arxiv +1 more source