Pages that link to "Item:Q4902770"
From MaRDI portal
The following pages link to Fifty years of the spectrum problem: survey and new results (Q4902770):
Displaying 11 items.
- Some remarks on real numbers induced by first-order spectra (Q306827) (← links)
- Some thoughts on computational models: from massive human computing to abstract state machines, and beyond (Q2117588) (← links)
- Partially definable forcing and bounded arithmetic (Q2257103) (← links)
- Pseudofinite formulae (Q2700059) (← links)
- Logics of Finite Hankel Rank (Q2947177) (← links)
- On the Variable Hierarchy of First-Order Spectra (Q2957699) (← links)
- Andrzej Mostowski and the Notion of a Model (Q4611699) (← links)
- (Q4643954) (← links)
- Axiomatizing Rectangular Grids with no Extra Non-unary Relations (Q4988942) (← links)
- Spectra and satisfiability for logics with successor and a unary function (Q5109229) (← links)
- Regular Graphs and the Spectra of Two-Variable Logic with Counting (Q5258916) (← links)
