Results for 'Hereditarily irresolvable space'

1000+ found
Order:
  1.  29
    Scattered and hereditarily irresolvable spaces in modal logic.Guram Bezhanishvili & Patrick J. Morandi - 2010 - Archive for Mathematical Logic 49 (3):343-365.
    When we interpret modal ◊ as the limit point operator of a topological space, the Gödel-Löb modal system GL defines the class Scat of scattered spaces. We give a partition of Scat into α-slices S α , where α ranges over all ordinals. This provides topological completeness and definability results for extensions of GL. In particular, we axiomatize the modal logic of each ordinal α, thus obtaining a simple proof of the Abashidze–Blass theorem. On the other hand, when we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  4
    Modal Logics of Some Hereditarily Irresolvable Spaces.Robert Goldblatt - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 303-322.
    A topological space is hereditarilyk-irresolvable if none of its subspaces can be partitioned into k dense subsets. We use this notion to provide a topological semantics for a sequence of modal logics whose n-th member K4Cn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {C}_n$$\end{document} is characterised by validity in transitive Kripke frames of circumference at most n. We show that under the interpretation of the modality ◊\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Diamond $$\end{document} (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  7
    Modal Logics that Bound the Circumference of Transitive Frames.Robert Goldblatt - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 233-265.
    For each natural number n we study the modal logic determined by the class of transitive Kripke frames in which there are no cycles of length greater than n and no strictly ascending chains. The case n=0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n=0$$\end{document} is the Gödel-Löb provability logic. Each logic is axiomatised by adding a single axiom to K4, and is shown to have the finite model property and be decidable. We then consider a number of extensions (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  19
    On hereditarily indecomposable Banach spaces.Tadeusz Figiel, Ryszard Frankiewicz, Ryszard Komorowski & Czesław Ryll-Nardzewski - 2004 - Annals of Pure and Applied Logic 126 (1-3):293-299.
    A set-theoretical proof of Gowers’ Dichotomy Theorem is presented together with its application to another dichotomy concerning asymptotic l 2 basic sequences.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  49
    Martin's axiom and a regular topological space with uncountable net weight whose countable product is hereditarily separable and hereditarily lindelöf.Krzysztof Ciesielski - 1987 - Journal of Symbolic Logic 52 (2):396-399.
  6.  22
    Empty spaces: empire versus life.Helen Petrovsky - 2022 - Studies in East European Thought 74 (4):463-474.
    The article analyzes the ongoing Russian–Ukrainian war in terms of a colonial seizure undertaken by a fading but aggressive Russian empire. This highly political adventure is translated into more abstract terms, that is, an irresolvable conflict between existence, which is always the experience of coexistence devoid of any essence whatsoever, and imperial expansion, which is an infinite conquest of space indifferent to all forms of life. The dualism in question is backed up by the writings of two important (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  23
    The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces.Kyriakos Keremedis - 2003 - Mathematical Logic Quarterly 49 (2):179-186.
    In the realm of metric spaces the role of choice principles is investigated.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8. On effective topological spaces.Dieter Spreen - 1998 - Journal of Symbolic Logic 63 (1):185-221.
    Starting with D. Scott's work on the mathematical foundations of programming language semantics, interest in topology has grown up in theoretical computer science, under the slogan `open sets are semidecidable properties'. But whereas on effectively given Scott domains all such properties are also open, this is no longer true in general. In this paper a characterization of effectively given topological spaces is presented that says which semidecidable sets are open. This result has important consequences. Not only follows the classical Rice-Shapiro (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9.  16
    Consequences of the failure of the axiom of choice in the theory of Lindelof metric spaces.Kyriakos Keremedis - 2004 - Mathematical Logic Quarterly 50 (2):141.
    We study within the framework of Zermelo-Fraenkel set theory ZF the role that the axiom of choice plays in the theory of Lindelöf metric spaces. We show that in ZF the weak choice principles: Every Lindelöf metric space is separable and Every Lindelöf metric space is second countable are equivalent. We also prove that a Lindelöf metric space is hereditarily separable iff it is hereditarily Lindelöf iff it hold as well the axiom of choice restricted (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  18
    Veiled Interventions in Pure Space.Pnina Werbner - 2007 - Theory, Culture and Society 24 (2):161-186.
    The rise of Islamic fundamentalism in Europe seems to be tangibly signalled by an increase in women and young girls wearing the Muslim veil, the hijab. In France, this has led to the legal banning of all headscarves and other religious symbols in state schools in the name of French secularism. The article considers the ambiguities and ambivalences associated with the politics of embodiment surrounding veiling and honour killings comparatively, in Britain and France, and the implications for ongoing debates on (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  19
    Natural non-dcpo domains and f-spaces.Vladimir Sazonov - 2009 - Annals of Pure and Applied Logic 159 (3):341-355.
    As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily-sequential functionals is not ω-complete . This is also applicable to a potentially wider class of models such as the recently constructed by the author fully abstract model for PCF+=PCF+pif . Here we will present an outline of a general approach to this kind of ‘natural’ domains which, although being non-dcpos, allow considering ‘naturally’ continuous functions . There is also an appropriate version of ‘naturally’ algebraic and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  20
    Eventually open action.Barbara Majcher-Iwanow - 2012 - Mathematical Logic Quarterly 58 (1-2):95-104.
    We study a natural subclass of continuous actions of Polish groups on Polish spaces which we call eventually open actions. We prove that this property characterizes the actions endowed with a complete system of hereditarily countable invariant structures introduced by Hjorth as a generalization of Scott sentences.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  60
    A Topological Approach to Full Belief.Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün & Sonja Smets - 2019 - Journal of Philosophical Logic 48 (2):205-244.
    Stalnaker, 169–199 2006) introduced a combined epistemic-doxastic logic that can formally express a strong concept of belief, a concept of belief as ‘subjective certainty’. In this paper, we provide a topological semantics for belief, in particular, for Stalnaker’s notion of belief defined as ‘epistemic possibility of knowledge’, in terms of the closure of the interior operator on extremally disconnected spaces. This semantics extends the standard topological interpretation of knowledge with a new topological semantics for belief. We prove that the belief (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  14.  33
    Polish group actions, nice topologies, and admissible sets.Barbara Majcher-Iwanow - 2008 - Mathematical Logic Quarterly 54 (6):597-616.
    Let G be a closed subgroup of S∞ and X be a Polish G -space. To every x ∈ X we associate an admissible set Ax and show how questions about X which involve Baire category can be formalized in Ax.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  7
    Theological poverty in continental philosophy.Colby Dickinson - 2021 - New York: Bloomsbury Academic.
    Colby Dickinson proposes a new political theology rooted in the intersections between continental philosophy, heterodox theology, and orthodox theology. Moving beyond the idea that there is an irresolvable tension at the heart of theological discourse, the conflict between the two poles of theology is made intelligible. Dickinson discusses the opposing poles simply as manifestations of reform and revolution, characteristics intrinsic to the nature of theological discourse itself. Outlining the illuminating space of theology, Theological Poverty in Continental Philosophy breaks (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Analytical Philosophy of Knowledge.Arthur Coleman Danto - 1968 - London,: Cambridge University Press.
    A central theme of this book is that the main problems of philosophy and certainly the main traditional problems in the theory of knowledge, concern the space between language and the world. Professor Danto distinguishes between descriptive concepts, concerned with saying how the world is and semantic concepts, which have to do with the application of descriptions of the world. Failure to make these distinctions is responsible for a class of seemingly irresolvable disputes over the foundations of knowledge; (...)
  17.  9
    Isomorphism of Locally Compact Polish Metric Structures.Maciej Malicki - 2024 - Journal of Symbolic Logic 89 (2):646-664.
    We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism), which implies, in particular, that isometry of locally compact Polish metric spaces is Borel reducible to graph isomorphism. We show that potentially $\boldsymbol {\Pi }^{0}_{\alpha + 1}$ isomorphism relations are Borel reducible to equality on hereditarily countable sets of rank $\alpha $, $\alpha \geq 2$. We also (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  49
    Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.
    Using a result of Gurevich and Lewis on the word problem for finite semigroups, we give short proofs that the following theories are hereditarily undecidable: (1) finite graphs of vertex-degree at most 3; (2) finite nonvoid sets with two distinguished permutations; (3) finite-dimensional vector spaces over a finite field with two distinguished endomorphisms.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  51
    On the Decidability of Axiomatized Mereotopological Theories.Hsing-Chien Tsai - 2015 - Notre Dame Journal of Formal Logic 56 (2):287-306.
    The signature of the formal language of mereotopology contains two predicates $P$ and $C$, which stand for “being a part of” and “contact,” respectively. This paper will deal with the decidability issue of the mereotopological theories which can be formed by the axioms found in the literature. Three main results to be given are as follows: all axiomatized mereotopological theories are separable; all mereotopological theories up to $\mathbf{ACEMT}$, $\mathbf{SACEMT}$, or $\mathbf{SACEMT}^{\prime}$ are finitely inseparable; all axiomatized mereotopological theories except $\mathbf{SAX}$, $\mathbf{SAX}^{\prime}$, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  13
    Relektüre ohne Rückkehr.Benedikt Melters - 2023 - Deutsche Zeitschrift für Philosophie 71 (5):646-671.
    In his last work, Relire le relié, Michel Serres develops a philosophy of religion that circumvents the conventional demarcations of reason and faith, knowledge of the world and knowledge of revelation, or agnosticism and apology. In a structuralistically-informed relecture, he exposes the basic traits of religion. With its narratives and theologoumena, it captures and describes being-in-the-world as an event of universal synthesis. It is – in Serres’ diction – about the basic relatio of energy and information, entropy and negentropy, chaos (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  23
    When law and ethics come apart: Constraints versus guidance.Daniel A. Wilkenfeld & Christine Durmis - 2022 - Nursing Ethics 29 (6):1430-1440.
    The generally agreed upon principle that legality and ethics can come apart is frequently overlooked in our professional ethics education and decision-making procedures. The crux of the issue is that we teach in our philosophy classes that the law can sometimes be unethical, but then clearly state in nursing codes of ethics that students should always follow the law. The law could no doubt give us some reason to choose action A over action B, but in professional contexts we frequently (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  19
    Theatre of Deferral: The Image of the Law and the Architecture of the Inns of Court.David Evans - 1999 - Law and Critique 10 (1):1-25.
    This article addresses the architecture of the Inns of Court, the home of the Common Law. The approach taken, however, rejects an approach that would reduce the Inns to a roster of historical details and laudatory description. Instead, the Inns are seen, if not actually felt, as the embodiment of the “original” ground of law. This experience is revealed through a three-stage discovery process that situates the Inns within the medieval context of symbol and ritual as informed by Turner’s concept (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23. The Method of In-between in the Grotesque and the Works of Leif Lage.Henrik Lübker - 2012 - Continent 2 (3):170-181.
    “Artworks are not being but a process of becoming” —Theodor W. Adorno, Aesthetic Theory In the everyday use of the concept, saying that something is grotesque rarely implies anything other than saying that something is a bit outside of the normal structure of language or meaning – that something is a peculiarity. But in its historical use the concept has often had more far reaching connotations. In different phases of history the grotesque has manifested its forms as a means of (...)
     
    Export citation  
     
    Bookmark  
  24.  21
    gay (ze) doesn't reciprocate'the look', rather a lesbian reading is imposed upon her, more in hope than anticipation. But the voyeur can still momentarily imagine the space as her own, producing a small fissure in hegemonic hetero-sexual space. Lesbian spaces are also mobilized through linguistic structures of meaning. [REVIEW]Lesbian Productions Of Space - 1996 - In Nancy Duncan (ed.), BodySpace: destabilizing geographies of gender and sexuality. New York: Routledge.
  25. International and National Symposia, Courses and Meetings.Space Occupying - forthcoming - Laguna.
    No categories
     
    Export citation  
     
    Bookmark  
  26. Elisabetta ladavas and Alessandro farne.Representations Of Space & Near Specific Body Parts - 2004 - In Charles Spence & Jon Driver (eds.), Crossmodal Space and Crossmodal Attention. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  27.  11
    Leszek Wronski.Branching Space-Times - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. pp. 135.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  11
    Nuel Belnap.of Branching Space-Times - 2002 - In Tomasz Placek & Jeremy Butterfield (eds.), Non-locality and Modality. Dordrecht and Boston: Kluwer Academic Publishers.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  31
    Email: Tmuel 1 er@ F dm. uni-f reiburg. De.Branching Space-Time & Modal Logic - 2002 - In Tomasz Placek & Jeremy Butterfield (eds.), Non-locality and Modality. Dordrecht and Boston: Kluwer Academic Publishers. pp. 273.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Hoboken.Discovery Space - 1994 - Science Education 78 (2):137-148.
    No categories
     
    Export citation  
     
    Bookmark  
  31. William G. Lycan.Logical Space & New Directions In Semantics - 1987 - In Ernest LePore (ed.), New directions in semantics. Orlando: Academic Press. pp. 143.
  32.  39
    Hgikj.Farewell Minkowski Space - 1997 - Apeiron 4 (1):33.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Part XI: Flesh, Body, Embodiment.Space & Time - 2018 - In Daniela Verducci, Jadwiga Smith & William Smith (eds.), Eco-Phenomenology: Life, Human Life, Post-Human Life in the Harmony of the Cosmos. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  15
    When inspiration strikes, don't bottle it up! Write to me at: Philosophy Now 43a Jerningham Road• London• SE14 5NQ, UK or email rick. lewis@ philosophynow. org Keep them short and keep them coming! [REVIEW]Outta Space - forthcoming - Philosophy Now.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  59
    Schizophrenia: First you see it; then you don't.Rue L. Cromwell & Lawrence G. Space - 1982 - Behavioral and Brain Sciences 5 (4):597-598.
  36.  9
    On the idea of point-free theories of space based on the example of Tarski’s Geometry of Solids.Grzegorz Sitek - 2022 - Philosophical Discourses 4:157-186.
    The paper presents the main idea of point-free theories of space based on Tarski's system of point-free geometry. First, the general idea of the so-called point-free ontology was discussed, as well as the epistemological and methodological reasons for its adoption. Next, Whitehead's method of extensive abstraction, which is the methodological basis for the construction of point-free theories of space, is presented, and the fundamental concepts of mereology are discussed. The main part of the paper is a discussion of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  19
    Space, Time and Gravitation.H. R. Smart & A. S. Eddington - 1922 - Philosophical Review 31 (4):414.
  38. Reading the Past Across Space and Time: Receptions and World Literature.Jan Szaif (ed.) - 2016
    No categories
     
    Export citation  
     
    Bookmark  
  39.  35
    Safe Space of Ideology.Wojciech Bartłomiej Zieliński - 2014 - Philosophy Study 4 (7).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  2
    Space in Hellenistic Philosophy. Crititcal Studies in Ancient Physics.Zimmer Thomas - 2016 - Latest Issue of Bochumer Philosophisches Jahrbuch Fur Antike Und Mittelalter 19 (1):268-271.
  41. The structure of egocentric space.Adrian J. T. Alsmith - 2020 - In Frédérique de Vignemont (ed.), The World at Our Fingertips: A Multidisciplinary Exploration of Peripersonal Space. Oxford: Oxford University Press.
    This chapter offers an indirect defence of the Evansian conception of egocentric space, by showing how it resolves a puzzle concerning the unity of egocentric spatial perception. The chapter outlines several common assumptions about egocentric perspectival structure and argues that a subject’s experience, both within and across her sensory modalities, may involve multiple structures of this kind. This raises the question of how perspectival unity is achieved, such that these perspectival structures form a complex whole, rather than merely disunified (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  42. The poetics of space.Gaston Bachelard - 1964 - Boston: Beacon Press. Edited by M. Jolas.
    House. From cellar to garret. Significance of the hut -- House and universe -- Drawers, chests and wardrobes -- Nests -- Shells -- Corners -- Miniature -- Intimate immensity -- Dialectics of outside and inside -- Phenomenology of roundness.
    Direct download  
     
    Export citation  
     
    Bookmark   140 citations  
  43.  39
    Studies in space orientation. III. Perception of the upright in the absence of a visual field.H. A. Witkin & S. E. Asch - 1948 - Journal of Experimental Psychology 38 (5):603.
  44.  13
    Three-Space from Quantum Mechanics.László B. Szabados - 2022 - Foundations of Physics 52 (5):1-34.
    The spin geometry theorem of Penrose is extended from SU to E invariant elementary quantum mechanical systems. Using the natural decomposition of the total angular momentum into its spin and orbital parts, the distance between the centre-of-mass lines of the elementary subsystems of a classical composite system can be recovered from their relative orbital angular momenta by E-invariant classical observables. Motivated by this observation, an expression for the ‘empirical distance’ between the elementary subsystems of a composite quantum mechanical system, given (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  77
    Modal space exploration: Replies to Ballarin, Hayaki, and Kim.Takashi Yagisawa - 2011 - Analytic Philosophy 52 (4):302-311.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  46.  12
    Subset Space Public Announcement Logic.Yì N. Wáng & Thomas Ågotnes - 2013 - In Kamal Lodaya (ed.), Logic and Its Applications. Springer. pp. 245--257.
  47.  31
    Space, Time, and Motion: A Philosophical Introduction.Wesley C. Salmon - 1980 - University of Minnesota Press.
  48. Newtonian determinism to branching space-times indeterminism in two moves.Nuel Belnap - 2012 - Synthese 188 (1):5-21.
    “Branching space-times” (BST) is intended as a representation of objective, event-based indeterminism. As such, BST exhibits both a spatio-temporal aspect and an indeterministic “modal” aspect of alternative possible historical courses of events. An essential feature of BST is that it can also represent spatial or space-like relationships as part of its (more or less) relativistic theory of spatio-temporal relations; this ability is essential for the representation of local (in contrast with “global”) indeterminism. This essay indicates how BST might (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  49.  66
    Capitalism as a space of reasons: Analytic, neo-Hegelian Marxism?Justin Evans - 2021 - Philosophy and Social Criticism 47 (7):789-813.
    I suggest that we can read Marx in the light of recent analytic, neo-Hegelian thought. I summarize the Pittsburgh School philosophers’ claims about the myth of the given, the claim that human experience is conceptual all the way out, and that we live in a space of reasons. I show how Hegel has been read in those terms, and then apply that reading of Hegel to Marx’s argument that capital is akin to what Hegel called Geist, or spirit. We (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  50. The space-time world.J. J. C. Smart - 2004 - In Tim Crane & Katalin Farkas (eds.), Metaphysics: a guide and anthology. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 1000