Logic Colloquium '95
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Cambridge University Press

9781316716830
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Higher Infinite in Proof Theory

2017 ◽  
pp. 275-304
Author(s):  
M. Rathjen
Keyword(s):  
Proof Theory

scholarly journals Combinatorial Principles from Adding Cohen Reals

2017 ◽  
pp. 79-103
Author(s):  
I. Juhász ◽  
L. Soukup ◽  
Z. Szentmiklóssy
Keyword(s):  
Combinatorial Principles

Accessible Segments of the Fast Growing Hierarchy

2017 ◽  
pp. 339-348
Author(s):  
S. S. Wainer
Keyword(s):  
Fast Growing

Noninterpretability of Infinite Linear Orders

2017 ◽  
pp. 73-78
Author(s):  
W. Hodges ◽  
A. Nies
Keyword(s):  
Linear Orders ◽  
Infinite Linear

Model Theory of Modules

2017 ◽  
pp. 66-72
Author(s):  
I. Herzog
Keyword(s):  
Model Theory

Strongly Minimal Sets and Geometry

2017 ◽  
pp. 191-213
Author(s):  
D. Marker
Keyword(s):  
Minimal Sets

V=L and Maximize

2017 ◽  
pp. 134-152
Author(s):  
P. Maddy

scholarly journals Computationally-Sound Proofs

2017 ◽  
pp. 214-268
Author(s):  
S. Micali
Load More ...
Sign in / Sign up

Export Citation Format

Share Document