🪴 Quartz 4.0
Search
Search
Dark mode
Light mode
Explorer
1. Active & Works
Academic Diary
2023
Bachelors' Outline
2024
Diary
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
Master of Logic
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
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
Bachelor
1st Semester
Philosophy
Essays
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
2nd Semester
Mathematics
Lecture Notes
Advanced Set Theory (Lecture)
Analysis II (Lecture)
Linear Algebra II (Lecture)
Model Theory (Lecture)
Philosophy
Essays
An Historical Discourse on Phenomenological Platonism
From the ἕν to the Universe of Sets
Reality is a Word
Other Works
Nonsense in a Phenomenal Subject
Realism&Causality
2nd Semester
3rd Semester
Mathematics
Algebra (Lecture)
Analysis III (Lecture)
Constructive Analysis (Lecture)
Programming II (Lecture)
Stochastic (Lecture)
Philosophy
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
4th Semester
Mathematics
Commutative Algebra (Lecture)
Philosophy
Axiomatic Metaphysics (Lecture)
Ethics (Lecture)
Logic II (Lecture)
Mathematical Philosophical Colloquium
Questions & Other Works
First Thesis Concept
Mathematics First Thesis Concept
Algebra on Worlds
Mathematics First Thesis Concept
Philosophy First Thesis Concept
Philosophy First Thesis Concept
Structuralism
Appendix of the Thesis
First Bachelor Thesis Concept
Axiom of Strong Negation of Undefinable Choice
Thesis
B.A. Philosophy Thesis
B.Sc. Mathematics Thesis
Bachelor Thesis
4th Semester
B.A. Philosophy (LMU)
B.Sc. Mathematics (LMU)
Index of Bachelor Works
Master
5th Semester
Research Project
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
6th Semester
Logic and Probability (Lecture)
Master Thesis
Model Theory bis (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)
Research Areas
Algebra
Category Theory
Formal Cognitive Sciences
Formal Epistemology
Modal Logic
Model Theory
Research Areas
Research Experience
Set Theory
Academic Writings
Active & Works
2. Notes & Papers
Authors
Albert Visser
Visser, A. (1998) Preliminary Notes on Interpretability Logic
Alexandru Baltag
Baltag, A. (2016), To Know is to Know the Value of a Variable
Giorgie Dzhaparidze
Dzhaparidze, G. (1993), A generalized notion of weak interpretability and the corresponding modal logic
Hannes Leitgeb
Leitgeb, H., Ladyman, J. (2007), Criteria of Identity and Structuralist Ontology
Hans Halvorson
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
Helmut Schwichtenberg
Leon Horsten
Horsten, L. (2010), Having an Interpretation
Horsten, L. (2019), The Metaphysics and Mathematics of Arbitrary Objects
Leon Horsten
Others
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
Saul Kripke
W. V. Quine
Quine, V.W. (1951), Two Dogmas
Quine, V.W. (1970), Philosophy of Logic
Authors
Lecture Notes
Lecture Notes
Notes & Papers
3. ExAcademia
Health
Sports
Blowgun Games
Blowgun Games
Infected
Infected (IT)
Network
Not Found
Personal Finance
Financial Ideas
2024
House Purchase Code
Jobs
Futura
ADT Forze Armate
Futura
Futura Abstract and Spacial Logic Quizzes
Futura Math Didactic Document
Futura Military
Futura Tutor
Programs
LaTeX Commands
ExAcademia
4. System
Contacts
Availability
Comments
Contacts
Payment Methods
Condensed Biography
Documents
Horreum
Home
❯
1. Active and Works
❯
Bachelor
❯
2nd Semester
❯
Mathematics
❯
Lecture Notes
Folder: 1.-Active--and--Works/Bachelor/2nd-Semester/Mathematics/Lecture-Notes
4 items under this folder.
May 18, 2025
Model Theory (Lecture)
May 18, 2025
Linear Algebra II (Lecture)
UniKonstanz
2nd_Semester
May 18, 2025
Analysis II (Lecture)
UniKonstanz
2nd_Semester
May 18, 2025
Advanced Set Theory (Lecture)