Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words.
- Published in:
- International Journal of Foundations of Computer Science, 2019, v. 30, n. 3, p. 449, doi. 10.1142/S012905411950014X
- By:
- Publication type:
- Article
Works matching DE "LARGE cardinals (Mathematics)"
Results: 108
1
2
Morasses, semimorasses and supercompact ultrafilters.
- Published in:
- Acta Mathematica Hungarica, 2017, v. 152, n. 1, p. 257, doi. 10.1007/s10474-017-0708-4
- By:
- Publication type:
- Article
3
The ultrafilter number for singular cardinals.
- Published in:
- Acta Mathematica Hungarica, 2012, v. 137, n. 4, p. 296, doi. 10.1007/s10474-012-0245-0
- By:
- Publication type:
- Article
4
The Ultrapower Axiom UA and the number of normal measures over N<sub>1</sub> and M<sub>2</sub>.
- Published in:
- Tbilisi Mathematical Journal, 2021, v. 14, n. 1, p. 49, doi. 10.32513/tmj/1932200814
- By:
- Publication type:
- Article
5
Colimits of accessible categories.
- Published in:
- Mathematical Proceedings of the Cambridge Philosophical Society, 2013, v. 155, n. 1, p. 47, doi. 10.1017/S0305004113000030
- By:
- Publication type:
- Article
6
How Woodin changed his mind: new thoughts on the Continuum Hypothesis.
- Published in:
- Archive for History of Exact Sciences, 2015, v. 69, n. 2, p. 125, doi. 10.1007/s00407-014-0142-8
- By:
- Publication type:
- Article
7
On the Pólya Conversion Problem for Permanents and Determinants.
- Published in:
- Journal of Mathematical Sciences, 2014, v. 197, n. 6, p. 782, doi. 10.1007/s10958-014-1762-x
- By:
- Publication type:
- Article
8
It Doesn't Add Up (Has a Gaping Hole Opened Up in the Foundations of Mathematics?).
- Published in:
- College Mathematics Journal, 2011, v. 42, n. 2, p. 169
- By:
- Publication type:
- Article
9
Cantor Groups.
- Published in:
- College Mathematics Journal, 2011, v. 42, n. 1, p. 60, doi. 10.4169/college.math.j.42.1.060
- By:
- Publication type:
- Article
10
DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS.
- Published in:
- Review of Symbolic Logic, 2021, v. 14, n. 1, p. 225, doi. 10.1017/S1755020320000143
- By:
- Publication type:
- Article
11
GENERIC LARGE CARDINALS AS AXIOMS.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 2, p. 375, doi. 10.1017/S1755020319000200
- By:
- Publication type:
- Article
12
A STRONG REFLECTION PRINCIPLE.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 4, p. 651, doi. 10.1017/S1755020317000223
- By:
- Publication type:
- Article
13
Guessing models and the approachability ideal.
- Published in:
- Journal of Mathematical Logic, 2021, v. 21, n. 2, p. N.PAG, doi. 10.1142/S0219061321500033
- By:
- Publication type:
- Article
14
Knaster and friends II: The C-sequence number.
- Published in:
- Journal of Mathematical Logic, 2021, v. 21, n. 1, p. N.PAG, doi. 10.1142/S0219061321500021
- By:
- Publication type:
- Article
15
Tameness, powerful images, and large cardinals.
- Published in:
- Journal of Mathematical Logic, 2021, v. 21, n. 1, p. N.PAG, doi. 10.1142/S0219061320500245
- By:
- Publication type:
- Article
16
Specializing trees and answer to a question of Williams.
- Published in:
- Journal of Mathematical Logic, 2021, v. 21, n. 1, p. N.PAG, doi. 10.1142/S0219061320500233
- By:
- Publication type:
- Article
17
The special Aronszajn tree property.
- Published in:
- Journal of Mathematical Logic, 2020, v. 20, n. 1, p. N.PAG, doi. 10.1142/S0219061320500038
- By:
- Publication type:
- Article
18
The linearity of the Mitchell order.
- Published in:
- Journal of Mathematical Logic, 2018, v. 18, n. 1, p. N.PAG, doi. 10.1142/S0219061318500058
- By:
- Publication type:
- Article
19
The downward directed grounds hypothesis and very large cardinals.
- Published in:
- Journal of Mathematical Logic, 2017, v. 17, n. 2, p. -1, doi. 10.1142/S021906131750009X
- By:
- Publication type:
- Article
20
Homogeneous changes in cofinalities with applications to HOD.
- Published in:
- Journal of Mathematical Logic, 2017, v. 17, n. 2, p. -1, doi. 10.1142/S0219061317500076
- By:
- Publication type:
- Article
21
Inverse limit reflection and the structure of L(V<sub>λ+1</sub>).
- Published in:
- Journal of Mathematical Logic, 2015, v. 15, n. 1, p. -1, doi. 10.1142/S0219061315500014
- By:
- Publication type:
- Article
22
EFFECTIVE CARDINALS OF BOLDFACE POINTCLASSES.
- Published in:
- Journal of Mathematical Logic, 2007, v. 7, n. 1, p. 35, doi. 10.1142/S0219061307000615
- By:
- Publication type:
- Article
23
GAMES OF LENGTH ω<sub>1</sub>.
- Published in:
- Journal of Mathematical Logic, 2007, v. 7, n. 1, p. 83, doi. 10.1142/S0219061307000627
- By:
- Publication type:
- Article
24
CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES.
- Published in:
- Journal of Mathematical Logic, 2006, v. 6, n. 2, p. 181, doi. 10.1142/S0219061306000554
- By:
- Publication type:
- Article
25
GENERICITY AND LARGE CARDINALS.
- Published in:
- Journal of Mathematical Logic, 2005, v. 5, n. 2, p. 149, doi. 10.1142/S0219061305000420
- By:
- Publication type:
- Article
26
Optimal Proofs of Determinacy II.
- Published in:
- Journal of Mathematical Logic, 2002, v. 2, n. 2, p. 227, doi. 10.1142/S0219061302000175
- By:
- Publication type:
- Article
27
On Cellular-Lindelöf Spaces.
- Published in:
- Bulletin of the Iranian Mathematical Society, 2018, v. 44, n. 6, p. 1485, doi. 10.1007/s41980-018-0102-1
- By:
- Publication type:
- Article
28
Von Neumann's Problem and Large Cardinals.
- Published in:
- Bulletin of the London Mathematical Society, 2006, v. 38, n. 6, p. 907, doi. 10.1112/S0024609306018704
- By:
- Publication type:
- Article
29
More Ramsey theory for highly connected monochromatic subgraphs.
- Published in:
- Canadian Journal of Mathematics, 2024, v. 76, n. 6, p. 2136, doi. 10.4153/S0008414X23000767
- By:
- Publication type:
- Article
30
STRONG AXIOMS OF INFINITY AND THE DEBATE ABOUT REALISM.
- Published in:
- Journal of Philosophy, 2014, v. 111, n. 8, p. 397
- By:
- Publication type:
- Article
31
Shellability of Pointed Integer Partition.
- Published in:
- Acta Mechanica Slovaca, 2019, v. 23, n. 2, p. 6, doi. 10.21496/ams.2019.015
- By:
- Publication type:
- Article
32
Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 495, doi. 10.1007/s00153-020-00751-6
- By:
- Publication type:
- Article
33
A small ultrafilter number at smaller cardinals.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 325, doi. 10.1007/s00153-019-00693-8
- By:
- Publication type:
- Article
34
Determinacy separations for class games.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 5/6, p. 635, doi. 10.1007/s00153-018-0655-y
- By:
- Publication type:
- Article
35
A Laver-like indestructibility for hypermeasurable cardinals.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 275, doi. 10.1007/s00153-018-0637-0
- By:
- Publication type:
- Article
36
Countable OD sets of reals belong to the ground model.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 3/4, p. 285, doi. 10.1007/s00153-017-0569-0
- By:
- Publication type:
- Article
37
Perfect independent sets with respect to infinitely many relations.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 847, doi. 10.1007/s00153-016-0498-3
- By:
- Publication type:
- Article
38
Sets of points of symmetric continuity.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 803, doi. 10.1007/s00153-015-0441-z
- By:
- Publication type:
- Article
39
Strongly unbounded and strongly dominating sets of reals generalized.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 825, doi. 10.1007/s00153-015-0442-y
- By:
- Publication type:
- Article
40
Different similarities.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 839, doi. 10.1007/s00153-015-0443-x
- By:
- Publication type:
- Article
41
Indestructibility properties of remarkable cardinals.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 961, doi. 10.1007/s00153-015-0453-8
- By:
- Publication type:
- Article
42
Simple proofs of $${\mathsf{SCH}}$$ from reflection principles without using better scales.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 639, doi. 10.1007/s00153-015-0432-0
- By:
- Publication type:
- Article
43
The stationarity of the collection of the locally regulars.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 725, doi. 10.1007/s00153-015-0437-8
- By:
- Publication type:
- Article
44
The least weakly compact cardinal can be unfoldable, weakly measurable and nearly $${\theta}$$ -supercompact.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 491, doi. 10.1007/s00153-015-0423-1
- By:
- Publication type:
- Article
45
The large cardinals between supercompact and almost-huge.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 257, doi. 10.1007/s00153-014-0410-y
- By:
- Publication type:
- Article
46
Resurrection axioms and uplifting cardinals.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 463, doi. 10.1007/s00153-014-0374-y
- By:
- Publication type:
- Article
47
Aronszajn trees and the successors of a singular cardinal.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 5/6, p. 483, doi. 10.1007/s00153-013-0326-y
- By:
- Publication type:
- Article
48
Chang's Conjecture and weak square.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 29, doi. 10.1007/s00153-012-0305-8
- By:
- Publication type:
- Article
49
Consistency strength of higher chang's conjecture, without CH.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 7/8, p. 759, doi. 10.1007/s00153-011-0247-6
- By:
- Publication type:
- Article
50
Indestructibility of Vopěnka's Principle.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 5/6, p. 515, doi. 10.1007/s00153-011-0228-9
- By:
- Publication type:
- Article