共 50 条
- [21] DEFINABLE ULTRAPOWERS AND ULTRAFILTERS OVER ADMISSIBLE ORDINALS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (02): : 97 - 118
- [24] Computation of maximal output admissible sets for linear systems with polynomial constraints Advanced Control for Applications: Engineering and Industrial Systems, 2023, 5 (01):
- [26] MODELS OF ZF WITH SAME SETS OF SETS OF ORDINALS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (04): : A534 - &
- [27] On approximation of maximal admissible sets for nonlinear continuous-time systems with constraints 2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13, 2007, : 3290 - 3295
- [28] ORDINALS RECURSIVE IN SOME OBJECTS OF FINITE TYPE - PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (02): : A283 - A283