The following pages link to Wim Ruitenburg (Q190250):
Displaying 24 items.
- Simple axioms that are obviously true in \(\mathbb{N}\) (Q487218) (← links)
- Very intuitionistic theories and quantifier elimination (Q487231) (← links)
- Quantifier elimination for a class of intuitionistic theories (Q948760) (← links)
- Inequality in constructive mathematics (Q1182691) (← links)
- Products of idempotent matrices over Hermite domains (Q1207708) (← links)
- A course in constructive algebra (Q1210701) (← links)
- Intuitionistic axiomatizations for bounded extension Kripke models. (Q1412839) (← links)
- Latarres, lattices with an arrow (Q1790604) (← links)
- Basic logic, K4, and persistence (Q1970919) (← links)
- Chainability and Hemmingsen's theorem (Q2502968) (← links)
- (Q3296117) (← links)
- (Q3674655) (← links)
- On the period of sequences (<i>A<sup>n</sup>(p)</i>) in intuitionistic propositional calculus (Q3724305) (← links)
- (Q3758944) (← links)
- (Q3910519) (← links)
- (Q3975244) (← links)
- (Q3987175) (← links)
- Basic Propositional Calculus I (Q4210835) (← links)
- Notions of relative ubiquity for invariant sets of relational structures (Q5202998) (← links)
- Kripke submodels and universal sentences (Q5293202) (← links)
- Basic predicate calculus (Q5937805) (← links)
- Basic propositional calculus. II: Interpolation (Q5945567) (← links)
- Boolean algebras in Visser algebras (Q5963204) (← links)
- Kolmogorov and Kuroda translations into basic predicate logic (Q6639557) (← links)
