DeepAI AI Chat
Log In Sign Up

Strict stability of extension types

03/14/2022
by   Jonathan Weinberger, et al.
0

We show that the extension types occurring in Riehl–Shulman's work on synthetic (∞,1)-categories can be interpreted in the intended semantics in a way so that they are strictly stable under substitution. The splitting method used here is due to Voevodsky in 2009. It was later generalized by Lumsdaine–Warren to the method of local universes.

READ FULL TEXT

page 1

page 2

page 3

page 4

07/03/2021

The operator-splitting method for Cahn-Hilliard is stable

We prove energy stability of a standard operator-splitting method for th...
01/08/2013

Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers

We present alternative definitions of the first-order stable model seman...
11/25/2019

Semi-convergence of the EPSS method for singular generalized saddle point problems

Recently, in (M. Masoudi, D.K. Salkuyeh, An extension of positive-defini...
12/20/2018

Splitting Epistemic Logic Programs

Epistemic logic programs constitute an extension of the stable models se...
05/05/2018

Confluent terminating extensional lambda-calculi with surjective pairing and terminal type

For the lambda-calculus with surjective pairing and terminal type, Curie...
11/02/2019

Study of instability of the Fourier split-step method for the massive Gross–Neveu model

Stability properties of the well-known Fourier split-step method used to...