Pimpen Vejjajiva

12 papers Journal 12
YearRankTypeTitle / Venue / Authors
2024 J jnl
A generalisation of Läuchli's lemma.
Math. Log. Q.
Nattapon Sonpanow, Pimpen Vejjajiva
2024 J jnl
The Permutations with
J. Symb. Log.
Jukkrid Nuntasri, Pimpen Vejjajiva
2023 J jnl
The cardinality of the partitions of a set in the absence of the Axiom of Choice.
Log. J. IGPL
Palagorn Phansamdaeng, Pimpen Vejjajiva
2023 J jnl
The permutations with
Math. Log. Q.
Supakun Panasawatwong, Pimpen Vejjajiva
2021 J jnl
Some cardinal characteristics related to the covering number and the uniformity of the meagre ideal.
Reports Math. Log.
Nattapon Sonpanow, Pimpen Vejjajiva
2021 J jnl
The finite subsets and the permutations with finitely many non-fixed points of a set.
Math. Log. Q.
Jukkrid Nuntasri, Supakun Panasawatwong, Pimpen Vejjajiva
2020 J jnl
Independent families of functions and permutations.
Math. Log. Q.
Nattapon Sonpanow, Pimpen Vejjajiva
2019 J jnl
Factorials and the finite sequences of sets.
Math. Log. Q.
Nattapon Sonpanow, Pimpen Vejjajiva
2018 J jnl
Relations between cardinalities of the finite sequences and the finite subsets of a set.
Math. Log. Q.
Navin Aksornthong, Pimpen Vejjajiva
2018 J jnl
Some properties of infinite factorials.
Math. Log. Q.
Nattapon Sonpanow, Pimpen Vejjajiva
2014 J jnl
A Note on Weakly Dedekind Finite Sets.
Notre Dame J. Formal Log.
Pimpen Vejjajiva, Supakun Panasawatwong
2013 J jnl
Extended Curry-Howard terms for second-order logic.
Math. Log. Q.
Pimpen Vejjajiva