|
maximR
Remember who you are
![]() ![]() ![]() ![]() ![]() ![]() ![]()
Member Group: Senior Member
Joined: Dec 2009 |
||
|
|
||||||||||||||||||||||||
|
|
||||||||||||||||||||||||
| Signature |
|
To every ω-consistent recursive class κ of formulas, there correspond recursive class-signs r such that neither (ν Gen r) nor Neg(ν Gen r) belongs to Flg(κ), where ν is the free variable of r.
|
|
|
||||||||||||
| Change to: | 0.0297sec
0.30
7 queries
GZIP Disabled
Time is now: 3rd December 2025 - 10:50 AM |