Conservative fragments of S^1_2 and R^1_2
From MaRDI portal
Publication:535152
Recommendations
- Conserved charges of non-Yangian type for the Frahm-Polychronakos spin chain
- SO(r+2,r) pure spinors
- Conserved quantities from pseudotensors and extremum theorems for angular momentum
- Conserved quantities and solutions of a (2+1)-dimensional Hǎrǎgus-Courcelle-Il'ichev model
- Contracted Hamiltonian on symmetric space \(SU(3)/SU(2)\) and conserved quantities
- Two types of conserved quantities of Lie-Mei symmetry for a variable mass system in phase space
- CONSERVATION LAWS FOR SO(p,q)
- scientific article; zbMATH DE number 1665423
- scientific article; zbMATH DE number 1129881
Cites work
- A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications
- Arithmetizing uniform NC
- Bootstrapping. I
- Bounded arithmetic and the polynomial hierarchy
- Characterising definable search problems in bounded arithmetic via proof notations
- Circuits in bounded arithmetic. I
- Fragments of bounded arithmetic and the lengths of proofs
- Herbrandizing search problems in Bounded Arithmetic
- scientific article; zbMATH DE number 440478 (Why is no real title available?)
- scientific article; zbMATH DE number 440487 (Why is no real title available?)
- scientific article; zbMATH DE number 4059391 (Why is no real title available?)
- scientific article; zbMATH DE number 806747 (Why is no real title available?)
- scientific article; zbMATH DE number 819737 (Why is no real title available?)
- scientific article; zbMATH DE number 1420845 (Why is no real title available?)
- scientific article; zbMATH DE number 3248030 (Why is no real title available?)
- Logical foundations of proof complexity
- Multifunction algebras and the provability of PH
- NP search problems in low fragments of bounded arithmetic
- On the bounded version of Hilbert's tenth problem
- Polynomial local search in the polynomial hierarchy and witnessing in fragments of bounded arithmetic
- Structure and definability in general bounded arithmetic theories
- The strength of sharply bounded induction
- The strength of sharply bounded induction requires MSP
Cited in
(10)- What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)?
- A note on uniform density in weak arithmetical theories
- Bounded arithmetic in free logic
- scientific article; zbMATH DE number 440477 (Why is no real title available?)
- A Remark on Independence Results for Sharply Bounded Arithmetic
- An unexpected separation result in Linearly Bounded Arithmetic
- scientific article; zbMATH DE number 1420845 (Why is no real title available?)
- On the finite axiomatizability of \(\forall\hat{\Sigma}^{\mathrm{b}}_1 (\hat{\mathsf{R}}^1_2)\)
- Fragments of bounded arithmetic and the lengths of proofs
- scientific article; zbMATH DE number 963569 (Why is no real title available?)
This page was built for publication: Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535152)
