I presume we can name planets we discover, if another player ever finds this planet will it be classed as a new discovery to that player or will he see that its already been discovered with whatever the first to explore it named it?
it'll be your discovery, for everyone else who plays to see. and will always be yours. provided you play while connected to the internet.