Read the latest chapters of Studies in Logic and the Foundations of Mathematics at ScienceDirect.com, Elsevier’s leading platform of peer-reviewed scholarly literature
Kunen, eds., The Kleene Symposium, Amsterdam: North-Holland, pp. 123–148. Google Scholar Gandy, R. (1996), 'Human versus Mechanical Intelligence', in P.J.R. Millican and A. Clark, eds., Machines and Thought: The Legacy of Alan Turing, Oxford: Clarendon, pp. 125–136. Google ...
Stage theories are commonly used to represent the structure of cognitive processes in the domains of cognitive processing and cognitive development. Hierarchical unidimensional theories consisting of a single sequence of stages through which development proceeds in one direction only have predominated. Howeve...
ChatGPT can set off a transformative digitalization, which modifies the working tasks of software engineers. Retraining might be necessary (Komp-Leukkunen et al., 2022). ChatGPT might also take over tasks that have until now been carried out by software engineers, thereby replacing them. The ...
K. Kunen Negation in logic programming J. Logic Program., 4 (1987), pp. 289-308 View PDFView articleView in ScopusGoogle Scholar 81. J.-L. Lassez, M.J. Maher Closures and Fairness in the Semantics of Programming Logic Theoret. Comput. Sci., 29 (1984), pp. 167-184 View PDFView ...
The Review of International Organizations (2024) 19:1–31 https://doi.org/10.1007/s11558-023-09494-4 The politics of international testing Rie Kijima1 · Phillip Y. Lipscy2,3 Accepted: 22 May 2023 / Published online: 20 June 2023 © The Author(s) 2023 Abstract How does ...
See Kunen (1992, p. 25) or Jech (2003, p. 22). See Kanamori (2012). Returning to the motivating examples earlier in this section, one may notice that there is actually a certain asymmetry between the Cantor-Bendixson example and the others. In the Cantor-Bendixson case, we are going ...
Download PDF with Cover Download XML Download Epub Versions Notes Abstract This paper is devoted to the investigation of cardinal invariants such as the hereditary density, hereditary weak density, and hereditary Lindelöf number. The relation between the spread and the extent of the space 𝖲...
In Handbook of Set-Theoretic Topology; Kunen, K., Vaughan, J.E., Eds.; North-Holland: Amsterdam, The Netherlands, 1984. [Google Scholar] Juhász, I. Cardinal Invariants in Topology—Ten Years Latter; Mathematical Centre Tracts; Mathematisch Centrum: Amsterdam, The Netherlands, 1980; Volume ...
mathematics Article Metrization Theorem for Uniform Loops with the Invertibility Property Dagmar Markechová 1,*, Peter Vrábel 1 and Beáta Stehlíková 2 1 Department of Mathematics, Faculty of Natural Sciences, Constantine the Philosopher University in Nitra, A. Hlinku 1, SK-949 74 Nitra, ...