Show threadUr Ya'ar6d ago

@ruxotves
I prefer to grow mice
https://arxiv.org/html/2109.04523v2#S2

#mice #set_theory

Models for short sequences of measures in the cofinality-𝜔 constructible model

Show threadActive MouseMar 9
@Jose_A_Alonso this very much smells like something mathematicians cooked up to dupe unwitting grant reviewers! I know someone who won a grant in applied maths for her #set_theory research. What was she applying her research to? Why, another branch of set theory of course! Deutsche Telekom had no idea ;)
Describing the relationships of the objects in our domain is something computer programmers do as a matter of course - I'm very skeptical that category theory has anything much to say there, and the article gives no detail. True applied maths just spits out mathematical modelling techniques.
Show threadUr Ya'arAug 5, 2025

@ruxotves
למעשה אחד מתחומי העניין שלי הוא גיאולוגיה תורת-קבוצתית

https://www.sciencedirect.com/science/article/pii/S0168007214001225
https://jdh.hamkins.org/tag/geology/

#set_theory #geology

@tzafrir @nogs8

nopeSep 23, 2023
Tropical Geometry
(2019) : Morrison, Ralph
url: https://arxiv.org/abs/1908.07012v1
#geometry #linear_algebra #set_theory #math #polynomial #tropical_geometry #my_bibtex
Tropical geometry

Tropical mathematics redefines the rules of arithmetic by replacing addition with taking a maximum, and by replacing multiplication with addition. After briefly discussing a tropical version of linear algebra, we study polynomials build with these new operations. These equations define piecewise-linear geometric objects called tropical varieties. We explore these tropical varieties in two and three dimensions, building up discrete tools for studying them and determining their geometric properties. We then discuss the relationship between tropical geometry and algebraic geometry, which considers shapes defined by usual polynomial equations.

arXiv.org
nopeJul 10, 2023
Set Theory and it's Philosophy
(2004) : Potter, Michael
isbn: 0-19-927041-4
#logic #mathematics #hierarchy #set_theory #philosophy #my_bibtex
nopeAug 15, 2022
Tropical Geometry
(2019) : Morrison, Ralph
url: https://arxiv.org/abs/1908.07012v1
#geometry #linear_algebra #math #polynomial #set_theory #tropical_geometry
#my_bibtex
Tropical geometry

Tropical mathematics redefines the rules of arithmetic by replacing addition with taking a maximum, and by replacing multiplication with addition. After briefly discussing a tropical version of linear algebra, we study polynomials build with these new operations. These equations define piecewise-linear geometric objects called tropical varieties. We explore these tropical varieties in two and three dimensions, building up discrete tools for studying them and determining their geometric properties. We then discuss the relationship between tropical geometry and algebraic geometry, which considers shapes defined by usual polynomial equations.

arXiv.org
nopeJul 5, 2022
Homotopy Type Theory: Univalent Foundations of Mathematics
(2013) : The Univalent Foundations Program
url: http://homotopytypetheory.org/book/
#category_theory #math #dependent_types #set_theory #type_theory #homotopy
#my_bibtex
The HoTT Book

Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6″ × 9″ size, hard…

Homotopy Type Theory
pillaristApr 11, 2017
In a standalone instance, connected to zero other instances, is Local Timeline == Federated Timeline? If so, then when connected to other instances, is Federated Timeline == (Local Timeline + the union of Timelines of Remote Follows for all local users)? #timeline #set_theory