Geometrical axiomatization for model complete theories of differential topological fields
type: Item
instance of: scholarly article
title: Geometrical axiomatization for model complete theories of differential topological fields
zbMATH Open document ID: 1113.03033
author: Nicolas Guzy
author: Cédric Rivière
published in: Notre Dame Journal of Formal Logic
publication date: 2007-02-20T00:00:00Z
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 12L12
zbMATH DE Number: 5129045
zbMATH Keywords: differential lifting principle
zbMATH Keywords: model companion
zbMATH Keywords: differential topological fields
zbMATH Keywords: geometric axiomatization
zbMATH Keywords: first-order axioms
zbMATH Keywords: jet-spaces
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1163775440
OpenAlex ID: W1969285908
DOI: 10.1305/NDJFL/1163775440
description: scientific article; zbMATH DE number 5129045