|
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.0266sec
0.86
7 queries
GZIP Disabled
Time is now: 14th December 2025 - 01:18 PM |