The following pages link to Peter M. Schuster (Q591967):
Displaying 50 items.
- (Q273002) (redirect page) (← links)
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- The Gröbner ring conjecture in one variable (Q415466) (← links)
- A predicative completion of a uniform space (Q424538) (← links)
- Some axioms for constructive analysis (Q453178) (← links)
- On the contrapositive of countable choice (Q627434) (← links)
- A very weak Nullstellensatz over Heyting fields (Q698628) (← links)
- Binary refinement implies discrete exponentiation (Q861570) (← links)
- Ideals in constructive Banach algebra theory (Q864422) (← links)
- Classifying Dini's theorem (Q867406) (← links)
- The basic Zariski topology (Q887823) (← links)
- Apartness, compactness and nearness (Q949606) (← links)
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- The shrinking principle and the axiom of choice (Q996085) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Identifying variable points on a smooth curve (Q1382623) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- Ishihara's proof technique in constructive analysis (Q1433041) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem (Q1734272) (← links)
- Spreads and choice in constructive mathematics. (Q1866471) (← links)
- Linear independence without choice (Q1964016) (← links)
- Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- Are there enough injective sets? (Q2377052) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- A simple constructive proof of Kronecker's density theorem (Q2461422) (← links)
- A nilregular element property (Q2487024) (← links)
- Quasi-apartness and neighbourhood spaces (Q2498913) (← links)
- Strong continuity implies uniform sequential continuity (Q2573727) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- (Q2752158) (← links)
- (Q2753696) (← links)
- Induction in Algebra: a First Case Study (Q2848365) (← links)
- A Direct Proof of Wiener’s Theorem (Q2904419) (← links)
- Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis (Q2917329) (← links)
- APPROXIMATING BEPPO LEVI’S <i>PRINCIPIO DI APPROSSIMAZIONE</i> (Q2925330) (← links)
- Induction in Algebra: A First Case Study (Q2986836) (← links)
- (Q3075214) (← links)
- Noetherian orders (Q3081324) (← links)
- Uniqueness, continuity and the existence of implicit functions in constructive analysis (Q3092479) (← links)
- (Q3144618) (← links)
- The Kripke schema in metric topology (Q3144876) (← links)
- Minima and best approximations in constructive analysis (Q3145962) (← links)
- Unique paths as formal points (Q3145963) (← links)
- A Constructive Uniform Continuity Theorem (Q3148703) (← links)
