Stability theory and set existence axioms

DOI10.2307/2273795zbMath0612.03025OpenAlexW1972302142WikidataQ114589058 ScholiaQ114589058MaRDI QIDQ3752377

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

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

Related Items (2)

Set existence axioms for general (not necessarily countable) stability theory ⋮ Generalizing classical and effective model theory in theories of operations and classes

Cites Work

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

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