Pages that link to "Item:Q2318170"
From MaRDI portal
The following pages link to On decidability and axiomatizability of some ordered structures (Q2318170):
Displaying 12 items.
- A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
- \(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\) (Q782563) (← links)
- The common order-theoretic structure of version spaces and ATMSs (Q1389537) (← links)
- Axiomatic (and non-axiomatic) mathematics (Q2080664) (← links)
- On the well-foundedness of adequate orders used for construction of complete unfolding prefixes (Q2380011) (← links)
- Generalized ordinal sums and the decidability of BL-chains (Q2577686) (← links)
- EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS (Q2976377) (← links)
- (Q3377764) (← links)
- (Q4895482) (← links)
- (Q4986517) (← links)
- A generalization of the Keisler‐Morley theorem to recursively saturated ordered structures (Q5293198) (← links)
- On ordering and multiplication of natural numbers (Q5928309) (← links)
