Pimpen Vejjajiva

Available identifiers

zbMath Open vejjajiva.pimpenWikidataQ102363153 ScholiaQ102363153MaRDI QIDQ740208

List of research outcomes

Publication	Date of Publication	Type
The permutations with \(n\) non-fixed points and the sequences with length \(n\) of a set	2024-11-25	Paper
A generalisation of Läuchli's lemma	2024-08-19	Paper
The cardinality of the partitions of a set in the absence of the Axiom of Choice	2024-02-20	Paper
The finite sequences and the partitions whose members are finite of a set	2023-12-03	Paper
The partitions whose members are finite and the permutations with at most $n$ non-fixed points of a set	2023-12-03	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
Some cardinal characteristics related to the covering number and the uniformity of the meagre ideal	2022-02-02	Paper
A generalization of the trichotomy principle	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

Research outcomes over time

This page was built for person: Pimpen Vejjajiva