Stability theory and set existence axioms

DOI10.2307/2273795MaRDI QIDQ3752377zbMATH OpenOpenAlexWikidataFDO

Authors Victor Harnik

Publication date 1985

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273795

zbMATH Keywords

set existence axiomsfragment of second order arithmetic

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Second- and higher-order arithmetic and fragments (03F35) Axiomatics of classical set theory and its fragments (03E30) Constructive and recursive analysis (03F60)

Recommendations

• Set existence axioms for general (not necessarily countable) stability theory
• scientific article; zbMATH DE number 3924748
• Countable algebra and set existence axioms
• scientific article; zbMATH DE number 1226875
• Reverse mathematics of first-order theories with finitely many models

Cites work

• Countable algebra and set existence axioms
• Encoding orders and trees in binary relations
• Fundamentals of forking
• Ranks and definability in superstable theories
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?

Cited in

(6)

• On stability of a formal concept
• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• On the emptiness of the stability set of order d
• Reverse mathematics of first-order theories with finitely many models
• Set existence axioms for general (not necessarily countable) stability theory
• Generalizing classical and effective model theory in theories of operations and classes

This page was built for publication: Stability theory and set existence axioms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3752377)