Results for 'Roman Samarin'

945 found
Order:
  1.  10
    Making Sense of Glossolalic Nonsense.William Samarin - 1979 - Social Research: An International Quarterly 46.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  15
    Socioprogrammed linguistics.William J. Samarin - 1984 - Behavioral and Brain Sciences 7 (2):206.
  3. Abolition of the Fregean Axiom.Roman Suszko - 1975 - Lecture Notes in Mathematics 453:169-239.
     
    Export citation  
     
    Bookmark   53 citations  
  4. An assessment of the foundational assumptions in high-resolution climate projections: the case of UKCP09.Roman Frigg, Leonard A. Smith & David A. Stainforth - unknown
    The United Kingdom Climate Impacts Programme’s UKCP09 project makes high-resolution projections of the climate out to 2100 by post-processing the outputs of a large-scale global climate model. The aim of this paper is to describe and analyse the methodology used and then urge some caution. Given the acknowledged systematic, shared errors of all current climate models, treating model outputs as decision-relevant projections can be significantly misleading. In extrapolatory situations, such as projections of future climate change, there is little reason to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  5.  78
    Investigations into the sentential calculus with identity.Roman Suszko & Stephen L. Bloom - 1972 - Notre Dame Journal of Formal Logic 13 (3):289-308.
  6.  32
    Disjunctions with Stopping Conditions.Roman Kossak & Bartosz Wcisło - 2021 - Bulletin of Symbolic Logic 27 (3):231-253.
    We introduce a tool for analysing models of$\text {CT}^-$, the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan’s theorem that the arithmetical part of models of$\text {CT}^-$are recursively saturated. We also use this tool to provide a new proof of theorem from [8] that all models of$\text {CT}^-$carry a partial inductive truth predicate. Finally, we construct a partial truth predicate defined for a set of formulae whose syntactic depth forms a nonstandard cut which cannot be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7. Immortality, Identity, and Desirability.Roman Altshuler - 2015 - In Michael Cholbi (ed.), Immortality and the Philosophy of Death. New York: Rowman & Littlefield International. pp. 191-203.
    Williams’s famous argument against immortality rests on the idea that immortality cannot be desirable, at least for human beings, and his contention has spawned a cottage industry of responses. As I will intend to show, the arguments over his view rest on both a difference of temperament and a difference in the sense of desire being used. The former concerns a difference in whether one takes a forward-looking or a backward-looking perspective on personal identity; the latter a distinction between our (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  72
    (1 other version)Can somebody please say what Gibbsian statistical mechanics says?Roman Frigg & Charlotte Werndl - 2018 - British Journal for the Philosophy of Science:1-27.
    Gibbsian statistical mechanics (GSM) is the most widely used version of statistical mechanics among working physicists. Yet a closer look at GSM reveals that it is unclear what the theory actually says and how it bears on experimental practice. The root cause of the difficulties is the status of the Averaging Principle, the proposition that what we observe in an experiment is the ensemble average of a phase function. We review different stances toward this principle, and eventually present a coherent (...)
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  23
    Philosophy of Mathematics.Roman Murawski & Thomas Bedürftig (eds.) - 2018 - De Gruyter.
    The present book is an introduction to the philosophy of mathematics. It asks philosophical questions concerning fundamental concepts, constructions and methods - this is done from the standpoint of mathematical research and teaching. It looks for answers both in mathematics and in the philosophy of mathematics from their beginnings till today. The reference point of the considerations is the introducing of the reals in the 19th century that marked an epochal turn in the foundations of mathematics. In the book problems (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10. Safety Engineering for Artificial General Intelligence.Roman Yampolskiy & Joshua Fox - 2012 - Topoi 32 (2):217-226.
    Machine ethics and robot rights are quickly becoming hot topics in artificial intelligence and robotics communities. We will argue that attempts to attribute moral agency and assign rights to all intelligent machines are misguided, whether applied to infrahuman or superhuman AIs, as are proposals to limit the negative effects of AIs by constraining their behavior. As an alternative, we propose a new science of safety engineering for intelligent artificial agents based on maximizing for what humans value. In particular, we challenge (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  11.  27
    Chicago Pragmatism and the Extended Mind Theory.Roman Madzia - 2013 - European Journal of Pragmatism and American Philosophy 5 (1).
    The goal of this paper is twofold. First, it examines the pragmatic ramifications of recent research in certain areas of cognitive science (embodied mind theory, extended mind theory). Second, it shows how the Chicago pragmatists (George H. Mead, John Dewey) not only envisioned these findings but also how, within certain strains of cognitive science, their work is explicitly appreciated for important preliminary insights which help us interpret the outcomes of current research. The argumentative line of the paper revolves around Mead’s (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12. Thick Aesthetic Concepts.Roman Bonzon - 2009 - Journal of Aesthetics and Art Criticism 67 (2):191-199.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  13. Teleology, Narrative, and Death.Roman Altshuler - 2015 - In John Lippitt & Patrick Stokes (eds.), Narrative, Identity and the Kierkegaardian Self. Edinburgh: Edinburgh University Press. pp. 29-45.
    Heidegger, like Kierkegaard, has recently been claimed as a narrativist about selves. From this Heideggerian perspective, we can see how narrative expands upon the psychological view, adding a vital teleological dimension to the understanding of selfhood while denying the reductionism implicit in the psychological approach. Yet the narrative approach also inherits the neo-Lockean emphasis on the past as determining identity, whereas the self is fundamentally about the future. Death is crucial on this picture, not as allowing for the possibility of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Über die Gefahr einer Petitio Principii in der Erkenntnistheorie.Roman Ingarden - 1921 - Jahrbuch für Philosophie Und Phänomenologische Forschung 4:545.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  15.  99
    Relational Consequences of Perceived Deception in Online Shopping: The Moderating Roles of Type of Product, Consumer’s Attitude Toward the Internet and Consumer’s Demographics.Sergio Román - 2010 - Journal of Business Ethics 95 (3):373-391.
    This study investigates the negative influence of consumer’s perceptions of online retailer’s deceptive practices on consumer’s relational variables. Also, the moderating role of product type, consumer’s attitude toward the Internet, and consumer’s demographics in the deception-relational outcomes link is considered. Data from 398 online consumers revealed that satisfaction totally mediated the influence of deception on loyalty. Furthermore, the deception-satisfaction link was moderated by all the hypothesized variables. Interestingly, a direct effect of deception on loyalty was found among more educated consumers, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16. Leakproofing the Singularity Artificial Intelligence Confinement Problem.Roman Yampolskiy - 2012 - Journal of Consciousness Studies 19 (1-2):194-214.
    This paper attempts to formalize and to address the 'leakproofing' of the Singularity problem presented by David Chalmers. The paper begins with the definition of the Artificial Intelligence Confinement Problem. After analysis of existing solutions and their shortcomings, a protocol is proposed aimed at making a more secure confinement environment which might delay potential negative effect from the technological singularity while allowing humanity to benefit from the superintelligence.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  17.  19
    Commentary on Thomasius's “Philosophical Dissertation on Literary Plagiarism”.Roman Kyselov - 2021 - Sententiae 40 (1):104-115.
    Commentary on the first Ukrainian translation of Thomasius’ work entitled “Nucleus disputationis de plagio literario maxime theoreticus, thesibus paucis & brevibus comprehensus”, which is one of the Appendices to the famous “Philosophical dissertation on literary plagiarism”.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  33
    Measurement as Abduction.Roman Z. Morawski - 2021 - Perspectives on Science 29 (6):742-756.
    It is argued, in this paper, that the core operation underlying any measurement—the inverse modelling under uncertainty—is equivalent to quantitative abductive reasoning which consists in the selection of the best estimate of a measurand in a set of admissible solutions, using a priori information: on the measurand, on the measuring system coupled with an object under measurement, and on the influence of the environment including the user of the measurement results. There are two key premises of this claim: a systematic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  21
    Logic-based ontology comparison and module extraction, with an application to DL-Lite.Roman Kontchakov, Frank Wolter & Michael Zakharyaschev - 2010 - Artificial Intelligence 174 (15):1093-1141.
  20.  47
    On two questions concerning the automorphism groups of countable recursively saturated models of PA.Roman Kossak & Nicholas Bamber - 1996 - Archive for Mathematical Logic 36 (1):73-79.
  21. Practical Necessity and the Constitution of Character.Roman Altshuler - 2013 - In Alexandra Perry & Chris Herrera (eds.), The Moral Philosophy of Bernard Williams. Cambridge Scholars Press. pp. 40-53.
    Deliberation issues in decision, and so might be taken as a paradigmatic volitional activity. Character, on the other hand, may appear pre-volitional: the dispositions that constitute it provide the background against which decisions are made. Bernard Williams offers an intriguing picture of how the two may be connected via the concept of practical necessities, which are at once constitutive of character and deliverances of deliberation. Necessities are thus the glue binding character and the will, allowing us to take responsibility for (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. The Value of Nonhuman Nature: A Constitutive View.Roman Altshuler - 2014 - Ethical Theory and Moral Practice 17 (3):469-485.
    A central question of environmental ethics remains one of how best to account for the intuitions generated by the Last Man scenarios; that is, it is a question of how to explain our experience of value in nature and, more importantly, whether that experience is justified. Seeking an alternative to extrinsic views, according to which nonhuman entities possess normative features that obligate us, I turn to constitutive views, which make value or whatever other limits nonhuman nature places on action dependent (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  20
    Parmenides on the Place of Mind.Roman Dilcher - 2006 - In R. A. H. King (ed.), Common to Body and Soul: Philosophical Approaches to Explaining Living Behaviour in Greco-Roman Antiquity. Walter de Gruyter.
  24.  10
    Countably perfectly Meager sets.Roman Pol & Piotr Zakrzewski - 2021 - Journal of Symbolic Logic 86 (3):1214-1227.
    We study a strengthening of the notion of a perfectly meager set. We say that a subset A of a perfect Polish space X is countably perfectly meager in X, if for every sequence of perfect subsets $\{P_n: n \in \mathbb N\}$ of X, there exists an $F_\sigma $ -set F in X such that $A \subseteq F$ and $F\cap P_n$ is meager in $P_n$ for each n. We give various characterizations and examples of countably perfectly meager sets. We prove (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  7
    (1 other version)Studia z estetyki.Roman Ingarden (ed.) - 1957 - Warszawa,: Państwowe Wydawn. Naukowe.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. Bootstrapping the Afterlife.Roman Altshuler - 2017 - Journal of Moral Philosophy 14 (2).
    Samuel Scheffler defends “The Afterlife Conjecture”: the view that the continued existence of humanity after our deaths—“the afterlife”—lies in the background of our valuing; were we to lose confidence in it, many of the projects we engage in would lose their meaning. The Afterlife Conjecture, in his view, also brings out the limits of our egoism, showing that we care more about yet unborn strangers than about personal survival. But why does the afterlife itself matter to us? Examination of Scheffler’s (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Animal experimentation.Roman Kolar - 2006 - Science and Engineering Ethics 12 (1):111-122.
    Millions of animals are used every year in oftentimes extremely painful and distressing scientific procedures. Legislation of animal experimentation in modern societies is based on the supposition that this is ethically acceptable when certain more or less defined formal (e.g. logistical, technical) demands and ethical principles are met. The main parameters in this context correspond to the “3Rs” concept as defined by Russel and Burch in 1959, i.e. that all efforts to replace, reduce and refine experiments must be undertaken. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  87
    Troubles with (the concept of) truth in mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.
    In the paper the problem of definability and undefinability of the concept of satisfaction and truth is considered. Connections between satisfaction and truth on the one hand and consistency of certain systems of omega-logic and transfinite induction on the other are indicated.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  19
    A note on the least Boolean theory in SCI.Roman Suszko - 1975 - Bulletin of the Section of Logic 4 (4):136-137.
  30.  10
    Nations as a form of symbolic universes. To the question of the method- ology of the study of modern nationalisms.Roman Zymovets - 2020 - Filosofska Dumka (Philosophical Thought) 3:79-91.
    To the question of the methodology of the study of modern nationalisms Anderson’s radical change in the perspective of the studies of nations allow to consider them beyond traditional subjectivation and objectification as imagined communities, standing on the same level as the worldviews of world religions. The article is devoted to clarifying the conditions of such comparison of nations and religions. Anderson himself explained this correlation with the concepts like “cultural artefacts” and “wide cultural systems”. These concepts, however, are not (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Parabola păsărilor, Andō Shōeki 安藤昌益.Roman Paşca - 2017 - European Journal of Japanese Philosophy 2:263-294.
    Original title: 「諸鳥会合シテ法世ヲ論ズ」『安藤昌益全集6巻』 [Opera completă a lui Andō Shōeki, vol. 6], Tōkyō: Nōsangyoson Bunka Kyōkai, 1997, 34–87).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  34
    Mathematics and Theology in the Thought of Nicholas of Cusa.Roman Murawski - 2019 - Logica Universalis 13 (4):477-485.
    Nicholas of Cusa was first of all a theologian but he was interested also in mathematic and natural sciences. In fact philosophico-theological and mathematical ideas were intertwined by him, theological and philosophical ideas influenced his mathematical considerations, in particular when he considered philosophical problems connected with mathematics and vice versa, mathematical ideas and examples were used by him to explain some ideas from theology. In this paper we attempt to indicate this mutual influence. We shall concentrate on the following problems: (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  6
    Senovės ritualų semiotinė raiška mandagumo formose.Roman Vasko - 2019 - Logos: A Journal, of Religion, Philosophy Comparative Cultural Studies and Art 100.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Agency, Narrative, and Mortality.Roman Altshuler - 2022 - In Luca Ferrero (ed.), The Routledge Handbook of Philosophy of Agency. New York, NY: Routledge. pp. 385-393.
    Narrative views of agency and identity arise in opposition to reductionism in both domains. While reductionists understand both identity and agency in terms of their components, narrativists respond that life and action are both constituted by narratives, and since the components of a narrative gain their meaning from the whole, life and action not only incorporate their constituent parts but also shape them. I first lay out the difficulties with treating narrative as constitutive of metaphysical identity and turn to its (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  48
    Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.
    The paper presents four open problems concerning recursively saturated models of Peano Arithmetic. One problems concerns a possible converse to Tarski's undefinability of truth theorem. The other concern elementary cuts in countable recursively saturated models, extending automorphisms of countable recursively saturated models, and Jonsson models of PA. Some partial answers are given.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  52
    Truth vs. provability – philosophical and historical remarks.Roman Murawski - 2002 - Logic and Logical Philosophy 10:93.
  37. Character, Will, and Agency.Roman Altshuler - 2016 - In Alberto Masala & Jonathan Webber (eds.), From Personality to Virtue: Essays on the Philosophy of Character. Oxford: Oxford University Press UK. pp. 62-80.
    Character and the will are rarely discussed together. At most, philosophers working on the one mention the other in an eliminativist vein—if character is represented as something chosen, for example, it can be chalked up to the work of the will; if the will consists merely of a certain arrangement of mental states, it can be seen as little more than a manifestation of character. This mutual neglect appears perfectly justified. If both character and will are determinants of action, to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  12
    Seweryna Łuszczewska-Romahnowa.Roman Murawski & Jerzy Pogonowski - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 241-247.
    The paper is devoted to the description of life and scientific achievements as well as the influence of Seweryna Łuszczewska-Romahnowa.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  11
    In defence of the desire for everlasting life: why secular faith cannot ground human meaning and solidarity.Roman A. Montero - 2024 - Heythrop Journal 65 (6):662-680.
    In this article, I argue that human meaning and value are grounded in an infinite horizon as opposed to the finite horizon of the building of a life. This infinite grounding of human meaning and value makes sense of and justifies the desire for everlasting life. I also argue that this infinite horizon can motivate an ethic of social justice better than the necessity of building a life within a finite timeframe could. In this article I take Martin Hägglund's This (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  30
    Mensch Und Gesellschaft Zwischen Natur Und Geschichte: Zum Verhältnis von Philosophischer Anthropologie Und Kritischer Theorie.Roman Yos, Frank Müller, Sebastian Edinger & Thomas Ebke (eds.) - 2016 - Berlin: De Gruyter.
    Im Blickpunkt dieses Bandes steht das Wechselverhältnis zweier prägender Traditionen moderner deutschsprachiger Philosophie: der Kritischen Theorie und der Philosophischen Anthropologie. Über das gesamte 20. Jahrhundert hinweg blieb der Austausch zwischen diesen Ansätzen, wo er überhaupt zu Stande kam, von Vorbehalten geprägt. Gegenwärtig allerdings lässt sich, jenseits überkommener schulpolitischer Gräben, ein neuartiges Interesse beider Strömungen füreinander wahrnehmen. Die Beiträge dieses Bandes treffen sich in dem Versuch, die jeweiligen Hauptanliegen und Gegenstandsfelder der Kritischen Theorie respektive der Philosophischen Anthropologie über deren direkten Dialog (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Agency and the A-Series.Roman Altshuler - 2009 - Southwest Philosophy Review 25 (1):153-161.
  42.  15
    Challenges for Criminal Law in the Context of the Aggression of the Russian Federation Against Ukraine.Roman Veresha & Valerii Karpuntsov - forthcoming - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique:1-24.
    Today, there are several problems in the field of criminal law caused both by the emergence of new types of legal relations and by the imperfection of legislation. Due to the emergence of new challenges in the field of criminal law, many of them require theoretical understanding. Some of these challenges, generated in the light of the armed aggression of the Russian Federation against Ukraine, revealed several reasons for discussion in the Ukrainian and international legal community. The purpose of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  6
    Chance and determinism.Roman Frigg - 2016 - In Alan Hájek & Christopher Hitchcock (eds.), The Oxford Handbook of Probability and Philosophy. Oxford: Oxford University Press.
    Determinism and chance seem to be irreconcilable opposites: either something is chancy or it is deterministic but not both. Yet there are processes which appear to square the circle by being chancy and deterministic at once, and the appearance is backed by well-confirmed scientific theories such as statistical mechanics which also seem to provide us with chances for deterministic processes. Is this possible, and if so how? In this essay I discuss this question for probabilities as they occur in the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  15
    Goldschmidt and Yiddish Anarchism.Roman Karlović & Peter Bojanić - 2024 - Philosophy Today 68 (2):415-424.
    While Hermann Levin Goldschmidt didn’t read Yiddish anarchists, there seems to have been a convergent evolution in their thinking. Goldschmidt’s looking up to Jewish lore as a source of liberating creativity is commonly encountered in Yiddish anarchist texts. His view of action as a constant response to internal and external challenges in the struggle for an open future is developed by Isaac Nachman Steinberg on the basis of nineteenth-century vitalism. Goldschmidt’s theory of anarchist individualism as willed self-limiting solidarity has a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  35
    The Connections Between the Lvov-Warsaw School and the University in Poznań.Roman Murawski - 2023 - Studia Historiae Scientiarum 123:379-396.
    Lvov-Warsaw School in Philosophy – as the very name suggests – was connected mainly with two academic centers: universities in Lvov and Warsaw. However, it had a broader impact. The members of this school were active also at other universities, in particular in Cracow, Vilnius and Poznań. The aim of the paper is to present and analyze the connections of Lvov-Warsaw School with the University in Poznań.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Time and the Philosophy of Action.Roman Altshuler & Michael J. Sigrist (eds.) - 2015 - New York: Routledge.
    Although scholarship in philosophy of action has grown in recent years, there has been little work explicitly dealing with the role of time in agency, a role with great significance for the study of action. As the articles in this collection demonstrate, virtually every fundamental issue in the philosophy of action involves considerations of time. The four sections of this volume address the metaphysics of action, diachronic practical rationality, the relation between deliberation and action, and the phenomenology of agency, providing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  9
    (1 other version)Filozofia matematyki: antologia tekstów klasycznych.Roman Murawski (ed.) - 1986 - Poznań: Uniwersytet im. Adama Mickiewicza w Poznaniu.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  13
    100 Years of Logical Investigations at the University of Poznań.Roman Murawski - 2024 - Studia Humana 13 (1):28-38.
    The aim of this paper is to describe the history of logical investigations at the University of Poznań. The organisational structures within the discipline as well as the outstanding logicians and their achievements are presented. Connections with the Lviv–Warsaw School are indicated.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  51
    Introduction.Roman Altshuler & Michael J. Sigrist - 2015 - In Roman Altshuler & Michael J. Sigrist (eds.), Time and the Philosophy of Action. New York: Routledge. pp. 1-18.
    We do things in time. Philosophy of action can capture this phenomenon in at least two ways. On one hand, it might focus on the way that temporal preferences and long-term temporal horizons affect the rationality of decisions in the present (see, e.g., Parfit 1984; Rawls 1971). Such work may focus on the way we discount the distant future, for example, or prioritize the future over the past. Approaches of this kind treat time as, in a sense, something external to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  33
    A note on a theorem of Kanovei.Roman Kossak - 2004 - Archive for Mathematical Logic 43 (4):565-569.
    We give a short proof of a theorem of Kanovei on separating induction and collection schemes for Σ n formulas using families of subsets of countable models of arithmetic coded in elementary end extensions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 945