Четких признаков разграничения вводного слова тем не менее и наречного выражения нет. В этом случае пунктуация зависит от интонационного выделения и восприятия текста автором. Таким образом, решение о постановке знаков препинания при словах тем не менее в середине предложения во многих случаях принимает сам автор текста.
Сочетания типа вагон-дом, вагон-контейнер и т. д. обозначают типы вагонов, первый компонент компонент вагон в них обозначает более широкое понятие, что сопровождается склонением этого компонента (второй компонент играет характеризующую роль). Составное существительное вагон-городок обозначает городок, состоящий из вагонов; первый компонент вагон в нем обозначает более узкое понятие, играет характеризующую роль, что препятствует его склонению (как в существительных интернет-страница, допинг-контроль и многих других). Речевая практика соответствует этому принципу, корпусные данные говорят о том, что первая часть составного существительного вагон-городок не склоняется: в вагон-городке, в вагон-городках и т. д.
Необходимость постановки тире зависит от того, как прочитывается сочетание 13 июля. Если подразумевается форма именительного падежа, то оно играет роль подлежащего. Соответственно, сочетание день рождения будет выполнять функцию сказуемого, а между подлежащим и сказуемым-существительным ставится тире: День рождения Андрея — тринадцатое июля. Если подразумевается форма родительного падежа, то сочетание играет роль обстоятельства времени, что не предполагает постановки знаков препинания: День рождения Андрея тринадцатого июля. При этом может быть использовано интонационное тире для указания места распадения простого предложения на словесные группы: День рождения Андрея — тринадцатого июля.
Правилен первый вариант.
Оба варианта верны.
Полное прилагательное типа бескрайний, конечно, может играть роль сказуемого; для полного действительного причастия типа холодящий эта роль гораздо менее естественна, сравним: *Звёзды холодящие до дрожи — Звёзды холодят до дрожи (здесь явно предпочтителен второй вариант, со спрягаемой формой глагола). Вместе с тем оба приведенных Вами предложения будут в полной мере соответствовать нормам русской грамматики, если считать, что это номинативные (назывные) предложения — односоставные предложения с главным членом-подлежащим, в которых сообщается о существовании и наличии предмета. В данном случае они содержат распространители — согласованные распространенные определения, находящиеся после определяемого слова. Такие распространители выделяются запятыми: Одиночество, бескрайнее, как степи, Звёзды, холодящие до дрожи.
Мужская фамилия Баль склоняется, женская не склоняется.
Понятие уточнения комплексное, сочетает в себе смысловой и коммуникативный аспекты, то есть касается как передачи соотношения понятий, так и интонационного выделения (акцентирования) каких-либо слов и сочетаний, выражающих эти понятия. Различие между вторым и третьим примерами состоит в том, что в одном из них вначале названо более широкое понятие (словоформой в университете), затем более узкое (словоформой в библиотеке), в другом — наоборот. Это влечет за собой различия в функциях второй словоформы: если во втором примере перед нами классический случай сужения понятия и вторая словоформа служит уточняющим обстоятельством, то в третьем примере словоформа в университете играет роль несогласованного определения к существительному библиотека.
Первый и четвертый примеры различаются тем, какие сочетания в них интонационно выделены, — в зависимости от этого меняются смысловые отношения между сочетаниями. Имеет значение также позиция обстоятельств в предложении. В первом примере конечная позиция сочетания в библиотеке при университете (к слову, это сочетание существительного с несогласованным определением) говорит скорее о том, что это сочетание несет на себе логическое ударение и содержит важную, а не дополнительную, попутную информацию. Такое может происходить, например, если место работы не единственное, сравним: Она была на работе в библиотеке при университете, а не в лаборатории. Если же общий контекст диктует автору поставить логическое ударение на словоформу на работе, а сочетание в библиотеке при университете представить как уточнение, ему ничто не мешает это сделать: Она была на работе, в библиотеке при университете. В четвертом примере словоформа в офисе находится в позиции уточняющего обстоятельства. Однако в более широком контексте, например при сопоставлении, это может оказаться не так, сравним: На работе в офисе он постоянно дремал, а на работе в университете иногда бывал энергичным — здесь в офисе невозможно счесть словоформой, несущей попутную информацию, и выделить запятыми.
Как видим, при решении, является ли какое-либо слово (сочетание) уточняющим по отношению к другому слову (сочетанию), нужно учитывать и смысловые отношения между этими сочетаниями, и общий контекст предложения.
Тире нужно, так как в этом предложении в роли подлежащего выступает инфинитив (уточнять). См. параграф 12 полного академического справочника «Правила русской орфографии и пунктуации» под ред. В. В. Лопатина.
Обороты «по + имя собственное», указывающие, согласно чьему мнению, чьей точке зрения, теории и т. п. что-либо утверждается, обычно обособляются. Уточним, что обособляются они в случае, если играют роль вводных конструкций, указывающих на источник сообщения, например: По Аристотелю, не все блага равноценны: есть вспомогательные, а есть финальные. Однако такие обороты могут быть тесно связаны с какими-то словами в предложении — не только с глагольными формами, на что обычно указывают справочники, но и с существительными, о чём свидетельствуют Ваши примеры. В этих случаях оборот «по + имя собственное» не нуждается в обособлении.
В приведенных примерах по Аристотелю играет роль несогласованного определения. Кстати, тот же смысл можно выразить с помощью прилагательного, т. е. согласованного определения: идеальное государство по Аристотелю = аристотелевское идеальное государство. Возможность такой замены служит дополнительным доказательством того, что по Аристотелю здесь не является вводной конструкцией.