Pimpen Vejjajiva

Available identifiers

Publication	Date of Publication	Type
The cardinality of the partitions of a set in the absence of the Axiom of Choice	2024-02-20	Paper
The permutations with n non‐fixed points and the subsets with n elements of a set	2023-09-15	Paper
The finite subsets and the permutations with finitely many non‐fixed points of a set	2023-09-12	Paper
Independent families of functions and permutations	2023-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q5025697	2022-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q3384849	2021-12-17	Paper
Some properties of infinite factorials	2020-05-11	Paper
Relations between cardinalities of the finite sequences and the finite subsets of a set	2020-05-11	Paper
Factorials and the finite sequences of sets	2020-05-06	Paper
A FINITE-TO-ONE MAP FROM THE PERMUTATIONS ON A SET	2017-05-16	Paper
A note on weakly Dedekind finite sets	2014-09-02	Paper
Extended Curry-Howard terms for second-order logic	2013-10-30	Paper
Computability Via The Lambda Calculus with Patterns	2011-02-03	Paper
A Simple Proof of Silver's Theorem	2010-09-22	Paper
Abbreviation templates	2006-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q3025159	2005-07-12	Paper
A direct proof of strong normalization for full constructive second-order logic	2005-03-21	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pimpen Vejjajiva