Results for 'Karel Hrbacek'

(not author) ( search as author name )
776 found
Order:
  1.  17
    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.  12
    On the Complexity of Analytic Sets.Karel Hrbacek - 1978 - Mathematical Logic Quarterly 24 (25‐30):419-425.
  5.  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  
  6.  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  
  7.  11
    Degrees of analytic sets.Karel Hrbacek - 1983 - Mathematical Logic Quarterly 29 (2):75-82.
  8.  62
    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  
  9.  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  
  10.  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  
  11.  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  
  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.  20
    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. Introduction to Set Theory.K. Hrbacek & T. Jech - 2001 - Studia Logica 69 (3):448-449.
  17.  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  
  18.  4
    Estetika svatého Augustina a její zdroje.Karel Svoboda - 2000 - Praha: Nakl. Karolinum. Edited by Augustine.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  7
    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  
  20.  78
    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.  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  
  22.  24
    Full Lambek calculus with contraction is undecidable.Karel Chvalovský & Rostislav Horčík - 2016 - Journal of Symbolic Logic 81 (2):524-540.
  23.  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  
  24.  11
    Individualisation: A Multi-Dimensional Process?Karel Dobbelaere - 2001 - In Anton van Harskamp & A. W. Musschenga (eds.), The many faces of individualism. Sterling, Va.: Peeters. pp. 12--47.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  5
    Professionalization and secularization in the Belgian catholic pillar.Karel Dobbelaere - 1979 - Japanese Journal of Religious Studies 6 (1-2):39-64.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  17
    Deviant Logic. Some Philosophical Issues.Karel Lambert - 1978 - Journal of Symbolic Logic 43 (2):377-379.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  63
    Global Democracy Theories: Reshaping Political Authority.Karel J. Leyva - 2024 - Politics and Rights Review 1.
  28.  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  
  29.  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  
  30.  40
    Rethinking Sovereignty: A Path to Cosmopolitan Democracy.Karel J. Leyva - 2024 - Politics and Rights Review 2.
  31.  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  
  32.  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  
  33. Goedheid en schoonheid.Karel Lodewijk Piccardt - 1946 - Amsterdam,: J.H. de Bussy.
     
    Export citation  
     
    Bookmark  
  34.  6
    Het wezen der kunst.Karel Lodewijk Piccardt - 1937 - Amsterdam,: H. J. Paris.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  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  
  36. 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  
  37.  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  
  38. Univerzitní studie.Karel Capek & Milos Pohorský - 1987 - Praha: Československý spisovatel. Edited by Miloš Pohorský.
     
    Export citation  
     
    Bookmark  
  39.  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  
  40.  82
    Existential import revisited.Karel Lambert - 1963 - Notre Dame Journal of Formal Logic 4 (4):288-292.
  41.  39
    Semantic Organs: The Concept and Its Theoretical Ramifications.Karel Kleisner - 2015 - Biosemiotics 8 (3):367-379.
    Many biologists still believe in a sort of post-Cartesian foundation of reality wherein objects are independent of subjects which cognize them. Recent research in behaviour, cognition, and psychology, however, provides plenty of evidence to the effect that the perception of an object differs depending on the kind of animal observer, and also its personality, hormonal, and sensorial set-up etc. In the following, I argue that exposed surfaces of organisms interact with other organisms’ perception to form semiautonomous relational entities called semantic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  42. The Showman Producer'.Karel Reisz - forthcoming - The Cinema.
     
    Export citation  
     
    Bookmark  
  43. Goed en schoon in de Sovjetcritiek.Karel van het Reve - 1954 - Amsterdam: G.A. van Oorschot.
     
    Export citation  
     
    Bookmark  
  44.  3
    Etika a psychologie v podnikání.Karel Riegel - 2005 - V Praze: Univerzita Karlova, Nakl. Karolinum. Edited by Jaromír Janoušek.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  5
    Het optreden van de koning in België, in het bijzonder tijdens regeringscrisissen.Karel Rimanque & Mark Wouters - 1991 - Res Publica 33 (1):105-129.
    In the Belgian constitutional order, there is no room for any direct political powers to be exercised by the King. Even on the occasion of a crisis- when the Cabinet tenders its resignation or when the Kingperforms His constitutional mission in the process towards the formation of a new government ; His freedom of action is restricted by the objective context, defined mainly by the political parties.The King, however, retains the possibility of exercising his political influence. This influence may be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46. Hierarchie hudebních celků.Karel Risinger - 1969 - Praha,: Panton.
     
    Export citation  
     
    Bookmark  
  47.  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  
  48.  38
    On partitions into stationary sets.Karel Prikry & Robert M. Solovay - 1975 - Journal of Symbolic Logic 40 (1):75-80.
  49. Die Norm ist kein Urteil.Karel Engliš - 1964 - Archiv für Rechts-Und Sozialphilosophie 50:305-316.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  50. 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  
1 — 50 / 776