(1) For determination of amount of any tax, additions to tax, etc., in title 11 cases, see section
505 of title
11 of the United States Code.
(2) For exclusion of tax liability from discharge in cases under title 11 of the United States Code, see section 523 of such title 11.
(3) For recognition of tax liens in cases under title 11 of the United States Code, see sections 545 and 724 of such title 11.
(4) For collection of taxes in connection with plans for individuals with regular income in cases under title 11 of the United States Code, see section 1328 of such title 11.
(5) For provisions permitting the United States to be made party defendant in a proceeding in a State court for the foreclosure of a lien upon real estate where the United States may have claim upon the premises involved, see section
2410 of Title
28 of the United States Code.
(6) For priority of lien of the United States in case of insolvency, see section
3713 (a) of title
31, United States Code.
(7) For interest on judgments for overpayments, see section
2411 (a) of Title
28 of the United States Code.
(8) For review of a Tax Court decision, see section
7482.
(9) For statute prohibiting suits to replevy property taken under revenue laws, see section
2463 of Title
28 of the United States Code.