-
3Ethics of Autonomous Weapon SystemsIn Francisco Lara & Jan Deckers (eds.), Ethics of Artificial Intelligence, Springer Nature Switzerland. pp. 169-188. 2023.The use of weapons without humans-in-the-loop in modern warfare has been a contentious issue for several decades, from land mines to more advanced systems like loitering munitions. With the emergence of artificial intelligence (AI), particularly machine learning (ML) technologies, the ethical difficulties in this complex field have increased. The challenges related to the adherence to International Humanitarian Law (IHL), or human dignity are compounded by ethical concerns related to AI, such as…Read more
-
5On Unsuperstable Theories in GdstJournal of Symbolic Logic 1-27. forthcoming.We study the $\kappa $ -Borel-reducibility of isomorphism relations of complete first-order theories by using coloured trees. Under some cardinality assumptions, we show the following: For all theories T and T’, if T is classifiable and T’ is unsuperstable, then the isomorphism of models of T’ is strictly above the isomorphism of models of T with respect to $\kappa $ -Borel-reducibility.
-
9The isomorphism relation of theories with S-DOP in the generalised Baire spacesAnnals of Pure and Applied Logic 173 (2): 103044. 2022.
-
17Reducibility of Equivalence Relations Arising from Nonstationary Ideals under Large Cardinal AssumptionsNotre Dame Journal of Formal Logic 60 (4): 665-682. 2019.Working under large cardinal assumptions such as supercompactness, we study the Borel reducibility between equivalence relations modulo restrictions of the nonstationary ideal on some fixed cardinal κ. We show the consistency of Eλ-clubλ++,λ++, the relation of equivalence modulo the nonstationary ideal restricted to Sλλ++ in the space λ++, being continuously reducible to Eλ+-club2,λ++, the relation of equivalence modulo the nonstationary ideal restricted to Sλ+λ++ in the space 2λ++. Then we show…Read more
-
12How does it feel to be a citizen?Ixtli 3 (5): 105-137. 2016.Our starting point is the idea that different models of citizenship entail different ethos that define the ideal citizen, which in turn presuppose different emotions. We examine four models of citizenship: classic liberal, civic republican, deliberative democratic, and radical democratic. We suggest that their ideal citizens will be guided, respectively, by love of law, love of community or of country, love of truth and of justice, and love of the groups one belongs to and of power. Other politi…Read more
-
14On the reducibility of isomorphism relationsMathematical Logic Quarterly 63 (3-4): 175-192. 2017.We study the Borel reducibility of isomorphism relations in the generalized Baire space. In the main result we show for inaccessible κ, that if T is a classifiable theory and is stable with the orthogonal chain property (OCP), then the isomorphism of models of T is Borel reducible to the isomorphism of models of.
-
21A generalized Borel-reducibility counterpart of Shelah’s main gap theoremArchive for Mathematical Logic 56 (3-4): 175-185. 2017.We study the κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}-Borel-reducibility of isomorphism relations of complete first order theories in a countable language and show the consistency of the following: For all such theories T and T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepac…Read more