Skip to main content
added 26 characters in body
Source Link
ಠ_ಠ
  • 6k
  • 3
  • 31
  • 52

I'm looking for references on constructive Lie algebra theory, e.g. the sort of theory you could develop in Martin-Löf type theory or internal to some topos with a NNO. Obviously excluded middle is not allowed in this setting, but I'm willing to accept countable choice, but not any (though no stronger choice axioms).

So far, I've found a PhD thesis on this topic from 1990:

Merrin, S. D. (1990). Some constructive results in the theory of Lie algebras (Order No. 9029729). Available from ProQuest Dissertations & Theses Global. (303904437).

I'd also be happy to get some references on Lie algebras from a more computational perspective (even if the author doesn't explicitly use constructive foundations).

I'm looking for references on constructive Lie algebra theory, e.g. the sort of theory you could develop in Martin-Löf type theory or internal to some topos with a NNO. I'm willing to accept countable choice, but not any stronger choice axioms.

So far, I've found a PhD thesis on this topic from 1990:

Merrin, S. D. (1990). Some constructive results in the theory of Lie algebras (Order No. 9029729). Available from ProQuest Dissertations & Theses Global. (303904437).

I'd also be happy to get some references on Lie algebras from a more computational perspective (even if the author doesn't explicitly use constructive foundations).

I'm looking for references on constructive Lie algebra theory, e.g. the sort of theory you could develop in Martin-Löf type theory or internal to some topos with a NNO. Obviously excluded middle is not allowed in this setting, but I'm willing to accept countable choice (though no stronger choice axioms).

So far, I've found a PhD thesis on this topic from 1990:

Merrin, S. D. (1990). Some constructive results in the theory of Lie algebras (Order No. 9029729). Available from ProQuest Dissertations & Theses Global. (303904437).

I'd also be happy to get some references on Lie algebras from a more computational perspective (even if the author doesn't explicitly use constructive foundations).

Source Link
ಠ_ಠ
  • 6k
  • 3
  • 31
  • 52

Constructive theory of Lie algebras

I'm looking for references on constructive Lie algebra theory, e.g. the sort of theory you could develop in Martin-Löf type theory or internal to some topos with a NNO. I'm willing to accept countable choice, but not any stronger choice axioms.

So far, I've found a PhD thesis on this topic from 1990:

Merrin, S. D. (1990). Some constructive results in the theory of Lie algebras (Order No. 9029729). Available from ProQuest Dissertations & Theses Global. (303904437).

I'd also be happy to get some references on Lie algebras from a more computational perspective (even if the author doesn't explicitly use constructive foundations).