An introduction to continuous logic

Abstract: Continuous first-order logic is a generalization of (discrete) first-order logic used to apply the methods of model theory to structures with an underlying real-valued metric. We will give an overview of the basics of continuous logic, emphasizing similarities and differences with discrete logic as well as specific motivations coming from analysis. We will then discuss some current research directions.

mathematical physicsanalysis of PDEsclassical analysis and ODEscategory theorycomplex variablesfunctional analysislogicmetric geometryoptimization and control

Audience: researchers in the topic

VCU ALPS (Analysis, Logic, and Physics Seminar)

Series comments: Description: Research seminar on topics ranging from analysis and logic to mathematical physics.

Meetings will be conducted over Zoom:

Meeting ID: 951 0562 0974

The password is 10 characters, consisting of the name of the ancient Greek mathematician who wrote "Elements" (first letter capitalized) followed by the first 4 primes.