MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462)
From MaRDI portal
scientific article; zbMATH DE number 7691759
Language | Label | Description | Also known as |
---|---|---|---|
English | MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE |
scientific article; zbMATH DE number 7691759 |
Statements
MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (English)
0 references
5 June 2023
0 references
satisfaction classes
0 references
reflection principles
0 references
global reflection principle
0 references
axiomatic theories of truth
0 references