<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>https://dimenerno.github.io/404.html</loc>
<lastmod>2026-02-23T16:45:25+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/about/</loc>
<lastmod>2024-01-01T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/archive-date/</loc>
<lastmod>2024-02-02T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/archive-tag/</loc>
<lastmod>2024-03-03T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/random/</loc>
<lastmod>2024-04-04T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/book/</loc>
<lastmod>2024-05-05T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/notes/</loc>
<lastmod>2024-06-06T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/guestbook/</loc>
<lastmod>2024-07-07T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/11/17/bell-rocket/en</loc>
<lastmod>2024-11-17T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/11/17/bell-rocket</loc>
<lastmod>2024-11-17T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/11/18/ZFC/en</loc>
<lastmod>2024-11-18T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/11/18/ZFC</loc>
<lastmod>2024-11-18T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/11/19/CSB/en</loc>
<lastmod>2024-11-19T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/11/19/CSB</loc>
<lastmod>2024-11-19T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/11/20/Rational-Real/en</loc>
<lastmod>2024-11-20T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/11/20/Rational-Real</loc>
<lastmod>2024-11-20T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/11/21/trichotomy/en</loc>
<lastmod>2024-11-21T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/11/21/trichotomy</loc>
<lastmod>2024-11-21T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/01/baire/en</loc>
<lastmod>2024-12-01T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/01/baire</loc>
<lastmod>2024-12-01T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/01/net/en</loc>
<lastmod>2024-12-01T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/01/net</loc>
<lastmod>2024-12-01T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/05/transfinite-recursion/en</loc>
<lastmod>2024-12-05T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/05/transfinite-recursion</loc>
<lastmod>2024-12-05T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/11/VL-axiom/en</loc>
<lastmod>2024-12-11T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/11/VL-axiom</loc>
<lastmod>2024-12-11T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/11/rolling/en</loc>
<lastmod>2024-12-11T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/11/rolling</loc>
<lastmod>2024-12-11T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/16/adjoints/en</loc>
<lastmod>2024-12-16T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/16/adjoints</loc>
<lastmod>2024-12-16T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/25/Cantor-Bendixson/en</loc>
<lastmod>2024-12-25T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/25/Cantor-Bendixson</loc>
<lastmod>2024-12-25T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/26/uncountability-of-reals/en</loc>
<lastmod>2024-12-26T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2024/12/26/uncountability-of-reals</loc>
<lastmod>2024-12-26T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/01/07/reference-1/en</loc>
<lastmod>2025-01-07T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/01/07/reference-1</loc>
<lastmod>2025-01-07T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/01/13/reference-2/en</loc>
<lastmod>2025-01-13T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/01/13/reference-2</loc>
<lastmod>2025-01-13T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/01/18/reference-3/en</loc>
<lastmod>2025-01-18T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/01/18/reference-3</loc>
<lastmod>2025-01-18T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/01/22/hypernaturals/en</loc>
<lastmod>2025-01-22T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/01/22/hypernaturals</loc>
<lastmod>2025-01-22T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/01/25/los/en</loc>
<lastmod>2025-01-25T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/01/25/los</loc>
<lastmod>2025-01-25T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/01/25/beta-function/en</loc>
<lastmod>2025-01-25T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/01/25/beta-function</loc>
<lastmod>2025-01-25T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/05/order/en</loc>
<lastmod>2025-02-05T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/05/order</loc>
<lastmod>2025-02-05T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/07/arithmetic-hierarchy/en</loc>
<lastmod>2025-02-07T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/07/arithmetic-hierarchy</loc>
<lastmod>2025-02-07T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/09/godel-lucas-penrose/en</loc>
<lastmod>2025-02-09T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/09/godel-lucas-penrose</loc>
<lastmod>2025-02-09T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/13/three-definitions-of-adjoint/en</loc>
<lastmod>2025-02-13T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/13/three-definitions-of-adjoint</loc>
<lastmod>2025-02-13T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/13/spectral-theorem/en</loc>
<lastmod>2025-02-13T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/13/spectral-theorem</loc>
<lastmod>2025-02-13T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/20/ramsey/en</loc>
<lastmod>2025-02-20T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/20/ramsey</loc>
<lastmod>2025-02-20T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/24/algebra-measure/en</loc>
<lastmod>2025-02-24T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/24/algebra-measure</loc>
<lastmod>2025-02-24T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/25/caratheodory/en</loc>
<lastmod>2025-02-25T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/25/caratheodory</loc>
<lastmod>2025-02-25T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/25/lebesgue-borel/en</loc>
<lastmod>2025-02-25T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/25/lebesgue-borel</loc>
<lastmod>2025-02-25T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/27/euler-lagrange/en</loc>
<lastmod>2025-02-27T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/27/euler-lagrange</loc>
<lastmod>2025-02-27T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/27/general-covariance/en</loc>
<lastmod>2025-02-27T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/02/27/general-covariance</loc>
<lastmod>2025-02-27T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/03/04/tensor/en</loc>
<lastmod>2025-03-04T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/03/04/tensor</loc>
<lastmod>2025-03-04T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/03/10/temporal-logic/en</loc>
<lastmod>2025-03-10T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/03/10/temporal-logic</loc>
<lastmod>2025-03-10T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/03/12/what-is-a-theory-of-truth/en</loc>
<lastmod>2025-03-12T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/03/12/what-is-a-theory-of-truth</loc>
<lastmod>2025-03-12T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/03/18/quanitfying-in/en</loc>
<lastmod>2025-03-18T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/03/18/quanitfying-in</loc>
<lastmod>2025-03-18T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/03/21/yoneda/en</loc>
<lastmod>2025-03-21T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/03/21/yoneda</loc>
<lastmod>2025-03-21T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/01/modal-logic/en</loc>
<lastmod>2025-04-01T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/01/modal-logic</loc>
<lastmod>2025-04-01T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/02/box-v-product/en</loc>
<lastmod>2025-04-02T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/02/box-v-product</loc>
<lastmod>2025-04-02T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/04/van-kampen/en</loc>
<lastmod>2025-04-04T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/04/van-kampen</loc>
<lastmod>2025-04-04T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/10/completeness-theorem/en</loc>
<lastmod>2025-04-10T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/10/completeness-theorem</loc>
<lastmod>2025-04-10T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/17/los-tarski/en</loc>
<lastmod>2025-04-17T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/17/los-tarski</loc>
<lastmod>2025-04-17T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/18/prisoner-hat/en</loc>
<lastmod>2025-04-18T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/18/prisoner-hat</loc>
<lastmod>2025-04-18T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/20/cardinality/en</loc>
<lastmod>2025-04-20T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/20/cardinality</loc>
<lastmod>2025-04-20T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/24/continuum-coloring/en</loc>
<lastmod>2025-04-24T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/04/24/continuum-coloring</loc>
<lastmod>2025-04-24T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/01/elementary-embedding/en</loc>
<lastmod>2025-05-01T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/01/elementary-embedding</loc>
<lastmod>2025-05-01T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/04/regular-singular/en</loc>
<lastmod>2025-05-04T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/04/regular-singular</loc>
<lastmod>2025-05-04T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/08/robinson-craig/en</loc>
<lastmod>2025-05-08T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/08/robinson-craig</loc>
<lastmod>2025-05-08T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/09/resiliency/en</loc>
<lastmod>2025-05-09T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/09/resiliency</loc>
<lastmod>2025-05-09T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/13/saturation/en</loc>
<lastmod>2025-05-13T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/13/saturation</loc>
<lastmod>2025-05-13T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/15/quantifier-elimination/en</loc>
<lastmod>2025-05-15T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/15/quantifier-elimination</loc>
<lastmod>2025-05-15T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/16/stone-space-compactness/en</loc>
<lastmod>2025-05-16T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/16/stone-space-compactness</loc>
<lastmod>2025-05-16T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/26/quine-two-dogmas/en</loc>
<lastmod>2025-05-26T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/05/26/quine-two-dogmas</loc>
<lastmod>2025-05-26T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/06/02/wittgenstein-conant/en</loc>
<lastmod>2025-06-02T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/06/02/wittgenstein-conant</loc>
<lastmod>2025-06-02T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/06/02/notes-on-continuity/en</loc>
<lastmod>2025-06-02T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/06/02/notes-on-continuity</loc>
<lastmod>2025-06-02T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/06/06/zizek-soft-facism/en</loc>
<lastmod>2025-06-06T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/06/06/zizek-soft-facism</loc>
<lastmod>2025-06-06T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/06/12/italian-game</loc>
<lastmod>2025-06-12T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/06/17/kafka-blue-octavos/en</loc>
<lastmod>2025-06-17T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/06/17/kafka-blue-octavos</loc>
<lastmod>2025-06-17T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/07/03/kripkenstein/en</loc>
<lastmod>2025-07-03T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/07/03/kripkenstein</loc>
<lastmod>2025-07-03T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/07/09/urysohn/en</loc>
<lastmod>2025-07-09T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/07/09/urysohn</loc>
<lastmod>2025-07-09T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/07/10/stone-cech/en</loc>
<lastmod>2025-07-10T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/07/10/stone-cech</loc>
<lastmod>2025-07-10T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/07/18/boolean-algebra/en</loc>
<lastmod>2025-07-18T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/07/18/boolean-algebra</loc>
<lastmod>2025-07-18T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/07/21/private-language/en</loc>
<lastmod>2025-07-21T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/07/21/private-language</loc>
<lastmod>2025-07-21T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/08/08/pork-and-salmon/en</loc>
<lastmod>2025-08-08T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/08/08/pork-and-salmon</loc>
<lastmod>2025-08-08T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/08/11/tychonoff-with-ultrafilter/en</loc>
<lastmod>2025-08-11T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/08/11/tychonoff-with-ultrafilter</loc>
<lastmod>2025-08-11T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/09/11/robinson-test/en</loc>
<lastmod>2025-09-11T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/09/11/robinson-test</loc>
<lastmod>2025-09-11T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/09/13/natural-teleology-and-logic/en</loc>
<lastmod>2025-09-13T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/09/13/natural-teleology-and-logic</loc>
<lastmod>2025-09-13T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/09/14/alien-natural-numbers/en</loc>
<lastmod>2025-09-14T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/09/14/alien-natural-numbers</loc>
<lastmod>2025-09-14T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/09/16/cardinal-arithmetics/en</loc>
<lastmod>2025-09-16T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/09/16/cardinal-arithmetics</loc>
<lastmod>2025-09-16T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/09/25/ch-for-borel/en</loc>
<lastmod>2025-09-25T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/09/25/ch-for-borel</loc>
<lastmod>2025-09-25T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/11/05/simplicial-homology/en</loc>
<lastmod>2025-11-05T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/11/05/simplicial-homology</loc>
<lastmod>2025-11-05T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/11/07/mathematics-morality-evolution%20copy/en</loc>
<lastmod>2025-11-07T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/11/07/mathematics-morality-evolution</loc>
<lastmod>2025-11-07T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/11/11/stationary-sets/en</loc>
<lastmod>2025-11-11T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/11/11/stationary-sets</loc>
<lastmod>2025-11-11T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/11/23/euler-poincare/en</loc>
<lastmod>2025-11-23T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/11/23/euler-poincare</loc>
<lastmod>2025-11-23T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/12/26/suslin/en</loc>
<lastmod>2025-12-26T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/12/26/suslin</loc>
<lastmod>2025-12-26T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/12/27/distributive-law/en</loc>
<lastmod>2025-12-27T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2025/12/27/distributive-law</loc>
<lastmod>2025-12-27T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2026/01/15/measure-problem/en</loc>
<lastmod>2026-01-15T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2026/01/15/measure-problem</loc>
<lastmod>2026-01-15T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2026/01/26/categorical-trace/en</loc>
<lastmod>2026-01-26T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2026/01/26/categorical-trace</loc>
<lastmod>2026-01-26T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2026/01/28/forcing/en</loc>
<lastmod>2026-01-28T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2026/01/28/forcing</loc>
<lastmod>2026-01-28T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2026/02/23/quantum-locality/en</loc>
<lastmod>2026-02-23T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/2026/02/23/quantum-locality</loc>
<lastmod>2026-02-23T00:00:00+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/temp/2025-03-05-hole-argument/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/temp/2025-03-19-quantifying-in-2/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/temp/2025-07-05-converging-subnet/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/temp/2025-07-07-essay-on-kripke/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/temp/2025-07-22-discrete-stone-space/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/temp/2025-08-01-compactness-los/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/temp/2025-12-02-galois/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/search.html</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/physics/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/relativity/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EB%AC%BC%EB%A6%AC%ED%95%99/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%83%81%EB%8C%80%EB%A1%A0/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/mathematics/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/set-theory/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%88%98%ED%95%99/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%A7%91%ED%95%A9%EB%A1%A0/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/topology/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%9C%84%EC%83%81%EC%88%98%ED%95%99/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/mechanics/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%97%AD%ED%95%99/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/category-theory/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EB%B2%94%EC%A3%BC%EB%A1%A0/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/philosophy/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/philosophy-of-language/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%B2%A0%ED%95%99/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%96%B8%EC%96%B4%EC%B2%A0%ED%95%99/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/logic/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EB%85%BC%EB%A6%AC%ED%95%99/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/algebra/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EB%8C%80%EC%88%98%ED%95%99/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/combinatorics/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%A1%B0%ED%95%A9%EB%A1%A0/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/measure-theory/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%B8%A1%EB%8F%84%EB%A1%A0/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/model-theory/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EB%AA%A8%EB%8D%B8%EB%A1%A0/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/humanities/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%9D%B8%EB%AC%B8%ED%95%99/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%B2%B4%EC%8A%A4/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/essay/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%97%90%EC%84%B8%EC%9D%B4/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/quantum-mechanics/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/tags/%EC%96%91%EC%9E%90%EC%97%AD%ED%95%99/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page2/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page3/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page4/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page5/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page6/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page7/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page8/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page9/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page10/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page11/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page12/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page13/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page14/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page15/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/page16/</loc>
</url>
<url>
<loc>https://dimenerno.github.io/public/Boghossian,%20The%20Rule-Following%20Considerations.pdf</loc>
<lastmod>2025-09-05T18:45:57+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/Functionalism.pdf</loc>
<lastmod>2025-09-05T18:45:57+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/Jeongdam%20Choi%20-%20CV.pdf</loc>
<lastmod>2025-12-22T14:43:11+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/Kripke%20-%20Wittgenstein%20On%20Rules%20and%20Private%20Language.pdf</loc>
<lastmod>2025-06-17T12:13:06+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/Miller,%20Philosophy%20of%20Language.pdf</loc>
<lastmod>2025-09-05T18:45:57+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/On%20the%20question%20of%20whether%20the%20mind%20can%20be%20mechanized%201.pdf</loc>
<lastmod>2025-04-24T12:11:33+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/Quantifying%20In.pdf</loc>
<lastmod>2025-04-24T12:11:33+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/Quine%20-%20From%20a%20Logical%20Point%20of%20View.pdf</loc>
<lastmod>2025-06-16T12:09:08+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/Quine%20on%20Alternative%20Logics.pdf</loc>
<lastmod>2025-04-24T12:11:33+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/Search%20for%20Logically%20Alien%20Thought.pdf</loc>
<lastmod>2025-06-04T14:39:24+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/Topology%20and%20Modern%20Analysis.pdf</loc>
<lastmod>2025-09-05T18:45:57+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/Tractatus%20Logico-Philosophicus.pdf</loc>
<lastmod>2025-09-05T18:45:57+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/What%20is%20a%20Theory%20of%20Truth.pdf</loc>
<lastmod>2025-04-24T12:11:33+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/natural_teleology_and_logic.pdf</loc>
<lastmod>2025-12-22T14:46:42+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/%EA%B5%B0%EB%A1%A0%20%EB%B3%B5%EC%8A%B5%EB%85%B8%ED%8A%B8.pdf</loc>
<lastmod>2025-06-01T12:39:02+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/%EB%85%BC%EB%A6%AC%ED%95%99%20%EB%B0%8F%20%EC%96%B8%EC%96%B4%EC%B2%A0%ED%95%99%20%EB%B3%B5%EC%8A%B5%EB%85%B8%ED%8A%B8.pdf</loc>
<lastmod>2025-06-01T12:39:02+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/%EB%8C%80%EC%88%98%EC%9C%84%EC%83%81%20%EB%B3%B5%EC%8A%B5%EB%85%B8%ED%8A%B8.pdf</loc>
<lastmod>2025-06-01T12:39:02+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/%EB%B2%94%EC%A3%BC%EB%A1%A0%20%EB%B3%B5%EC%8A%B5%EB%85%B8%ED%8A%B8.pdf</loc>
<lastmod>2025-06-01T12:39:02+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/%EC%84%A0%ED%98%95%EB%8C%80%EC%88%98%ED%95%99%20%EB%B3%B5%EC%8A%B5%EB%85%B8%ED%8A%B8.pdf</loc>
<lastmod>2025-06-01T12:39:02+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/%EC%9D%BC%EB%B0%98%EC%9C%84%EC%83%81%20%EB%B3%B5%EC%8A%B5%EB%85%B8%ED%8A%B8.pdf</loc>
<lastmod>2025-06-01T12:39:02+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/%EC%B2%B4%EB%A1%A0%20%EB%B3%B5%EC%8A%B5%EB%85%B8%ED%8A%B8.pdf</loc>
<lastmod>2025-06-01T12:39:02+09:00</lastmod>
</url>
<url>
<loc>https://dimenerno.github.io/public/%EC%B8%A1%EB%8F%84%EB%A1%A0%20%EB%B3%B5%EC%8A%B5%EB%85%B8%ED%8A%B8.pdf</loc>
<lastmod>2025-06-01T12:39:02+09:00</lastmod>
</url>
</urlset>
