Results for 'Karel Hrbacek'

776 found
Order:
  1.  16
    Infinitesimal analysis without the Axiom of Choice.Karel Hrbacek & Mikhail G. Katz - 2021 - Annals of Pure and Applied Logic 172 (6):102959.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Standard foundations for nonstandard analysis.David Ballard & Karel Hrbacek - 1992 - Journal of Symbolic Logic 57 (2):741-748.
  3.  19
    Realism, nonstandard set theory, and large cardinals.Karel Hrbacek - 2001 - Annals of Pure and Applied Logic 109 (1-2):15-48.
    Mathematicians justify axioms of set theory “intrinsically”, by reference to the universe of sets of their intuition, and “extrinsically”, for example, by considerations of simplicity or usefullness for mathematical practice. Here we apply the same kind of justifications to Nonstandard Analysis and argue for acceptance of BNST+ . BNST+ has nontrivial consequences for standard set theory; for example, it implies existence of inner models with measurable cardinals. We also consider how to practice Nonstandard Analysis in BNST+, and compare it with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  58
    Standard sets in nonstandard set theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
    We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  12
    On the Complexity of Analytic Sets.Karel Hrbacek - 1978 - Mathematical Logic Quarterly 24 (25‐30):419-425.
  6.  21
    On the Complexity of Analytic Sets.Karel Hrbacek - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):419-425.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  6
    Constructing Nonstandard Hulls and Loeb Measures in Internal Set Theories.Karel Hrbacek & Mikhail G. Katz - 2023 - Bulletin of Symbolic Logic 29 (1):97-127.
    Currently the two popular ways to practice Robinson’s nonstandard analysis are the model-theoretic approach and the axiomatic/syntactic approach. It is sometimes claimed that the internal axiomatic approach is unable to handle constructions relying on external sets. We show that internal frameworks provide successful accounts of nonstandard hulls and Loeb measures. The basic fact this work relies on is that the ultrapower of the standard universe by a standard ultrafilter is naturally isomorphic to a subuniverse of the internal universe.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  11
    Degrees of analytic sets.Karel Hrbacek - 1983 - Mathematical Logic Quarterly 29 (2):75-82.
  9.  13
    Combinatorial principles in nonstandard analysis.Mauro Di Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
    We study combinatorial principles related to the isomorphism property and the special model axiom in nonstandard analysis.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  16
    A New Proof that π 11 < σ 11.Richard Gostanian & Karel Hrbacek - 1979 - Mathematical Logic Quarterly 25 (25‐29):407-408.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  24
    A New Proof that π11 < σ11.Richard Gostanian & Karel Hrbacek - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):407-408.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  7
    Review: Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 1. Bounded Set Theory; Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 2. External Universe over the Universe of Bounded Set Theory; Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 3. Partially Saturated Universes. [REVIEW]Karel Hrbacek - 1999 - Journal of Symbolic Logic 64 (3):1365-1366.
  13.  20
    Vladimir Kanovei and Michael Reeken, Internal approach to external sets and universes, Part 1, Bounded set theory, Studia logica, vol. 55 , pp. 229–257. - Vladimir Kanovei and Michael Reeken, Internal approach to external sets and universes, Part 2, External universes over the universe of bounded set theory, Studia logica, vol. 55 , pp. 347–376. - Vladimir Kanovei and Michael Reeken, Internal approach to external sets and universes, Part 3, Partially saturated universes, Studia logica, vol. 56 , pp. 293–322. [REVIEW]Karel Hrbacek - 1999 - Journal of Symbolic Logic 64 (3):1365-1366.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  19
    On the Existence of Two Analytic Non-Borel Sets Which are not Isomorphic.A. Maitra, C. Ryll-Nardzewski, R. Daniel Mauldin, Karel Hrbacek & Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (2):665-668.
  15.  22
    Maitra A. and Ryll-Nardzewski C.. On the existence of two analytic non-Borel sets which are not isomorphic. Bulletin de L'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques et physiques, vol. 18 , pp. 177–178.Mauldin R. Daniel. On nonisomorphic analytic sets. Proceedings of the American Mathematical Society, vol. 58 , pp. 241–244.Hrbacek Karel. On the complexity of analytic sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 24 , pp. 419–425.Hrbacek Karel and Simpson Stephen G.. On Kleene degrees of analytic sets. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Barwise Jon, Keisler H. Jerome, and Kunen Kenneth, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 347–352.Harrington Leo. Analytic determinacy and 0#. [REVIEW]Jacques Stern - 1984 - Journal of Symbolic Logic 49 (2):665-668.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  54
    The problem of time in quantum geometrodynamics.Karel Kuchař - 1999 - In Jeremy Butterfield (ed.), The arguments of time. New York: Published for the British Academy by Oxford University Press.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  17.  57
    Philosophical applications of free logic.Karel Lambert (ed.) - 1991 - New York: Oxford University Press.
    Free logic, an alternative to traditional logic, has been seen as a useful avenue of approach to a number of philosophical issues of contemporary interest. In this collection, Karel Lambert, one of the pioneers in, and the most prominent exponent of, free logic, brings together a variety of published essays bearing on the application of free logic to philosophical topics ranging from set theory and logic to metaphysics and the philosophy of religion. The work of such distinguished philosophers as (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  18. Global Democracy Theories: Reshaping Political Authority.Karel J. Leyva - 2024 - Politics and Rights Review 1.
  19. Rethinking Sovereignty: A Path to Cosmopolitan Democracy.Karel J. Leyva - 2024 - Politics and Rights Review 2.
  20.  76
    Communicating conviction: A pilot study of patient perspectives on guidance during medical decision-making in the United States.Karel-Bart Celie, Allyn Auslander & Stuart Kuschner - forthcoming - Clinical Ethics.
    The COVID-19 pandemic has highlighted the difficult task of balancing access to misinformation with respect for patient decision-making. Due to its innate antagonism, the paradigm of “physician paternalism” versus “patient autonomy” may not adequately capture the clinical relationship. The authors hypothesized that most patients would, in fact, prefer significant physician input as opposed to unopinionated information when making medical decisions. There is a lack of empirical data corroborating this in the United States. To that end, a survey was distributed to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Introduction to Set Theory.K. Hrbacek & T. Jech - 2001 - Studia Logica 69 (3):448-449.
  22.  6
    Free logics: their foundations, character, and some applications thereof.Karel Lambert - 1997 - Sankt Augustin [Germany]: Academia.
  23. A theory of definite descriptions.Karel Lambert - 1991 - In Philosophical applications of free logic. New York: Oxford University Press. pp. 17--27.
  24.  15
    Molecular Revolution in Brazil.Karel Clapshow & Brian Holmes (eds.) - 2007 - Semiotext(E).
    Molecular Revolution in BrazilFélix Guattari and Suely Rolniktranslated by Karel Clapshow and Brian HolmesYes, I believe that there is a multiple people, a people of mutants, a people of potentialities that appears and disappears, that is embodied in social, literary, and musical events.... I think that we're in a period of productivity, proliferation, creation, utterly fabulous revolutions from the viewpoint of this emergence of a people. That's molecular revolution: it isn't a slogan or a program, it's something that I (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  14
    A Simple Value-Distinction Approach Aids Transparency in Farm Animal Welfare Debate.Karel Greef, Frans Stafleu & Carolien Lauwere - 2006 - Journal of Agricultural and Environmental Ethics 19 (1):57-66.
    Public debate on acceptable farm animal husbandry suffers from a confusion of tongues. To clarify positions of various stakeholder groups in their joint search for acceptable solutions, the concept of animal welfare was split up into three notions: no suffering, respect for intrinsic value, and non-appalling appearance of animals. This strategy was based on the hypothesis that multi-stakeholder solutions should be based on shared values rather than on compromises. The usefulness of such an artificial value distinction strategy was tested in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  26.  2
    Estetika svatého Augustina a její zdroje.Karel Svoboda - 2000 - Praha: Nakl. Karolinum. Edited by Augustine.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  6
    Le lien intraitable: enquête sur le temps dans la République et le Timée de Platon.Karel Thein - 2001 - Paris: Libr. philosophique J. Vrin.
    En lisant la République et le Timée de Platon, ce livre propose une enquête sur les deux formes de temporalité irréductibles (celle de la cité armée, celle de l'âme immortelle) pour éclairer la question principale, celle de la nature et de la structure de l'âme, de la cité et du cosmos.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  27
    Bearing the mark of pain: mystery in medicine.Karel-Bart Celie & John J. Paris - 2023 - Philosophy, Ethics and Humanities in Medicine 18 (1):1-4.
    Dostoevsky wrote that love in action is a harsh and terrible thing compared to love in dreams. That reality is particularly evident in medicine, where there is an almost universal, involuntary participation of physicians and other healthcare workers in the suffering of their patients. This paper explores this phenomenon through the paradigm of ‘mystery’ as explained by the French existentialist philosopher Gabriel Marcel. A mystery is different from a problem in the sense that the former requires the active immersion of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29. Libéralisme égalitariste, républicanisme critique et reconnaissance identitaire.Karel J. Leyva - 2019 - ThéoRèmes 15 (15).
    In Liberalism’s religion, Laborde defends a liberal egalitarian position and tackles, from a new perspective, some issues dealt with in his republican writings. This article examines some of these issues, paying attention to the place that the recognition of identities occupies both in her republican and in her liberal theories, as well as the type of justification advanced in both cases. The article shows that the recognition of identities has gone from having a peripheral and instrumental role in her republican (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  24
    Full Lambek calculus with contraction is undecidable.Karel Chvalovský & Rostislav Horčík - 2016 - Journal of Symbolic Logic 81 (2):524-540.
  31.  36
    Note on Deduction Theorems in contraction‐free logics.Karel Chvalovský & Petr Cintula - 2012 - Mathematical Logic Quarterly 58 (3):236-243.
    This paper provides a finer analysis of the well-known form of the Local Deduction Theorem in contraction-free logics . An infinite hierarchy of its natural strengthenings is introduced and studied. The main results are the separation of its initial four members and the subsequent collapse of the hierarchy.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Univerzitní studie.Karel Capek & Milos Pohorský - 1987 - Praha: Československý spisovatel. Edited by Miloš Pohorský.
     
    Export citation  
     
    Bookmark  
  33.  12
    On Machines, Self-Organization, and the Global Traveling of Knowledge, circa 1500–1900.Karel Davids - 2015 - Isis 106 (4):866-874.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  26
    Ethics of Epidemics, Research and Surveillance: a WHO Workshop Report.Karel Caals, Abha Saxena & Calvin Wai-Loon Ho - 2017 - Asian Bioethics Review 9 (3):265-271.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  14
    Respect for personhood: Concrete implications of a philosophical misunderstanding.Karel-Bart Celie & John J. Paris - 2019 - Clinical Ethics 14 (3):146-150.
    Intentionally or not, our clinical practice is informed by our philosophical premises. A subtle misunderstanding can have frequent, though insidious, implications in day-to-day clinical encounters....
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  17
    Undecidability of consequence relation in full non-associative Lambek calculus.Karel Chvalovský - 2015 - Journal of Symbolic Logic 80 (2):567-586.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Schopenhauer et le problème de l'immanence ou l'impertinence du pessimisme intégral in Schopenhauer.Karel Boullart - 1988 - Revue Internationale de Philosophie 42 (164):82-100.
     
    Export citation  
     
    Bookmark  
  38. Vanuit Andromeda gezien: het bereikbare en het ontoegankelijke: een wijsgerig essay.Karel Boullart - 1990 - Gent: Rijksuniversiteit Gent.
     
    Export citation  
     
    Bookmark  
  39.  82
    Existential import revisited.Karel Lambert - 1963 - Notre Dame Journal of Formal Logic 4 (4):288-292.
  40.  17
    Public Knowledge and Common Secrets. Secrecy and its Limits in the Early-Modern Netherlands.Karel Davids - 2005 - Early Science and Medicine 10 (3):411.
    Openness of knowledge was in the Dutch Republic no more a natural state of affairs than in other parts of Europe at the time, but it became dominant there at an earlier date than elsewhere. This puzzling phenomenon is the subject of this essay. The article shows that tendencies to secrecy in crafts and trades in the Netherlands were by no means absent and that public authorities were not principled supporters of openness. Openness of knowledge did not prevail because arguments (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  22
    Řád jako ústřední idea civilizace.Karel Floss - 2016 - Studia Philosophica 63 (1):13-25.
    Pojem řádu má své veliké dějiny od předsókratiků až k H. Kringsovi, který v roce 1941 vydává knihu Ordo. U nás se pojmu řádu a řádovosti věnoval po celý život ze­jména brněnský a olomoucký myslitel J. L. Fischer (1894–1973). Idea řádu byla také jedním z pilířů jeho skladebné filosofie, jež měla základní problémy moderní společnosti vyřešit účinněji než marxismus. Současně s „laickým“ Fischerem usilovala v kritických 30. letech dvacátého století o nastolení kýženého řádu vyhraněně katolická skupina sou­středěná kolem tehdy nově (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  8
    De sprint van de naakte aap, of, V.I.T.R.I.O.L.Karel Ringoet - 1993 - Antwerpen: Hadewijch.
    Cultuurkritisch essay vanuit de optiek van de anti-psychiatrie.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  22
    Der "Beweis durch Heraushebung" bei Galenos.Karel Berka - 1958 - Phronesis 3 (2):150-153.
  44.  98
    Free logic and the concept of existence.Karel Lambert - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):133-144.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  45.  13
    Bemerkungen zu Bolzanos Wahrscheinlichkeitslogik.Karel Berka - 1981 - Deutsche Zeitschrift für Philosophie 29 (7-9):808.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  1
    Introduction: Bridging Concepts.Karel Davids - 2015 - Isis 106 (4):835-839.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. Goedheid en schoonheid.Karel Lodewijk Piccardt - 1946 - Amsterdam,: J.H. de Bussy.
     
    Export citation  
     
    Bookmark  
  48.  6
    Het wezen der kunst.Karel Lodewijk Piccardt - 1937 - Amsterdam,: H. J. Paris.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  17
    Deviant Logic. Some Philosophical Issues.Karel Lambert - 1978 - Journal of Symbolic Logic 43 (2):377-379.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  50.  15
    On descendingly complete ultrafilters.Karel Prikry - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 459--488.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 776