Stability theory and set existence axioms

DOI10.2307/2273795zbMATH Open0612.03025OpenAlexW1972302142WikidataQ114589058 ScholiaQ114589058MaRDI QIDQ3752377FDOQ3752377

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

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

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)

Cites Work

• 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
• Countable algebra and set existence axioms
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Encoding orders and trees in binary relations

Cited In (5)

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

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)