(a) Whenever the term “Polk County community college district”, “the Polk County community college”, or “the Polk County community college district board” is used in this subchapter, the term is used solely for the purpose of referring to a community college district to be established in Polk County in the manner provided by law and is not intended to establish the legal name of the community college district or of the community college itself.
(b) The community college district shall bear such name as proposed therefor in the petition filed by the electors of Polk County calling for an election on the question of creating the community college district, and the name of the institution operated by the community college district shall be selected by the board of trustees of the district subject to approval thereof by the Arkansas Higher Education Coordinating Board.