- An axiomatic theory of well-orderings.Oliver Deiser - 2011 - Review of Symbolic Logic 4 (2):186-204.details
|
|
Elementary Equivalence and Constructible Models of Zermelo-Fraenkel Set Theory.R. H. Cowen - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):333-338.details
|
|
Models of set theory with more real numbers than ordinals.Paul E. Cohen - 1974 - Journal of Symbolic Logic 39 (3):579-583.details
|
|
A large power set axiom.Paul E. Cohen - 1975 - Journal of Symbolic Logic 40 (1):48-54.details
|
|
Forcing for the impredicative theory of classes.Rolando Chuaqui - 1972 - Journal of Symbolic Logic 37 (1):1-18.details
|
|
The model of set theory generated by countably many generic reals.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (4):732-752.details
|
|
On the inadequacy of inner models.Andreas Blass - 1972 - Journal of Symbolic Logic 37 (3):569-571.details
|
|
Automorphisms of Finite Order.D. A. Anapolitanos - 1979 - Mathematical Logic Quarterly 25 (33):565-575.details
|
|
A new applied approach for executing computations with infinite and infinitesimal quantities.Yaroslav D. Sergeyev - 2008 - Informatica 19 (4):567-596.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Naturalizing Badiou: mathematical ontology and structural realism.Fabio Gironi - 2014 - New York: Palgrave-Macmillan.details
|
|
Mathematical Infinity, Its Inventors, Discoverers, Detractors, Defenders, Masters, Victims, Users, and Spectators.Edward G. Belaga - manuscriptdetails
|
|
Counting systems and the First Hilbert problem.Yaroslav Sergeyev - 2010 - Nonlinear Analysis Series A 72 (3-4):1701-1708.details
|
|
Penrose's Gödelian Argument A Review of Shadows of the Mind by Roger Penrose. [REVIEW]S. Feferman - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2:21-32.details
|
|
Mathematical definability.Theodore A. Slaman - 1998 - In H. G. Dales & Gianluigi Oliveri (eds.), Truth in Mathematics. Oxford University Press, Usa. pp. 233.details
|
|
The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.details
|
|
The Development of Categorical Logic.John L. Bell - unknowndetails
|
|
The inscrutability of reference.Robert Williams - 2005 - Dissertation, University of St Andrewsdetails
|
|
On the Scientific Works of Tadeusz Batog.Jerzy Pogonowski - 1997 - Poznan Studies in the Philosophy of the Sciences and the Humanities 57:69-134.details
|
|
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).details
|
|
O tzw. programie Gödla.Krzysztof Wójtowicz - 2001 - Zagadnienia Filozoficzne W Nauce 29.details
|
|
Generalized Löb’s Theorem.Strong Reflection Principles and Large Cardinal Axioms. Consistency Results in Topology.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal (Vol. 4, No. 1-1):1-5.details
|
|