Results 131 to 140 of about 27,559 (145)

Completeness and incompleteness for intuitionistic logic

Journal of Symbolic Logic (JSL), 2008
C. McCarty
semanticscholar   +1 more source

Kreisel, the continuum hypothesis and second order set theory

Journal of Philosophical Logic, 1976
T. Weston
semanticscholar   +1 more source

Directionally Variational Analysis and Second-Order Optimality Conditions for Mathematical Programs with Switching Constraints

Journal of Optimization Theory and Applications
Jiawei Chen, Luyu Liu, Yuhong Dai, E. Köbis   +3 more
semanticscholar   +1 more source

New Results on the Optimal Feedback Control for Second-Order Neutral Evolution Systems with Hemivariational Inequalities and Damping

Complex Analysis and Operator Theory
R. S. Shanmugapriya, V. Vijayakumar
semanticscholar   +1 more source

A Class of Second-Order Damped Neutral Stochastic Differential Control Systems with State-Dependent Delay and Impulses

Complex Analysis and Operator Theory
Operator Theory, R. Sasikumar, ·. V. Vijayakumar   +2 more
semanticscholar   +1 more source

An analysis on the approximate controllability of second-order damped stochastic differential inclusions with state-dependent delay

Complex Analysis and Operator Theory
Operator Theory, R. Sasikumar, ·. V. Vijayakumar   +2 more
semanticscholar   +1 more source

Multi-stage Minimum Risk Point Estimation Strategies for Comparing the Locations from Two Negative Exponential Models and Second-Order Asymptotics: Illustrations with Simulated Data and Bone Marrow Transplant Data

Journal of Statistical Theory and Practice
Nitis Mukhopadhyay, Anhar S. Aloufi
semanticscholar   +1 more source

Some Second Order Set Theory

Indian Conference on Logic and Its Applications, 2009
J. Hamkins
semanticscholar   +1 more source

Magnetocaloric Effect in Heusler Family Alloys Ni2– xCoxMn1.25Ti0.75 with Second-Order Phase Transition

Physics of metals and metallography
V. Sokolovskiy, M. V. Matunina, R. R. Garipov, V. Buchelnikov   +3 more
semanticscholar   +1 more source

Analysis of Neutral Second-Order Non-Autonomous Damped Stochastic Evolution Control Systems With State-Dependent Delay

Complex Analysis and Operator Theory
R. Sasikumar, V. Vijayakumar
semanticscholar   +1 more source