construction in proof theory
C28854
concept
A construction in proof theory is a systematically defined method or procedure used within formal proofs to build objects, derive new statements, or transform existing proofs while preserving logical validity.
Observed surface forms (7)
| Surface form | Occurrences |
|---|---|
| technique in mathematical logic | 2 |
| correspondence between logic and computation | 1 |
| non-interactive proof transformation technique | 1 |
| proof calculus | 1 |
| proof system | 1 |
| refinement of Gödel’s incompleteness argument | 1 |
| refinement of Gödel’s incompleteness proof | 1 |
Instances (9)
| Instance | Via concept surface |
|---|---|
| Veblen hierarchy | — |
| Henkin construction | technique in mathematical logic |
| forcing (set theory) | technique in mathematical logic |
| Curry–Howard correspondence | correspondence between logic and computation |
| Fiat–Shamir heuristic | non-interactive proof transformation technique |
| sequent calculus | proof calculus |
| Gentzen-style proof systems | proof system |
| Rosser trick | refinement of Gödel’s incompleteness proof |
| Rosser’s trick in incompleteness proofs | refinement of Gödel’s incompleteness argument |