Pages that link to "Item:Q4205426"
From MaRDI portal
The following pages link to On Extensions of Models of Strong Fragments of Arithmetic (Q4205426):
Displaying 7 items.
- On cofinal extensions of models of fragments of arithmetic (Q1182708) (← links)
- 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)
- Preservation of model-theoretic properties of \(\Psi\)-fractions (Q2748857) (← links)
- On cofinal extensions of models of arithmetic (Q3322105) (← links)
- Reduction games, provability and compactness (Q5055312) (← links)
- HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? (Q6103456) (← links)