Pages that link to "Item:Q1264142"
From MaRDI portal
The following pages link to Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties (Q1264142):
Displaying 4 items.
- An axiomatization for until and since over the reals without the IRR rule (Q1207338) (← links)
- A first-order axiomatization of the theory of finite trees (Q1903080) (← links)
- First-order theories of bounded trees (Q2118179) (← links)
- APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES (Q5015724) (← links)
