Pimpen Vejjajiva

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The finite sequences and the partitions whose members are finite of a set Logic Journal of the IGPL	2025-10-30	Paper
The permutations with $n$ non-fixed points and the sequences with length $n$ of a set Journal of Symbolic Logic	2024-11-25	Paper
A generalisation of Läuchli's lemma Mathematical Logic Quarterly (MLQ)	2024-08-19	Paper
The cardinality of the partitions of a set in the absence of the Axiom of Choice Logic Journal of the IGPL	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 <i>n</i> non‐fixed points and the subsets with <i>n</i> elements of a set Mathematical Logic Quarterly	2023-09-15	Paper
The finite subsets and the permutations with finitely many non‐fixed points of a set Mathematical Logic Quarterly	2023-09-12	Paper
Independent families of functions and permutations Mathematical Logic Quarterly	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 Mathematical Logic Quarterly	2020-05-11	Paper
Relations between cardinalities of the finite sequences and the finite subsets of a set Mathematical Logic Quarterly	2020-05-11	Paper
Factorials and the finite sequences of sets Mathematical Logic Quarterly	2020-05-06	Paper
A finite-to-one map from the permutations on a set Bulletin of the Australian Mathematical Society	2017-05-16	Paper
A note on weakly Dedekind finite sets Notre Dame Journal of Formal Logic	2014-09-02	Paper
Extended Curry-Howard terms for second-order logic Mathematical Logic Quarterly (MLQ)	2013-10-30	Paper
Computability via the lambda calculus with patterns Journal of Mathematics Research	2011-02-03	Paper
A simple proof of Silver's theorem Journal of Mathematics Research	2010-09-22	Paper
A simple proof of Silver's theorem Journal of Mathematics Research	2010-09-22	Paper
Abbreviation templates Southeast Asian Bulletin of Mathematics	2006-11-21	Paper
scientific article; zbMATH DE number 2186938 (Why is no real title available?)	2005-07-12	Paper
A direct proof of strong normalization for full constructive second-order logic Southeast Asian Bulletin of Mathematics	2005-03-21	Paper

Research outcomes over time

This page was built for person: Pimpen Vejjajiva