jerrylicious

jerrylicious pushed to main at jerrylicious/garden

2026-07-01 01:32:53 +02:00

1f9e0bea78 Added extremely disconnected spaces.

jerrylicious pushed to main at jerrylicious/garden

2026-06-30 22:48:00 +02:00

36f5b22042 Added localisable order completeness.

60544ea6a0 Added some spectrum gruntwork.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-30 20:14:54 +02:00

e19a5e3ad0 Swapped in vocabulary.

8090f060d3 Added local L^p spaces.

98127388ec Retracted localisable version of Radon-Nikodym.

Compare 3 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-30 03:30:01 +02:00

baa048507b Added the localisable version of the radon-nikodym theorem.

jerrylicious pushed to main at jerrylicious/garden

2026-06-30 03:08:07 +02:00

1ab81b49bc RETRACTION ON LCH EMBARRASSING TYPO

38099f1b19 Added elements of localisable measures.

831acc66cc Added gluing for measures in terms of scaffoldings.

26c4bbbb51 LCH typo fix?

Compare 4 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 23:44:10 +02:00

ff22fad2f8 Updated the existing system to accomodate scaffolds.

3ba0eee08d Introduced scaffold to localisable measure spaces.

671e8984c7 Added the scaffold.

a11cfe4e04 Book keeping.

Compare 4 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 18:37:14 +02:00

65a2b4cef4 FIxed up lattices.

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 18:28:39 +02:00

d4578960f3 Adjustments added to LCH spaces.

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 05:11:55 +02:00

17154547df More minor adjustments.

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 05:07:26 +02:00

35be74f8af Refined the approximation argument.

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 04:48:22 +02:00

a7904bd32c More typo fix.

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 03:46:14 +02:00

06d3f994f6 Style adjustments in gluing lemma.

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 03:33:08 +02:00

c484cd172b Typo fix.

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 03:30:17 +02:00

5abdf6ab3d Fixed wrong reference.

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 02:48:49 +02:00

8f06eca274 One more remark.

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 02:22:38 +02:00

145f3193be Minor sharpening of statements.

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 02:11:40 +02:00

2423cff867 Minor adjustment.

jerrylicious pushed to main at jerrylicious/garden

2026-06-29 02:10:35 +02:00

3d1e095e82 Fixed typos in the gluing lemma.

4226adf856 Added first darft of gluing lemma for measurable functions.

3a4f4b46e8 Added the theory of admissible approximant functions.

121033cfb6 Fixed label typo.

1d740724b4 Strengthened the simple function approximations.

Compare 7 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-28 04:44:13 +02:00

55bd2e4859 Fixed typo.

d8f56ef537 RETRACTION: SEPARABILITY REQUIRED TO DEFINE CONVERGENCE IN MEASURE

ce52ac4b63 Edited the open preimage functions.

4616ac2861 First draft for open preimage functions.

80f79fb30d Added preimage functions.

Compare 7 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-27 19:17:56 +02:00

968fbe6eba Added the support function.