Pages that link to "Item:Q4205426"
From MaRDI portal
The following pages link to On Extensions of Models of Strong Fragments of Arithmetic (Q4205426):
Displayed 4 items.
- Subsets of models of arithmetic (Q1311429) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Reduction games, provability and compactness (Q5055312) (← links)
- HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? (Q6103456) (← links)