Pages that link to "Item:Q1288078"

The following pages link to Strong \(\Delta_1\)-definability of a model in an admissible set (Q1288078):

Displaying 2 items.

• \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) (Q2300935) (← links)
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)