Registry · Definition IV.D267 tau-effective formalized

IV.D267 — Defect bundle (ontic particle)

An ontic particle is a persistent localized defect bundle d subset H_partial[omega] satisfying: (1) persistence under propagation Phi_{n,n+1} for all n >= n_0, (2) localization in a bounded T^2 address neighborhood, and (3) full fiber topology -- both circles of T^2 contribute, distinguishing massive particles from radiation.

Book IV Part 1 Ch. 7

Dependency Graph

Depended on by (74)

IV.P157 IV.P158 IV.P166 IV.T122 IV.T68 IV.T72 IV.P83 IV.P96 IV.P99 IV.P100 IV.P101 IV.P103 IV.P110 IV.T86 IV.P128 IV.P129 IV.P130 IV.P133 IV.P134 IV.P136 IV.T91 IV.T92 IV.P140 IV.P142 IV.T117 IV.P173 IV.T124 IV.T141 IV.P183 IV.T233 IV.T240 IV.T241 IV.T251 IV.T253 IV.T257 IV.T307 IV.T318 IV.T319 IV.T320 IV.T321 IV.T333 IV.T341 IV.T348 IV.T352 IV.T353 IV.T356 IV.T357 IV.T365 IV.T366 IV.T382 IV.P239 IV.P252 IV.P257 IV.P265 IV.P266 IV.P270 IV.P283 IV.P291 IV.P293 IV.P308 IV.P315 IV.P321 IV.P325 IV.P327 IV.P328 IV.P329 IV.P330 IV.P331 IV.P332 IV.P336 IV.P347 IV.P375 IV.P376 IV.P380

Lean Formalization

Module: TauLib.BookIV.Arena.ActorsDynamics