Towards the formalization of contradictions in a legal multiagent system them becomes increasingly important in the area of
Computational Law. We chose normative multiagent
Punctual Categoricity Relative to a Computable Oracle on the whole
set of integers. The punctual categoricity relative to a
computable oracle f means that between
On continuous selections of finite-valued set-valued mappingsSet-valued mappings with finite images are considered. For these mappings, a theorem
On arithmetical level of the class of superhigh setsWe determine the proper arithmetical level of the class of superhigh
sets. © 2014 Allerton Press