Discussion on question by Magemathician: Is pulling out existential quantifier from an implication constructively valid?

general stars conversations schedule feeds 3 access

Discussion on question by Magemathician: Is pulling out existential quantifier from an implication constructively valid?

$Mathematics$

Imported from a comment discussion on https://math.stackexchange.com/questions/4997637/is-pulling-out-existential-quantifier-from-an-implication-constructively-valid

axiom-of-choice constructive-mathematics intuitionistic-logic logic

first message	2024-11-13
last message	87 days ago

join this room
view transcript

Owners of this room

currently in room frequently in room