Works matching DE "FORCING (Model theory)"

Results: 770

Disjoint stationary sequences on an interval of cardinals.

Published in:

Fundamenta Mathematicae, 2025, v. 269, n. 3, p. 261, doi. 10.4064/fm230905-23-5

By:

Jakob, Hannes

Publication type:

Article

Logic circuits from zero forcing.

Published in:

Natural Computing, 2015, v. 14, n. 3, p. 485, doi. 10.1007/s11047-014-9438-5

By:

Burgarth, Daniel;
Giovannetti, Vittorio;
Hogben, Leslie;
Severini, Simone;
Young, Michael

Publication type:

Article

Non-Equilibrium Dynamics of Dyson’s Model with an Infinite Number of Particles.

Published in:

Communications in Mathematical Physics, 2010, v. 293, n. 2, p. 469, doi. 10.1007/s00220-009-0912-3

By:

Katori, Makoto;
Tanemura, Hideki

Publication type:

Article

Exponential Attractors in Generalized Relativistic Billiards.

Published in:

Communications in Mathematical Physics, 2004, v. 248, n. 3, p. 527, doi. 10.1007/s00220-004-1100-0

By:

Deryabin, M. V.;
Pustyl'nikov, L. D.

Publication type:

Article

SPECIFICATION OF THE SOCIAL FORCE PEDESTRIAN MODEL BY EVOLUTIONARY ADJUSTMENT TO VIDEO TRACKING DATA.

Published in:

Advances in Complex Systems, 2007, v. 10, p. 271, doi. 10.1142/S0219525907001355

By:

Johansson, Anders;
Helbing, Dirk;
Shukla, Pradyumn K.

Publication type:

Article

CHAOTIC BEHAVIOR OF A PERIODICALLY FORCED PREDATOR–PREY SYSTEM WITH BEDDINGTON–DEANGELIS FUNCTIONAL RESPONSE AND IMPULSIVE PERTURBATIONS.

Published in:

Advances in Complex Systems, 2006, v. 9, n. 3, p. 209, doi. 10.1142/S0219525906000811

By:

Shuwen Zhang;
Dejun Tan;
Lansun Chen

Publication type:

Article

P-Δ Effects on Seismic Force Modification Factors for Modified-Clough and EPP Hysteretic Models.

Published in:

Advances in Structural Engineering, 2009, v. 12, n. 4, p. 579, doi. 10.1260/136943309789508492

By:

Genshu Tong;
Yongfeng Zhao

Publication type:

Article

Inelastic Second-Order Analysis of Frame Structures Using the Stability-Based Beam-Column Element.

Published in:

Advances in Structural Engineering, 2009, v. 12, n. 4, p. 513, doi. 10.1260/136943309789508546

By:

Seung-Eock Kim;
Jung-Woong Park

Publication type:

Article

Separation of Branched Hexane Isomers on Zeolite BETA.

Published in:

Adsorption Science & Technology, 2007, v. 25, n. 3/4, p. 169

By:

Bárcia, Patrick S.;
Silva, José A. C.;
Rodrigues, Alírio E.

Publication type:

Article

Extension and torsion of incompressible non-linearly elastic solid circular cylinders.

Published in:

Mathematics & Mechanics of Solids, 2011, v. 16, n. 5, p. 482, doi. 10.1177/1081286510387720

By:

Horgan, Cornelius O;
Murphy, Jeremiah G

Publication type:

Article

基于构型力理论的风电齿轮接触损伤研究.

Published in:

Journal of Mechanical Strength / Jixie Qiangdu, 2025, v. 47, n. 4, p. 39, doi. 10.16579/j.issn.1001.9669.2025.04.005

By:

叶楠;
张雁辉;
王荣;
刘冉;
张传棻;
欧阳衡;
段书用

Publication type:

Article

Feed intake of sheep as affected by body weight, breed, sex, and feed composition.

Published in:

Journal of Animal Science, 2010, v. 88, n. 2, p. 467, doi. 10.2527/jas.2008-1735

By:

Lewis, R. M.;
Emmans, G. C.

Publication type:

Article

Pullback-Forward Dynamics for Damped Schrödinger Equations with Time-Dependent Forcing.

Published in:

Discrete Dynamics in Nature & Society, 2018, p. 1, doi. 10.1155/2018/2139792

By:

She, Lianbing;
Li, Yangrong;
Wang, Renhai

Publication type:

Article

A Rational Derivation of a Tube Law from Shell Theory.

Published in:

Quarterly Journal of Mechanics & Applied Mathematics, 2010, v. 63, n. 4, p. 465, doi. 10.1093/qjmam/hbq020

By:

WHITTAKER, ROBERT J.;
HEIL, MATTHIAS;
JENSEN, OLIVER E.;
WATERS, SARAH L.

Publication type:

Article

A Mathematical Model of an Oscillating Heat Pipe.

Published in:

Heat Transfer Engineering, 2011, v. 32, n. 11/12, p. 1037, doi. 10.1080/01457632.2011.556495

By:

Cheng, Peng;
Ma, Hongbin

Publication type:

Article

Ensemble Data Assimilation Using a Unified Representation of Model Error.

Published in:

Monthly Weather Review, 2016, v. 144, n. 1, p. 213, doi. 10.1175/MWR-D-15-0270.1

By:

Piccolo, Chiara;
Cullen, Mike

Publication type:

Article

Ensemble Dynamics and Bred Vectors.

Published in:

Monthly Weather Review, 2012, v. 140, n. 7, p. 2308, doi. 10.1175/MWR-D-10-05054.1

By:

Balci, Nusret;
Mazzucato, Anna L.;
Restrepo, Juan M.;
Sell, George R.

Publication type:

Article

The Medieval Quiet Period.

Published in:

Holocene, 2016, v. 26, n. 6, p. 990, doi. 10.1177/0959683615622552

By:

Bradley, Raymond S.;
Wanner, Heinz;
Diaz, Henry F.

Publication type:

Article

Orbital, ice-sheet, and possible solar forcing of Holocene lake-level fluctuations in west-central Europe: A comment on Bleicher.

Published in:

2013

By:

Magny, Michel

Publication type:

Opinion

A record of Holocene summer-season palaeohydrological changes from the southern margin of Chihuahua Desert (Mexico) and possible forcings.

Published in:

Holocene, 2013, v. 23, n. 8, p. 1105, doi. 10.1177/0959683613483619

By:

Roy, Priyadarsi D;
Rivero-Navarette, Axel;
Lopez-Balbiaux, Nayeli;
Pérez-Cruz, Ligia L;
Metcalfe, Sarah E;
Sankar, G Muthu;
Sánchez-Zavala, Jose Luis

Publication type:

Article

Two item response theory models for analysing normative forced-choice personality items.

Published in:

British Journal of Mathematical & Statistical Psychology, 2006, v. 59, n. 2, p. 379, doi. 10.1348/000711005X64691

By:

Ferrando, Pere J.

Publication type:

Article

Forcing with adequate sets of models as side conditions.

Published in:

Mathematical Logic Quarterly, 2017, v. 63, n. 1/2, p. 124, doi. 10.1002/malq.201400022

By:

Krueger, John

Publication type:

Article

Killing them softly: degrees of inaccessible and Mahlo cardinals.

Published in:

Mathematical Logic Quarterly, 2017, v. 63, n. 3/4, p. 256, doi. 10.1002/malq.201500071

By:

Carmody, Erin Kathryn

Publication type:

Article

A Groszek-Laver pair of undistinguishable.

Published in:

Mathematical Logic Quarterly, 2017, v. 63, n. 1/2, p. 19, doi. 10.1002/malq.201500020

By:

Golshani, Mohammad;
Kanovei, Vladimir;
Lyubetsky, Vassily

Publication type:

Article

Forcing a countable structure to belong to the ground model.

Published in:

Mathematical Logic Quarterly, 2016, v. 62, n. 6, p. 530, doi. 10.1002/malq.201400094

By:

Kaplan, Itay;
Shelah, Saharon

Publication type:

Article

Disassociated indiscernibles.

Published in:

Mathematical Logic Quarterly, 2014, v. 60, n. 6, p. 389, doi. 10.1002/malq.201100111

By:

Leaning, Jeffrey Scott;
Ben ‐ Neria, Omer

Publication type:

Article

The first measurable cardinal can be the first uncountable regular cardinal at any successor height.

Published in:

Mathematical Logic Quarterly, 2014, v. 60, n. 6, p. 471, doi. 10.1002/malq.201110007

By:

Apter, Arthur W.;
Dimitriou, Ioanna M.;
Koepke, Peter

Publication type:

Article

Forcing with the Anti-Foundation axiom.

Published in:

Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 55, doi. 10.1002/malq.201020079

By:

Esser, Olivier

Publication type:

Article

The failure of GCH at a degree of supercompactness.

Published in:

Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 83, doi. 10.1002/malq.201020078

By:

Cody, Brent

Publication type:

Article

Weakly measurable cardinals.

Published in:

Mathematical Logic Quarterly, 2011, v. 57, n. 3, p. 266, doi. 10.1002/malq.201010006

By:

Schanker, Jason A.

Publication type:

Article

Forcing operators on MTL-algebras.

Published in:

Mathematical Logic Quarterly, 2011, v. 57, n. 1, p. 47, doi. 10.1002/malq.200910117

By:

Diaconescu, Denisa;
Georgescu, George

Publication type:

Article

The Bounded Axiom A Forcing Axiom.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 6, p. 659, doi. 10.1002/malq.200810163

By:

Weinert, Thilo

Publication type:

Article

Understanding preservation theorems, II.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 5, p. 549, doi. 10.1002/malq.200910109

By:

Schlindwein, Chaz

Publication type:

Article

On the Π11-separation principle.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 563, doi. 10.1002/malq.200710049

By:

Montalbán, Antonio

Publication type:

Article

A general Mitchell style iteration.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 641, doi. 10.1002/malq.200710080

By:

Krueger, John

Publication type:

Article

A note on the axiomatisation of real numbers.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 224, doi. 10.1002/malq.200710039

By:

Coquand, Thierry;
Lombardi, L. Henri

Publication type:

Article

Dense subtrees in complete Boolean algebras.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 283, doi. 10.1002/malq.200510033

By:

König, Bernhard

Publication type:

Article

Forcing under Anti-Foundation Axiom: An expression of the stalks.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 295, doi. 10.1002/malq.200410060

By:

Kentaro, Sato

Publication type:

Article

New reals: Can live with them, can live without them.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 2, p. 115, doi. 10.1002/malq.200510018

By:

Goldstern, Martin;
Kellner, Jakob

Publication type:

Article

How much sweetness is there in the universe?

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 71, doi. 10.1002/malq.200410056

By:

Rosłanowski, Andrzej;
Shelah, Saharon

Publication type:

Article

Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum.

Published in:

Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 527, doi. 10.1002/malq.200410002

By:

Schindler, Ralf

Publication type:

Article

Unsupported Boolean algebras and forcing.

Published in:

Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 594, doi. 10.1002/malq.200410003

By:

Kurilić, Miloš

Publication type:

Article

Ultratopologies.

Published in:

Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 603, doi. 10.1002/malq.200310123

By:

Sági, Gábor;
Gerlits, János

Publication type:

Article

Forcing the Least Measurable to Violate GCH.

Published in:

Mathematical Logic Quarterly, 1999, v. 45, n. 4, p. 551, doi. 10.1002/malq.19990450412

By:

Apter, Arthur W.

Publication type:

Article

Towards a Problem of E. van Douwen and A. Miller.

Published in:

Mathematical Logic Quarterly, 1999, v. 45, n. 2, p. 183, doi. 10.1002/malq.19990450203

By:

Zhang, Yi

Publication type:

Article

Weak Covering at Large Cardinals.

Published in:

Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 22, doi. 10.1002/malq.19970430103

By:

Schindler, Ralf - Dieter

Publication type:

Article

On a Spector Ultrapower for the Solovay Model.

Published in:

Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 389, doi. 10.1002/malq.19970430311

By:

Kanovei, Vladimir;
van Lambalgen, Michiel

Publication type:

Article

Relatively Recursively Enumerable Versus Relatively Σ1 in Models of Peano Arithmetic.

Published in:

Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 515, doi. 10.1002/malq.19950410408

By:

Michalski, Grzegorz

Publication type:

Article

Degrees of Souslin Trees.

Published in:

Mathematical Logic Quarterly, 1991, v. 37, n. 33-35, p. 513, doi. 10.1002/malq.19910373302

By:

Bilaniuk, Stefan

Publication type:

Article