| Publication | Date of Publication | Type |
|---|
On the relationships between some meta-mathematical properties of arithmetical theories
Logic Journal of the IGPL | 2024-11-15 | Paper |
Effective inseparability and some applications in meta-mathematics
Journal Of Logic And Computation | 2024-11-12 | Paper |
Tracking control for flexible joint robots based on adaptive fuzzy compensation with uncertain parameters
International Journal of Adaptive Control and Signal Processing | 2024-04-30 | Paper |
There are no minimal effectively inseparable theories
Notre Dame Journal of Formal Logic | 2024-04-08 | Paper |
| On the relationships between some meta-mathematical properties of arithmetical theories | 2023-03-27 | Paper |
Research on vibration suppression and trajectory tracking control strategy of a flexible link manipulator
Applied Mathematical Modelling | 2022-12-21 | Paper |
| Effective inseparability and some applications in meta-mathematics | 2022-10-31 | Paper |
On the depth of Gödel's incompleteness theorems
Philosophia Mathematica | 2022-07-21 | Paper |
Temperature and size-dependent modeling for predicting mechanical properties of carbon nanotubes
Applied Mathematical Modelling | 2021-11-17 | Paper |
| Finding the limit of incompleteness II | 2021-10-23 | Paper |
Current research on Gödel's incompleteness theorems
The Bulletin of Symbolic Logic | 2021-09-17 | Paper |
Finding the limit of incompleteness. I
The Bulletin of Symbolic Logic | 2021-04-21 | Paper |
On the depth of G\"{o}del's incompleteness theorem
(available as arXiv preprint) | 2020-08-30 | Paper |
The Hypothesis and a supercompact cardinal
Mathematical Logic Quarterly | 2020-04-29 | Paper |
Fully nonlinear investigation of focused wave slamming on a freely rotating flap
Engineering Analysis with Boundary Elements | 2020-01-20 | Paper |
Incompleteness for higher-order arithmetic. An example based on Harrington's principle
SpringerBriefs in Mathematics | 2019-08-13 | Paper |
Direct time domain numerical analysis of transient behavior of a VLFS during unsteady external loads in wave condition
Abstract and Applied Analysis | 2019-02-14 | Paper |
| G\"{o}del's incompleteness theorem and the Anti-Mechanist Argument: revisited | 2019-02-14 | Paper |
Current effects on nonlinear wave slamming by an oscillating wave surge converter
Engineering Analysis with Boundary Elements | 2018-10-19 | Paper |
Joint Network Optimization and Downlink Beamforming for CoMP Transmissions Using Mixed Integer Conic Programming
IEEE Transactions on Signal Processing | 2018-08-22 | Paper |
Joint Discrete Rate Adaptation and Downlink Beamforming Using Mixed Integer Conic Programming
IEEE Transactions on Signal Processing | 2018-08-22 | Paper |
Wave-current entry of an asymmetric wedge in 3DOF free motions
Engineering Analysis with Boundary Elements | 2018-08-13 | Paper |
Distributive Network Utility Maximization Over Time-Varying Fading Channels
IEEE Transactions on Signal Processing | 2018-07-18 | Paper |
Joint Optimization of Source Power Allocation and Distributed Relay Beamforming in Multiuser Peer-to-Peer Relay Networks
IEEE Transactions on Signal Processing | 2018-07-18 | Paper |
Distributive Power Control Algorithm for Multicarrier Interference Network Over Time-Varying Fading Channels—Tracking Performance Analysis and Optimization
IEEE Transactions on Signal Processing | 2018-07-09 | Paper |
Gain Enhancement of Printed Log-Periodic Dipole Array Antenna Using Director Cell
IEEE Transactions on Antennas and Propagation | 2017-10-27 | Paper |
Comments on "Image Denoising by Sparse 3-D Transform-Domain Collaborative Filtering
IEEE Transactions on Image Processing | 2017-10-19 | Paper |
Indestructibility properties of remarkable cardinals
Archive for Mathematical Logic | 2015-11-18 | Paper |
Forcing a set model of \(\mathsf{Z}_3\) + Harrington's principle
Mathematical Logic Quarterly | 2015-09-22 | Paper |
The strong reflecting property and Harrington's Principle
Mathematical Logic Quarterly | 2015-09-22 | Paper |
Large cardinals need not be large in HOD
Annals of Pure and Applied Logic | 2015-08-21 | Paper |
HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC
Journal of Symbolic Logic | 2015-08-14 | Paper |
Elasto-plastic analysis of critical fracture stress and fatigue fracture prediction
Acta Mechanica | 2014-11-14 | Paper |
A Comparison Study of Conditional Random Fields Toolkits
Communications in Computer and Information Science | 2010-10-28 | Paper |
| scientific article; zbMATH DE number 5116187 (Why is no real title available?) | 2007-01-16 | Paper |
On Rosser theories
(available as arXiv preprint) | N/A | Paper |
Some reflections on the relationship between logical incompleteness and concrete incompleteness
(available as arXiv preprint) | N/A | Paper |
