Set existence axioms for general (not necessarily countable) stability theory

DOI10.1016/0168-0072(87)90002-9zbMath0626.03022OpenAlexW2061999608WikidataQ114684043 ScholiaQ114684043MaRDI QIDQ580327

Victor Harnik

Publication date: 1987

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(87)90002-9

zbMATH Keywords

stability theorymodel theory of arbitrary languagesset existence axioms

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Classification theory, stability, and related concepts in model theory (03C45)

Related Items

TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS, Generalizing classical and effective model theory in theories of operations and classes

Cites Work

• Countable algebra and set existence axioms
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Stability theory and set existence axioms
• Concatenation as a basis for arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item