Invariants, Boolean algebras and ACA₀⁺

DOI10.1090/S0002-9947-05-03802-XzbMath1111.03012OpenAlexW2028858836MaRDI QIDQ5713163

Richard A. Shore

Publication date: 12 December 2005

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0002-9947-05-03802-x

zbMATH Keywords

Boolean algebrasreverse mathematicsclassification problemsrecursive mathematics

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Structure theory of Boolean algebras (06E05) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (5)

Primitive recursive reverse mathematics ⋮ Ranked structures and arithmetic transfinite recursion ⋮ Boolean algebras, Tarski invariants, and index sets ⋮ INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS ⋮ On Fraïssé's conjecture for linear orders of finite Hausdorff rank

Cites Work

• Countable algebra and set existence axioms
• Handbook of recursive mathematics. Vol. 1: Recursive model theory
• Model theory
• Boolean algebras, Tarski invariants, and index sets
• Alfred Tarski and decidable theories
• The fine structure of the constructible hierarchy
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Invariants, Boolean algebras and ACA₀⁺