🪴 Quartz 4.0

          • Bachelors' Outline
            • An Interesting Field, Finite Model Theory
            • Assume I finish the MoL in one year, what then?
            • Five Reasons Why I Should Slow My Pace
            • Is it the Begin of a Motivational Decline?
            • PhD Applications Regrets
            • 6th Semester Courses Choice
            • Academic Plan for the MoL
            • ELLIS Honours Programme
            • Finishing the Fifth Semester, Deadlines and Priorities
            • Last Steps to Finish the MoL in one Year
            • Master's Outline
            • Track of the MSc. Logic
            • PhD Applications
            • PhD Applications in the EU & UK
            • PhD Applications in the US
            • Suboptimal Scenarios for PhD Applications
          • Attachments to PhD Applications
          • Information for Recommenders
        • Academic Diary
              • A Priori's Division of Knowledge
              • Indeterminacy in the Mind-World Relationship
              • Issues on Real Numbers
              • On the Subsubject
              • The Frequency of Telling Stories
              • The Method's Codomain
              • The Structure of the Perceived
          • 1st Semester
              • Advanced Set Theory (Lecture)
              • Analysis II (Lecture)
              • Linear Algebra II (Lecture)
              • Model Theory (Lecture)
              • An Historical Discourse on Phenomenological Platonism
              • From the ἕν to the Universe of Sets
              • Reality is a Word
              • Nonsense in a Phenomenal Subject
              • Realism&Causality
          • 2nd Semester
            • Algebra (Lecture)
            • Analysis III (Lecture)
            • Constructive Analysis (Lecture)
            • Programming II (Lecture)
            • Stochastic (Lecture)
            • Choice
            • Correspondence
            • Modal Logic (Lecture)
            • Modern Philosophy (Lecture)
            • Political Philosophy (Lecture)
            • Structure on Models
            • The Silent Assumption in Tarskian Semantics
            • What a Logic Could not Be
          • 3rd Semester
            • Commutative Algebra (Lecture)
            • Axiomatic Metaphysics (Lecture)
            • Ethics (Lecture)
            • Logic II (Lecture)
            • Mathematical Philosophical Colloquium
                • Algebra on Worlds
                • Mathematics First Thesis Concept
                • Philosophy First Thesis Concept
                • Structuralism
              • Appendix of the Thesis
              • First Bachelor Thesis Concept
            • Axiom of Strong Negation of Undefinable Choice
            • B.A. Philosophy Thesis
            • B.Sc. Mathematics Thesis
            • Bachelor Thesis
          • 4th Semester
        • B.A. Philosophy (LMU)
        • B.Sc. Mathematics (LMU)
        • Index of Bachelor Works
            • Categorical Foundations of Structuralism
            • Supervisor's Page
          • 5th Semester
          • 2024-10-18
          • A Topological Approach to Infinite Disjunctions
          • Category Theory (Lecture)
          • Closure Theory
          • De Re Knowledge of Arbitrary Objects
          • Dynamic Epistemic Logic (Lecture)
          • Forcing (Research Project)
          • Introduction to Modal Logic (Lecture)
          • Isomorphism Classes of Total Orders
          • Knowledge, Representation and Reasoning (Lecture)
          • Logic, Language and Computation (Lecture)
          • Mathematical Proof Methods for Logic (Lecture)
          • Meaning, Reference and Modality (Lecture)
          • On Disjoint Union
          • On Infinitary Paths
          • Ontic Structuralism of Concepts
          • Philosophy of Cognition (Essay)
          • Philosophy of Cognition (Lecture)
          • Philosophy of Logic (Essay)
          • Philosophy of Logic (Lecture)
          • Philosophy of Science (Lecture)
          • Proof Theory (Lecture)
          • 6th Semester
          • Applications and Limitations of Interpretations in Ontology
          • Forcing on Urelements (Research Project)
          • Logic and Probability (Lecture)
          • Master Thesis
          • Model Theory bis (Lecture)
          • Model Theory, ILLC (Lecture)
          • Philosophy of Mathematics (Lecture)
          • Recursion Theory (Lecture)
          • Rudiments in Set Theory (Lecture)
          • Structures for Semantics (Lecture)
          • Topology, Logic and Learning (Lecture)
          • Type Theory (Lecture)
        • Index of Master Works
        • M.Sc. Logic (UvA)
        • MoL_Marks (SIP.py)
        • Algebra
        • Category Theory
        • Formal Cognitive Sciences
        • Formal Epistemology
        • Modal Logic
        • Model Theory
        • Research Areas
        • Research Experience
        • Set Theory
      • Academic Writings
      • Active & Works
          • Visser, A. (1998) Preliminary Notes on Interpretability Logic
          • Baltag, A. (2016), To Know is to Know the Value of a Variable
          • Dzhaparidze, G. (1993), A generalized notion of weak interpretability and the corresponding modal logic
          • Leitgeb, H., Ladyman, J. (2007), Criteria of Identity and Structuralist Ontology
          • Halvorson, H. (2012), What Scientific Theories Could not Be
          • Halvorson, H. (2013), The semantic view, if plausible, is syntactic
          • Halvorson, H. (2015), Morita Equivalence
          • Halvorson, H., Barrett, T. (2015), Glymour and Quine on Theoretical Equivalence
          • Halvorson, H., Tsementzis, D. (2015), Categories of Scientific Theories
          • Hans Halvorson
          • Helmut Schwichtenberg
          • Horsten, L. (2010), Having an Interpretation
          • Horsten, L. (2019), The Metaphysics and Mathematics of Arbitrary Objects
          • Leon Horsten
          • Cohen, M., Tang, W., Wang, Y. (2021), De Re Updates
          • Grimmer, D., Cinti, E., Jaksland, R. (forthcoming) Duality, Underdetermination, and the Uncommon Common Core
          • Kunen, K. (2011), Set Theory
          • Russell, G. (2018), Logical Nihilism Could There Be No Logic?
          • Wang, Y., Wei, Y., Seligman, J. (2022), Quantifier-free epistemic term-modal logic with assignment operator
          • Saul Kripke
          • Quine, V.W. (1951), Two Dogmas
          • Quine, V.W. (1970), Philosophy of Logic
        • Authors
        • Lecture Notes
      • Notes & Papers
            • Blowgun Games
            • Infected
            • Infected (IT)
              • Business Segments
              • Renovation Work
              • Smart Home
            • House Choice
                • Apartment Floor
                • Apartment Internal Design
                • Apartment Paint
                • Customer Breakfast
                • Customer Welcoming
                • Daily Apartment Cleaning
                • Daily Business Segments Advertising
                • Daily Cooking
                • Daily Financial Data Update
                • External Wood-Fired BBQ
                • Fence Installation
                • Furniture Renovation
                • Garden & External Desgin
                • Garden Maintainance
                • Heating Wood Collection and Storage
                • Heavy Gardening & Terra Forming
                • Kitchen Renovation
                • Mediatic Presence
                • Tavern Ceiling
                • Tavern Design
                • Tavern Floor
                • Traditional Wood-Fired Oven
                • 🏡 Ligurian Mountains: House Renovation - Seeking Volunteers!
              • Legal Constrains on Volunteers
              • Volunteers
            • Task Management
          • Calendar
          • Coliving Liguria
            • ADT Forze Armate
            • Futura
            • Futura Abstract and Spacial Logic Quizzes
            • Futura Math Didactic Document
            • Futura Military
            • Futura Tutor
        • Airbnb Market Analysis Code
        • House Purchase Code
        • LaTeX Commands
      • ExAcademia
        • Availability
        • Comments
        • Contacts
        • Payment Methods
      • Condensed Biography
      • Documents
      • Horreum
    Home

    ❯

    1. Active and Works

    ❯

    Master

    ❯

    5th Semester

    ❯

    A Topological Approach to Infinite Disjunctions

    A Topological Approach to Infinite Disjunctions

    Feb 04, 20251 min read

    I wrote this essay during my 5th Semester at the ILLC Amsterdam for the course Philosophy of Logic (Lecture). The essay is made available at Overleaf: A Topological Approach to Infinite Disjunctions. I have been influenced for the topic of this essay by the course Topology, Logic and Learning (Lecture) by Alexandru Baltag. This essay can both be regarded as part of Philosophy of Mathematics and Logic and of Formal Epistemology.


    Graph View

    Backlinks

    • Finishing the Fifth Semester, Deadlines and Priorities
    • Last Steps to Finish the MoL in one Year
    • Philosophy of Logic (Lecture)
    • Index of Master Works

    Created with Quartz v4.3.0 © 2025

    • GitHub
    • Discord Community