Completeness and categoricity (in power): formalization without foundationalism
type: Item
instance of: scholarly article
zbMATH Open document ID: 1341.03043
author: John T. Baldwin
published in: The Bulletin of Symbolic Logic
publication date: 2014-10-21T00:00:00Z
full work available at URL: https://figshare.com/articles/journal_contribution/Completeness_And_Categoricity_In_Power_Formalization_Without_Foundationalism_/10772057
Mathematics Subject Classification ID: 03C35
Mathematics Subject Classification ID: 03C85
zbMATH DE Number: 6359600
zbMATH Keywords: categoricity
zbMATH Keywords: formalization
zbMATH Keywords: model theory
zbMATH Keywords: foundationalism
zbMATH Keywords: completeness
MaRDI profile type: Publication
OpenAlex ID: W2128861951
cites work: Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
cites work: Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
cites work: Q5387356
cites work: Definable envelopes of nilpotent subgroups of groups with chain conditions on centralizers
cites work: On second-order characterizability
cites work: Almost orthogonal regular types
cites work: Zariski geometries
cites work: A new strongly minimal set
cites work: The uncountable spectra of countable theories
cites work: Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Troisième partie). Rédigé avec la colloboration de J. Dieudonné
cites work: The classification of excellent classes
cites work: The elementary theory of finite fields
cites work: Q3874439
cites work: Categoricity
cites work: Q4807555
cites work: \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
cites work: The Architecture of Mathematics
cites work: Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
cites work: Q4317873
cites work: Simple unstable theories
cites work: Q3586891
cites work: Toward classifying unstable theories
cites work: Differentially closed fields
cites work: Comments on Lefschetz's Principle
cites work: A new decision method for elementary algebra
cites work: Counting special points: Logic, diophantine geometry, and transcendence theory
cites work: Lefschetz's principle
cites work: \(\aleph_0\)-categoricity and stability of rings
cites work: On strongly minimal sets
cites work: Notes on Quasiminimality and Excellence
cites work: Stability theory and Algebra
cites work: Q3391907
cites work: Q4895324
cites work: The number of countable differentially closed fields
cites work: Model Theory
DOI: 10.1017/BSL.2014.3
title: Completeness and categoricity (in power): formalization without foundationalism
description: scientific article; zbMATH DE number 6359600