Search for dissertations about: "partial conservativity"
Found 1 swedish dissertation containing the words partial conservativity.
-
1. Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility
Abstract : This thesis concerns the incompleteness phenomenon of first-order arithmetic: no consistent, r.e. theory T can prove every true arithmetical sentence. The first incompleteness result is due to Gödel; classic generalisations are due to Rosser, Feferman, Mostowski, and Kripke. READ MORE
Result pages:
1