The following pages link to Robert S. Lubarsky (Q408536):
Displaying 13 items.
- Topological forcing semantics with settling (Q408537) (← links)
- Elementary epimorphisms between models of set theory (Q506971) (← links)
- (Q688730) (redirect page) (← links)
- On systems of definitions, induction and recursion (Q688731) (← links)
- On the strength of temporal proofs (Q809066) (← links)
- On the failure of BD-ℕ and BD, and an application to the anti-specker property (Q4916541) (← links)
- On the Cauchy Completeness of the Constructive Cauchy Reals (Q4921444) (← links)
- Feedback hyperjump (Q5028309) (← links)
- An introduction to feedback Turing computability (Q5108015) (← links)
- Notions of Cauchyness and metastability (Q5140326) (← links)
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II (Q5207562) (← links)
- On extensions of supercompactness (Q5258483) (← links)
- On the Cauchy completeness of the constructive Cauchy reals (Q5307608) (← links)
