On second homes I would have a federal tax equal to 25% of the local/state tax.Good idea.
A couple of real estate tax options I'd like to see considered:
Limit deductible interest to 1 house only, and tie the deductible amount to median house prices.
Figuring the latter might be tricky, but we have a lot of smart people in the country, so I assume we can work it out. Or let ChatGTP do it.
I would have homes owned by corporations taxed double the state/local amount.
Homes should be for families.