Pages that link to "Item:Q5222538"

From MaRDI portal

← AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538)

Jump to:navigation, search

The following pages link to AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538):

Displaying 3 items.

Local reflection, definable elements and 1-provability (Q2204378) (← links)
HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q5222538"