The following pages link to Pimpen Vejjajiva (Q740208):
Displayed 19 items.
- A note on weakly Dedekind finite sets (Q740210) (← links)
- Abbreviation templates (Q851527) (← links)
- A direct proof of strong normalization for full constructive second-order logic (Q1769440) (← links)
- Extended Curry-Howard terms for second-order logic (Q2856633) (← links)
- A FINITE-TO-ONE MAP FROM THE PERMUTATIONS ON A SET (Q2986592) (← links)
- (Q3025159) (← links)
- Computability Via The Lambda Calculus with Patterns (Q3070573) (← links)
- (Q3384849) (← links)
- A Simple Proof of Silver's Theorem (Q4929367) (← links)
- (Q5025697) (← links)
- Factorials and the finite sequences of sets (Q5108851) (← links)
- Some properties of infinite factorials (Q5109224) (← links)
- Relations between cardinalities of the finite sequences and the finite subsets of a set (Q5109245) (← links)
- The finite subsets and the permutations with finitely many non‐fixed points of a set (Q6047685) (← links)
- Independent families of functions and permutations (Q6096324) (← links)
- The permutations with <i>n</i> non‐fixed points and the subsets with <i>n</i> elements of a set (Q6096805) (← links)
- The cardinality of the partitions of a set in the absence of the Axiom of Choice (Q6200771) (← links)
- The finite sequences and the partitions whose members are finite of a set (Q6461921) (← links)
- The partitions whose members are finite and the permutations with at most $n$ non-fixed points of a set (Q6461926) (← links)