scientific article

zbMath0487.03032MaRDI QIDQ3947660

Petr Hájek

Publication date: 1981

Full work available at URL: https://eudml.org/doc/17141

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Peano arithmeticfinitely axiomatizable conservative extension of PA with class variables

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items

Bisimulations and bisimulation games between Verbrugge models, Explicit fixed points in interpretability logic, Non-elementary speed-ups in logic calculi, The principles of interpretability