×
Author ID: vejjajiva.pimpen Recent zbMATH articles by "Vejjajiva, Pimpen"
Published as: Vejjajiva, Pimpen
External Links: MGP
Documents Indexed: 19 Publications since 2002, including 2 Additional arXiv Preprints
Co-Authors: 9 Co-Authors with 16 Joint Publications
9 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 13 times in 8 Documents Cited by Year
A note on weakly Dedekind finite sets. Zbl 1338.03097
Vejjajiva, Pimpen; Panasawatwong, Supakun
3
2014
Factorials and the finite sequences of sets. Zbl 1521.03162
Sonpanow, Nattapon; Vejjajiva, Pimpen
3
2019
Some properties of infinite factorials. Zbl 1521.03163
Sonpanow, Nattapon; Vejjajiva, Pimpen
3
2018
The finite subsets and the permutations with finitely many non-fixed points of a set. Zbl 1521.03184
Nuntasri, Jukkrid; Panasawatwong, Supakun; Vejjajiva, Pimpen
2
2021
A direct proof of strong normalization for full constructive second-order logic. Zbl 1069.03005
Vejjajiva, Pimpen
1
2004
A finite-to-one map from the permutations on a set. Zbl 1423.03181
Sonpanow, Nattapon; Vejjajiva, Pimpen
1
2017
The finite subsets and the permutations with finitely many non-fixed points of a set. Zbl 1521.03184
Nuntasri, Jukkrid; Panasawatwong, Supakun; Vejjajiva, Pimpen
2
2021
Factorials and the finite sequences of sets. Zbl 1521.03162
Sonpanow, Nattapon; Vejjajiva, Pimpen
3
2019
Some properties of infinite factorials. Zbl 1521.03163
Sonpanow, Nattapon; Vejjajiva, Pimpen
3
2018
A finite-to-one map from the permutations on a set. Zbl 1423.03181
Sonpanow, Nattapon; Vejjajiva, Pimpen
1
2017
A note on weakly Dedekind finite sets. Zbl 1338.03097
Vejjajiva, Pimpen; Panasawatwong, Supakun
3
2014
A direct proof of strong normalization for full constructive second-order logic. Zbl 1069.03005
Vejjajiva, Pimpen
1
2004

Citations by Year