Pages that link to "Item:Q1063593"
From MaRDI portal
The following pages link to Countable algebra and set existence axioms (Q1063593):
Displaying 46 items.
- Degrees of orders on torsion-free abelian groups (Q385079) (← links)
- Infinite dimensional proper subspaces of computable vector spaces (Q402446) (← links)
- Proper divisibility in computable rings (Q504325) (← links)
- Metric structures and probabilistic computation (Q541224) (← links)
- Set existence axioms for general (not necessarily countable) stability theory (Q580327) (← links)
- The Dirac delta function in two settings of reverse mathematics (Q661294) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- Weak comparability of well orderings and reverse mathematics (Q918549) (← links)
- Fixed point theory in weak second-order arithmetic (Q922541) (← links)
- Addendum to ``Countable algebra and set existence axioms'' (Q1063594) (← links)
- Countable thin \(\Pi^0_1\) classes (Q1208080) (← links)
- On the independence of core-equivalence results from Zermelo-Fraenkel set theory (Q1263580) (← links)
- A rank one cohesive set (Q1332857) (← links)
- Infinite versions of some problems from finite complexity theory (Q1374209) (← links)
- Computability-theoretic and proof-theoretic aspects of partial and linear orderings (Q1425651) (← links)
- The computability, definability, and proof theory of Artinian rings (Q1628418) (← links)
- The complexity of primes in computable unique factorization domains (Q1750293) (← links)
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem? (Q1820779) (← links)
- Iterated trees and fragments of arithmetic (Q1892096) (← links)
- Characterizing von Neumann regular rings in reverse mathematics (Q2075285) (← links)
- Reverse mathematics and semisimple rings (Q2155498) (← links)
- The complexity of radicals and socles of modules (Q2176411) (← links)
- Ring structure theorems and arithmetic comprehension (Q2219093) (← links)
- Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data (Q2268856) (← links)
- Connected components of graphs and reverse mathematics (Q2277258) (← links)
- Ideals in computable rings (Q2456205) (← links)
- A game-theoretic equivalence to the Hahn-Banach theorem (Q2640469) (← links)
- Algebraic disguises of \(\Sigma ^ 0_ 1\) induction (Q2640598) (← links)
- Herbrand analyses (Q2641297) (← links)
- On the complexity of radicals in noncommutative rings (Q2655033) (← links)
- Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
- – <i>CA</i><sub>0</sub> and order types of countable ordered groups (Q2732274) (← links)
- On uniform relationships between combinatorial problems (Q2796522) (← links)
- Reverse Mathematics of Matroids (Q2970956) (← links)
- Chain conditions in computable rings (Q3065750) (← links)
- The Baire category theorem in weak subsystems of second-order arithmetic (Q3138013) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- Minimal prime ideals and arithmetic comprehension (Q3360849) (← links)
- The isomorphism problem for computable Abelian <sub><i>p</i></sub>-groups of bounded length (Q3370768) (← links)
- Jump degrees of torsion-free abelian groups (Q4899162) (← links)
- BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH (Q4984866) (← links)
- Orders on computable rings (Q5119902) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
- Structure of semisimple rings in reverse and computable mathematics (Q6077944) (← links)
- Effective aspects of Jacobson radicals of rings (Q6094126) (← links)
