Extended Curry-Howard terms for second-order logic. - Pimpen Vejjajiva (Math. Log. Q., 2013)

A Note on Weakly Dedekind Finite Sets. - Pimpen Vejjajiva; Supakun Panasawatwong (Notre Dame J. Formal Log., 2014)

Relations between cardinalities of the finite sequences and the finite subsets of a set. - Navin Aksornthong; Pimpen Vejjajiva (Math. Log. Q., 2018)

Some properties of infinite factorials. - Nattapon Sonpanow; Pimpen Vejjajiva (Math. Log. Q., 2018)

Factorials and the finite sequences of sets. - Nattapon Sonpanow; Pimpen Vejjajiva (Math. Log. Q., 2019)

Independent families of functions and permutations. - Nattapon Sonpanow; Pimpen Vejjajiva (Math. Log. Q., 2020)

The finite subsets and the permutations with finitely many non-fixed points of a set. - Jukkrid Nuntasri; Supakun Panasawatwong; Pimpen Vejjajiva (Math. Log. Q., 2021)

Some cardinal characteristics related to the covering number and the uniformity of the meagre ideal. - Nattapon Sonpanow; Pimpen Vejjajiva (Reports Math. Log., 2021)

The permutations with n non-fixed points and the subsets with n elements of a set. - Supakun Panasawatwong; Pimpen Vejjajiva (Math. Log. Q., 2023)

The cardinality of the partitions of a set in the absence of the Axiom of Choice. - Palagorn Phansamdaeng; Pimpen Vejjajiva (Log. J. IGPL, 2023)

The Permutations with n non-fixed Points and the sequences with Length n of a Set. - Jukkrid Nuntasri; Pimpen Vejjajiva (J. Symb. Log., 2024)

A generalisation of Läuchli's lemma. - Nattapon Sonpanow; Pimpen Vejjajiva (Math. Log. Q., 2024)