Works matching DE "TRANSFINITE numbers"

Results: 118

A fast and robust hybrid method for block‐structured mesh deformation with emphasis on FSI‐LES applications.

Published in:

International Journal for Numerical Methods in Engineering, 2017, v. 111, n. 3, p. 273, doi. 10.1002/nme.5465

By:

Sen, Shuvam;
De Nayer, Guillaume;
Breuer, Michael

Publication type:

Article

Grounding and Necessity.

Published in:

Inquiry, 2014, v. 57, n. 2, p. 151, doi. 10.1080/0020174X.2013.855654

By:

Leuenberger, Stephan

Publication type:

Article

THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC.

Published in:

Review of Symbolic Logic, 2017, v. 10, n. 2, p. 357, doi. 10.1017/S1755020316000411

By:

DEAN, WALTER;
WALSH, SEAN

Publication type:

Article

SOME OBSERVATIONS ON TRUTH HIERARCHIES.

Published in:

Review of Symbolic Logic, 2014, v. 7, n. 1, p. 1, doi. 10.1017/S1755020313000361

By:

WELCH, P. D.

Publication type:

Article

Some combinatorial principles for trees and applications to tree families in Banach spaces.

Published in:

Mathematical Logic Quarterly, 2014, v. 60, n. 1/2, p. 70, doi. 10.1002/malq.201300029

By:

Poulios, Costas;
Tsarpalias, Athanasios

Publication type:

Article

Rice and Rice-Shapiro Theorems for transfinite correction grammars.

Published in:

Mathematical Logic Quarterly, 2011, v. 57, n. 5, p. 504, doi. 10.1002/malq.201020054

By:

Case, John;
Jain, Sanjay

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

Tall cardinals.

Published in:

Mathematical Logic Quarterly, 2009, v. 55, n. 1, p. 68, doi. 10.1002/malq.200710084

By:

Hamkins, Joel D.

Publication type:

Article

A gap 1 cardinal transfer theorem.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 4, p. 340, doi. 10.1002/malq.200510038

By:

Villegas-Silva, Luis M.

Publication type:

Article

The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal.

Published in:

Mathematical Logic Quarterly, 2005, v. 51, n. 5, p. 493, doi. 10.1002/malq.200410045

By:

Hamkins, Joel D.;
Woodin, W. Hugh

Publication type:

Article

From finitary to infinitary second-order logic.

Published in:

Mathematical Logic Quarterly, 2005, v. 51, n. 5, p. 499, doi. 10.1002/malq.200410046

By:

Weaver, George;
Penev, Irena

Publication type:

Article

A consistency result on cardinal sequences of scattered Boolean spaces.

Published in:

Mathematical Logic Quarterly, 2005, v. 51, n. 6, p. 586, doi. 10.1002/malq.200410050

By:

Martínez, Juan C.

Publication type:

Article

Two cardinals models with gap one revisited.

Published in:

Mathematical Logic Quarterly, 2005, v. 51, n. 5, p. 437, doi. 10.1002/malq.200410036

By:

Shelah, Saharon

Publication type:

Article

Variation on a theme of Schütte.

Published in:

Mathematical Logic Quarterly, 2004, v. 50, n. 3, p. 258, doi. 10.1002/malq.200310097

By:

Jäger, Gerhard;
Probst, Dieter

Publication type:

Article

Characterizing strong compactness via strongness.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 375, doi. 10.1002/malq.200310040

By:

Apter, Arthur W.

Publication type:

Article

A transfinite hierarchy of reals.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 163, doi. 10.1002/malq.200310015

By:

Barmpalias, George

Publication type:

Article

The equality S1 = D = R.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 115, doi. 10.1002/malq.200310012

By:

Grossberg, Rami;
Kolesnikov, Alexei;
Tomasic, Ivan;
Van Dieren, Monica

Publication type:

Article

Tree-Properties for Ordered Sets.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 213, doi. 10.1002/1521-3870(200202)48:2<213::AID-MALQ213>3.0.CO;2-R

By:

Esser, Olivier;
Hinnion, Roland

Publication type:

Article

The Compactness of 2ℝ and the Axiom of Choice.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 569, doi. 10.1002/1521-3870(200010)46:4<569::AID-MALQ569>3.0.CO;2-J

By:

Keremedis, Kyriakos

Publication type:

Article

Large Cardinals and Ramifiability for Directed Sets.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 25, doi. 10.1002/(SICI)1521-3870(200001)46:1<25::AID-MALQ25>3.0.CO;2-I

By:

Esser, Olivier;
Hinnion, Roland

Publication type:

Article

Recursive Structures and Ershov's Hierarchy.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 461, doi. 10.1002/malq.19960420138

By:

Ash, Christopher J.;
Knight, Julia F.

Publication type:

Article

Derived sequences and reverse mathematics.

Published in:

Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 447, doi. 10.1002/malq.19930390148

By:

Hirst, Jeffry L.

Publication type:

Article

A Note on Applications of the Löwenheim-Skolem-Theorem in General Topology.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 3, p. 283, doi. 10.1002/malq.19890350312

By:

Bandlow, Ingo

Publication type:

Article

Transfinite Recursion in a Theory of Properties.

Published in:

Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 307, doi. 10.1002/malq.19860321903

By:

Pollard, Stephen

Publication type:

Article

A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION.

Published in:

Journal of Symbolic Logic, 2019, v. 84, n. 1, p. 226, doi. 10.1017/jsl.2017.71

By:

KENTARO, SATO

Publication type:

Article

PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1091, doi. 10.1017/jsl.2018.36

By:

ARAI, TOSHIYASU

Publication type:

Article

PREDICATIVITY THROUGH TRANSFINITE REFLECTION.

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 3, p. 787, doi. 10.1017/jsl.2017.30

By:

CORDÓN-FRANCO, ANDRÉS;
FERNÁNDEZ-DUQUE, DAVID;
JOOSTEN, JOOST J.;
LARA-MARTÍN, FRANCISCO FÉLIX

Publication type:

Article

Ricardian Inference: Charles S. Peirce, Economics, and Scientific Method.

Published in:

Transactions of the Charles S. Peirce Society, 2020, v. 56, n. 4, p. 521, doi. 10.2979/trancharpeirsoc.56.4.02

By:

Hoover, Kevin D.;
Wible, James R.

Publication type:

Article

Pierce's Definitions of Continuity and the Concept of Possibility.

Published in:

Transactions of the Charles S. Peirce Society, 1989, v. 25, n. 2, p. 149

By:

Noble, N. A. Brian

Publication type:

Article

A Robin formula for the Fekete-Leja transfinite diameter.

Published in:

Mathematische Annalen, 2007, v. 337, n. 4, p. 729, doi. 10.1007/s00208-006-0052-4

By:

Robert Rumely

Publication type:

Article

Gödel, Gentzen, Goodstein: The Magic Sound of a G-String.

Published in:

Mathematical Intelligencer, 2014, v. 36, n. 4, p. 22, doi. 10.1007/s00283-014-9454-4

By:

Plato, Jan

Publication type:

Article

La descente infinie, l'induction transfinie et le tiers exclu.

Published in:

Dialogue: Canadian Philosophical Review, 2009, v. 48, n. 1, p. 1, doi. 10.1017/S0012217309090015

By:

GAUTHIER, YVON

Publication type:

Article

The polytopologies of transfinite provability logic.

Published in:

Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 385, doi. 10.1007/s00153-014-0371-1

By:

Fernández-Duque, David

Publication type:

Article

Indestructibility and measurable cardinals with few and many measures.

Published in:

Archive for Mathematical Logic, 2008, v. 47, n. 2, p. 101, doi. 10.1007/s00153-008-0079-1

By:

Apter, Arthur W.

Publication type:

Article

Universal indestructibility for degrees of supercompactness and strongly compact cardinals.

Published in:

Archive for Mathematical Logic, 2008, v. 47, n. 2, p. 133, doi. 10.1007/s00153-008-0072-8

By:

Apter, Arthur W.;
Sargsyan, Grigor

Publication type:

Article

Failures of SCH and Level by Level Equivalence.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 7, p. 831, doi. 10.1007/s00153-006-0006-2

By:

Apter, Arthur W.

Publication type:

Article

Projective Well-orderings of the Reals.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 7, p. 783, doi. 10.1007/s00153-006-0002-6

By:

Caicedo, Andrés Eduardo;
Schindler, Ralf

Publication type:

Article

Orders of Indescribable Sets.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 6, p. 705, doi. 10.1007/s00153-006-0015-1

By:

Hellsten, Alex

Publication type:

Article

The Consistency Strength of $$\aleph_{\omega}$$ and $$\aleph_{{\omega}_1}$$ Being Rowbottom Cardinals Without the Axiom of Choice.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 6, p. 721, doi. 10.1007/s00153-006-0005-3

By:

Apter, Arthur W.;
Koepke, Peter

Publication type:

Article

Homogeneously Souslin sets in small inner models.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 1, p. 53, doi. 10.1007/s00153-005-0301-3

By:

Koepke, Peter;
Schindler, Ralf

Publication type:

Article

Epsilon substitution method for [Π01, Π01]-FIX.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 8, p. 1009, doi. 10.1007/s00153-005-0290-2

By:

Arai, T.

Publication type:

Article

Notes on subtlety and ineffability in P κ λ.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 5, p. 619, doi. 10.1007/s00153-004-0272-9

By:

Abe, Yoshihiro

Publication type:

Article

Mad families, forcing and the Suslin Hypothesis.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 499, doi. 10.1007/s00153-004-0263-x

By:

Kurilic, Miloš S.

Publication type:

Article

Epsilon substitution for transfinite induction.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 397, doi. 10.1007/s00153-004-0241-3

By:

Towsner, Henry

Publication type:

Article

Limit spaces and transfinite types.

Published in:

Archive for Mathematical Logic, 2002, v. 41, n. 6, p. 525, doi. 10.1007/s001530100131

By:

Normann, Dag;
Waagb, Geir

Publication type:

Article

Spline-based reservoir's geometry reconstruction and mesh generation for coupled flow and mechanics simulation.

Published in:

Computational Geosciences, 2014, v. 18, n. 6, p. 949, doi. 10.1007/s10596-014-9438-7

By:

Florez, Horacio;
Manzanilla-Morillo, Raul;
Florez, Jorge;
Wheeler, Mary

Publication type:

Article

Picard dimension of signed radial Kato measures.

Published in:

Acta Mathematica Sinica, 2009, v. 25, n. 11, p. 1805, doi. 10.1007/s10114-009-7243-3

By:

Benyaiche, Allami;
Elgourari, Aiad

Publication type:

Article

Hidden torsion, 3-manifolds, and homology cobordism.

Published in:

Journal of Topology, 2013, v. 6, n. 2, p. 490, doi. 10.1112/jtopol/jtt003

By:

Cha, Jae Choon;
Orr, Kent E.

Publication type:

Article

Eigenanalysis of two-dimensional acoustic cavities using transfinite interpolation.

Published in:

Journal of Algorithms & Computational Technology, 2009, v. 3, n. 4, p. 477, doi. 10.1260/174830109789621383

By:

Provatidis, Christopher G.

Publication type:

Article

An analog of Pólya's theorem for multivalued analytic functions with finitely many branch points.

Published in:

Mathematical Notes, 2017, v. 101, n. 5/6, p. 888, doi. 10.1134/S0001434617050145

By:

Suetin, S.

Publication type:

Article