Skip to content
Portrait of Pimpen Vejjajiva
Faculty

Pimpen Vejjajiva

Professor Ph.D.
S Scopus® Email
Email
pimpen.v@chula.ac.th
Fax
02-255-2287

Research Areas

Mathematical Logic
Set Theory

Education

  1. 2003
    Ph.D.
    Mathematics
    Chulalongkorn University, Thailand
  2. 1998
    M.Sc.
    Mathematics
    Chulalongkorn University, Thailand
  3. 1988
    Doctor of Dental Surgery. Chulalongkorn University, Thailand

Publications

  1. P. Phansamdaeng, P. Vejjajiva, The finite sequences and the partitions whose members are finite of a set, Logic Journal of the IGPL, 33(2) (2025), jzae002.
  2. J. Nuntasri, P. Vejjajiva, The permutations with n non-fixed points and the sequences with length n of a set, The Journal of Symbolic Logic, 89(3) (2024), 1067–1076.
  3. N. Sonpanow, P. Vejjajiva,  A generalisation of Läuchli's lemma, Mathematical Logic Quarterly, 70(2) (2024), 173–177.
  4. P. Phansamdaeng, P. Vejjajiva, The cardinality of the partitions of a set in the absence of the Axiom of Choice, Logic Journal of the IGPL, 31(6) (2023), 1225–1231.
  5. S. Panasawatwong, P. Vejjajiva, The permutations with n non-fixed points and the subsets with n elements of a set, Mathematical Logic Quarterly, 69(3) (2023), 341–346.
  6. J. Nuntasri, S. Panasawatwong, P. Vejjajiva, The finite subsets and the permutations with finitely many non-fixed points of a set, Mathematical Logic Quarterly, 67(2) (2021), 258–263.
  7. N. Sonpanow, P. Vejjajiva, Some cardinal characteristics related to the covering number and the uniformity of the meagre ideal, Reports on Mathematical Logic, 56 (2021), 3-14.
  8. N. Sonpanow, P. Vejjajiva, Independent families of functions and permutations, Mathematical Logic Quarterly, 66(3) (2020), 311-315.
  9. J. Rodbanjong, P. Vejjajiva, A generalization of the trichotomy principle, Thai Journal of Mathematics, 17(3) (2019), 597-605.
  10. N. Sonpanow, P. Vejjajiva, Factorials and the finite sequences of sets, Mathematical Logic Quarterly, 65(1) (2019), 116-120.
  11. N. Aksornthong, P. Vejjajiva, Relations between cardinalities of the finite sequences and the finite subsets of a set, Mathematical Logic Quarterly, 64(6) (2018), 529-534.
  12. N. Sonpanow, P. Vejjajiva, Some properties of infinite factorials, Mathematical Logic Quarterly, 64(3) (2018), 201-206.
  13. N. Sonpanow, P. Vejjajiva, A finite-to-one map from the permutations on a set, Bull. Aust. Math. Soc., 95 (2017), 177-182.
  14. P. Vejjajiva, S. Panasawatwong, A Note on Weakly Dedekind Finite Sets, Notre Dame Journal of Formal Logic, 55(3) (2014), 413-417.
  15. P. Vejjajiva, Extended Curry-Howard Terms for Second-Order Logic, Mathematical Logic Quarterly, 59(4-5) (2013), 274-285.
  16. S. Panasawatwong, P. Vejjajiva, Some Remarks on Cardinal Arithmetic without Choice, ScienceAsia, 39(1) (2013), 91-94.
  17. B. Skulkiat, P. Vejjajiva, M. E. Hall, Computability via the Lambda Calculus with Patterns, Journal of Mathematics Research, 2(4) (2010), 157-166.
  18. P. Vejjajiva, A. Thamrongthanyalak, A Simple Proof of Silver’s Theorem, Journal of Mathematics Research, 2(2) (2010), 81-84.
  19. A. Thamrongthanyalak, P. Vejjajiva, A Note on the Existence of the Integers and Rationals, ScienceAsia, 35(4) (2009), 396-399.
  20. P. Vejjajiva, Abbreviation Templates, Southeast Asian Bulletin of Mathematics, 30(4) (2006), 763-777.
  21. P. Vejjajiva, A Direct Proof of Strong Normalization for Full Constructive Second-Order Logic, Southeast Asian Bulletin of Mathematics, 28(5) (2004), 887-902.
  22. P. Vejjajiva, M. E. Hall, A Lambda-Calculus with Patterns, Proceedings of the International Conference on Algebra and Its Applications(ICAA 2002), (2002), 266-277.
View on Scopus® ORCID

Books

  1. “รากฐานของอนันต์” พิมพ์เพ็ญ เวชชาชีวะ, กรุงเทพฯ: วีพริ้นท์. (2564)
  2. “ทฤษฎีเซต” พิมพ์เพ็ญ เวชชาชีวะ, กรุงเทพฯ: วีพริ้นท์. (2561)
  3. “การพิสูจน์” พิมพ์เพ็ญ เวชชาชีวะ, มูลนิธิ สอวน. (2560)
  4. “ระบบจำนวน” พิมพ์เพ็ญ เวชชาชีวะ, กรุงเทพฯ: วีพริ้นท์. (2558)