The following pages link to Robert S. Lubarsky (Q408536):
Displaying 40 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 constructive Dedekind reals (Q1000868) (← links)
- Lattices of c-degrees (Q1095901) (← links)
- Admissibility spectra through \(\omega _ 1\) (Q1097878) (← links)
- Another extension of Van de Wiele's theorem (Q1102277) (← links)
- Playing with admissibility spectra (Q1111551) (← links)
- Admissibility spectra and minimality (Q1112022) (← links)
- Instantiation theory. On the foundations of automated deduction (Q1202066) (← links)
- Sequential and parallel enumeration (Q1312715) (← links)
- Nonstandard analysis (Q1318872) (← links)
- Induction and foundation in the theory of hereditarily finite sets (Q1330312) (← links)
- On the \(\pi\)-calculus and linear logic (Q1342247) (← links)
- (Q1709696) (redirect page) (← links)
- Notions of Cauchyness and metastability (Q1709697) (← links)
- Separating the fan theorem and its weakenings. II (Q1709705) (← links)
- Independence results around constructive ZF (Q1765158) (← links)
- On the necessity of some topological spaces (Q2104265) (← links)
- Feedback hyperjump (Q2177585) (← links)
- CZF and second order arithmetic (Q2498896) (← links)
- Principles Weaker than BD-N (Q2869905) (← links)
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS (Q2933676) (← links)
- SEPARATING FRAGMENTS OF WLEM, LPO, AND MP (Q2976334) (← links)
- Simple r. e. degree structures (Q3029000) (← links)
- Zero sets of univariate polynomials (Q3065753) (← links)
- (Q3081648) (← links)
- The Kripke schema in metric topology (Q3144876) (← links)
- Signed-bit representations of real numbers (Q3145944) (← links)
- Geometric spaces with no points (Q3145952) (← 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)
