Logic Café Lecture: Constantin Brîncuş (IVC Fellow and Institute of Philosophy and Psychology, Romanian Academy) | Categorical countable structures in ω-logic and Lω1ω

Categorical countable structures in ω-logic and Lω₁ω

Im Logik-Café werden Themen aus den Bereichen Philosophische Logik und Formale Epistemologie behandelt. Die Treffen sind informell, alle Interessierten sind jederzeit herzlich eingeladen.

Finden Sie hier alle Talks unserer IVC Fellows beim Logik Café. Eine vollständige Liste aller weiteren Vorträge ist auf der Website des Logik Cafés zu finden.

Date: 19/05/2025

Time: 17h00

Venue: New Institute Building (NIG), Universitätsstraße 7, 1010 Wien, HS 3B

Abstract:

I argue in this presentation that if a sentence φ from Lω₁ω is categorical, then the first-order theory Tφ that corresponds to φ is categorical if and only if its models satisfy the ω-rule, inferentially understood. This result will be established by first showing that if all the models of Peano Arithmetic in the ω-logic, i.e. PA^ω, have the property expressed by the ω-rule, then PA^ωis categorical. The presentation is based on joint work with John T. Baldwin.

Location:

NIG, Universitätsstraße 7, 1010 Wien, HS 3B