3 problems

0 votes0 replies0 views
Conjecture on powerful definitional principles representing larger ordinals
The paper considers powerful definitional principles, including simultaneous inductive-recursive definitions and higher inductive types, which may be combined to construct ordinal…
Conjectureopenordinal-notation-systems program-verification type-theoryarXiv posted 2 days ago
0 votes0 replies0 views
Conjecture on applications of infinite mutual coinduction to quantum computing
The paper considers infinite mutual coinduction as a generalization of mutual coinduction involving an infinite, possibly countable or uncountable, number of orderings and generato…
Conjectureopencoinduction program-verification quantum-computingarXiv posted 2 days ago
0 votes0 replies0 views
Henkin-style second-order expressibility conjecture for NDL
Let $NDL$ be the generalized dynamic logic discussed in the paper, and let Henkin-style second-order logic (HSOL) be the corresponding Henkin semantics for second-order logic. A pr…
Conjectureopendynamic-logic program-verification second-order-logicarXiv posted 2 days ago

Conjecture on powerful definitional principles representing larger ordinals