Diffractor

In­framea­sures and Do­main Theory

In­fra-Do­main proofs 1

In­fra-Do­main Proofs 2

Dark Matters

Less Ba­sic In­framea­sure Theory

Ba­sic In­framea­sure Theory

Belief Func­tions And De­ci­sion Theory

Proofs Sec­tion 1.1 (Ini­tial re­sults to LF-du­al­ity)

Proofs Sec­tion 1.2 (Mix­tures, Up­dates, Push­for­wards)

Proofs Sec­tion 2.1 (The­o­rem 1, Lem­mas)

Proofs Sec­tion 2.2 (Iso­mor­phism to Ex­pec­ta­tions)

Proofs Sec­tion 2.3 (Up­dates, De­ci­sion The­ory)

In­tro­duc­tion To The In­fra-Bayesi­anism Sequence

Coun­ter­fac­tual In­duc­tion (Lemma 4)

Coun­ter­fac­tual In­duc­tion (Al­gorithm Sketch, Fix­point proof)

Coun­ter­fac­tual Induction

CO2 Strip­per Post­mortem Thoughts

A Brief In­tro to Do­main Theory

So You Want to Colonize The Uni­verse Part 5: The Ac­tual Design

So You Want to Colonize The Uni­verse Part 4: Ve­loc­ity Changes and Energy