[Avodah] ktuba of son of non jewish father

[menucha]

a kallah who is modern orthodox from birth is marrying a son of a jewish
mother and non jewish father.  They were told that the chatan's name in
the ktuba would be written as (names are being changed) David ben Malka
bat Dov, i.e him the son of his jewish mother, who is the daughter of
dov her jewish father.
The chatan is distraught at the thought of his father not being
mentioned, and by the fact that this is not "the normal way of writing a
ketuba".
There are definitely issues here of not getting the chatan "turned off
to judaism" etc.
does anyone know of any piskei halacha on this issue, or have an idea of
a Rav who would be worth discussing this with?
one idea which came up is by using the names of both parents for both
bride and groom.
aviva bat reuven veleah, and david ben malka vechristopher.
any leads would be appreciated.
thanks
menucha