The following pages link to P.Štěpánek (Q802552):
Displaying 17 items.
- On the \({\mathbb{I}}\)-condition (Q802553) (← links)
- Representation of certain functions under Martin's axiom (Q805611) (← links)
- Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games) (Q805613) (← links)
- Ordinal notations based on a weakly Mahlo cardinal (Q920986) (← links)
- A step semantic system for set theory (Q1065794) (← links)
- Local consistency of arithmetic with an ''attainability'' predicate (Q1075323) (← links)
- Algebraische Konsequenzen des Determiniertheits-Axioms. (Algebraic consequences of the Axiom of Determinacy) (Q1088655) (← links)
- Strong coding (Q1096623) (← links)
- A guide to ``Strong coding'' (Q1096624) (← links)
- A compact representation of proofs (Q1102282) (← links)
- The model \(N=\cup \{L[A]:\) A countable set of ordinals\(\}\) (Q1105592) (← links)
- An analysis of loop checking mechanisms for logic programs (Q1177923) (← links)
- Horn clause programs with polymorphic types: Semantics and resolution (Q1177936) (← links)
- (Q3657430) (← links)
- (Q3773865) (← links)
- Embedding theorems for boolean algebras and consistency results on ordinal definable sets (Q4147975) (← links)
- Boolean matrices, subalgebras and automorphisms of complete Boolean algebras (Q4154908) (← links)
