The following pages link to Antonín Sochor (Q195650):
Displaying 49 items.
- Constructibility in higher order arithmetics (Q1313594) (← links)
- Interpretations of the alternative set theory (Q1313595) (← links)
- Classical mathematical logic. (Q2753072) (← links)
- (Q3037425) (← links)
- (Q3141251) (← links)
- (Q3197818) (← links)
- (Q3312217) (← links)
- (Q3474646) (← links)
- (Q3671154) (← links)
- Models of the alternative set theory (Q3689181) (← links)
- Elementary Extensions of Models of the Alternative Set Theory (Q3699685) (← links)
- (Q3708013) (← links)
- (Q3708014) (← links)
- (Q3718708) (← links)
- (Q3765769) (← links)
- (Q3778743) (← links)
- Extendability of Functions on Models of ZFFin (Q3798655) (← links)
- (Q3807190) (← links)
- (Q3807191) (← links)
- (Q3824304) (← links)
- On the linearity of mappings of $E\sb m$ into $E\sb m$ (Q3843284) (← links)
- (Q3861383) (← links)
- (Q3864514) (← links)
- (Q3870884) (← links)
- (Q3870885) (← links)
- (Q3872449) (← links)
- (Q3901511) (← links)
- (Q3955348) (← links)
- (Q3955349) (← links)
- (Q3955350) (← links)
- (Q3955351) (← links)
- Revealed automorphisms (Q3981829) (← links)
- Forcing in the alternative set theory. II (Q3990240) (← links)
- Contributions to the Theory of Semisets II. The theory of semisets and end‐extensions in a syntactic setting (Q4049070) (← links)
- (Q4081248) (← links)
- (Q4091923) (← links)
- Contributions to the theory of semisets V: On the axiom of general collapse (Q4091929) (← links)
- (Q4111561) (← links)
- Contribution to the theory of semisets VI: (Non‐existence of the class of all absolute natural numbers) (Q4111562) (← links)
- (Q4156775) (← links)
- (Q4278001) (← links)
- Choices of Convenient Sets (Q4304149) (← links)
- (Q4814380) (← links)
- EIN DEM FUNDIERUNGSAXIOM ÄQUIVALENTES AXIOM (Q5527836) (← links)
- (Q5553270) (← links)
- (Q5553271) (← links)
- The $\Pi$-process (Q5577067) (← links)
- (Q5613931) (← links)
- Petr Vopěnka (*16. 5. 1935) (Q5940141) (← links)
