Edit Profile (opens in new tab) Vejjajiva, Pimpen Co-Author Distance Author ID: 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 all top 5 Co-Authors 3 single-authored 6 Sonpanow, Nattapon 3 Panasawatwong, Supakun 2 Hall, Mark E. 2 Phansamdaeng, Palagorn 1 Aksornthong, Navin 1 Nuntasri, Jukkrid 1 Rodbanjong, Jaruwat 1 Skulkiat, Bodin 1 Thamrongthanyalak, Athipat all top 5 Serials 7 Mathematical Logic Quarterly (MLQ) 2 Southeast Asian Bulletin of Mathematics 2 Journal of Mathematics Research 1 Bulletin of the Australian Mathematical Society 1 Notre Dame Journal of Formal Logic 1 Reports on Mathematical Logic 1 Logic Journal of the IGPL 1 Thai Journal of Mathematics Fields 19 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications Cited by 5 Authors 5 Shen, Guozhen 3 Vejjajiva, Pimpen 2 Yuan, Jiachen 1 Panasawatwong, Supakun 1 Sonpanow, Nattapon Cited in 2 Serials 6 Mathematical Logic Quarterly (MLQ) 2 The Journal of Symbolic Logic Cited in 1 Field 8 Mathematical logic and foundations (03-XX) Citations by Year