The following pages link to P.Štěpánek (Q802552):
Displaying 13 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)
