Definable sets and expansions of models of Peano arithmetic |
| |
Authors: | Roman Murawski |
| |
Institution: | (1) Institute of Mathematics, Adam Mickiewicz University, ul. Matejki 48/49, PL-60-769 Pozna , Poland |
| |
Abstract: | We consider expansions of models of Peano arithmetic to models ofA
2
s
-¦
1
1
+
1
1
–AC which consist of families of sets definable by nonstandard formulas. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|