Skip to main content
MathOverflow

Return to Question

fixed title
Source Link
YCor
YCor
  • 63.9k
  • 5
  • 187
  • 286

Algebraization of Arithmeticarithmetic and StrongerTtheoriesstronger theories?

IntuistionisticIntuitionistic and classical propositional logic, and even clasicalclassical first order-order logic with identity, have algebraic counterparts. Algebraizable logics, 1989, by Willem J. Blok and Don Pigozzi, is a classical reference.

Is more now known about whether stronger systems are algebraizable?

Algebraization of Arithmetic and StrongerTtheories?

Intuistionistic and classical propositional logic, and even clasical first order logic with identity, have algebraic counterparts. Algebraizable logics, 1989, by Willem J. Blok and Don Pigozzi, is a classical reference.

Is more now known about whether stronger systems are algebraizable?

Algebraization of arithmetic and stronger theories?

Intuitionistic and classical propositional logic, and even classical first-order logic with identity, have algebraic counterparts. Algebraizable logics, 1989, by Willem J. Blok and Don Pigozzi, is a classical reference.

Is more now known about whether stronger systems are algebraizable?

Source Link
Frode Alfson Bjørdal
Frode Alfson Bjørdal
  • 3.6k
  • 1
  • 15
  • 35

Algebraization of Arithmetic and StrongerTtheories?

Intuistionistic and classical propositional logic, and even clasical first order logic with identity, have algebraic counterparts. Algebraizable logics, 1989, by Willem J. Blok and Don Pigozzi, is a classical reference.

Is more now known about whether stronger systems are algebraizable?