books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 46; Issue 1
Main
Mathematical Logic Quarterly
Volume 46; Issue 1
Mathematical Logic Quarterly
Volume 46; Issue 1
1
Some More Conservation Results on the Baire Category Theorem
Takeshi Yamazaki
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 181 KB
Your tags:
english, 2000
2
Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely
Henryk Kotlarski
,
Bożena Piekart
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 239 KB
Your tags:
english, 2000
3
A Problem of Normal Form in Natural Deduction
Jan von Plato
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 134 KB
Your tags:
english, 2000
4
A Constructive Look at Generalised Cauchy Reals
Peter M. Schuster
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 219 KB
Your tags:
english, 2000
5
A Note on theGödel-Gentzen Translation
Hajime Ishihara
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 117 KB
Your tags:
english, 2000
6
Sequential Continuity of Functions in Constructive Analysis
Douglas Bridges
,
Ayan Mahalanobis
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 174 KB
Your tags:
english, 2000
7
An Effective Conservation Result for Nonstandard Arithmetic
Erik Palmgren
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 187 KB
Your tags:
english, 2000
8
Large Cardinals and Ramifiability for Directed Sets
Olivier Esser
,
Roland Hinnion
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 221 KB
Your tags:
english, 2000
9
Compactness in Countable Tychonoff Products and Choice
Paul Howard
,
Kyriakos Keremedis
,
Jean E. Rubin
,
Adrienne Stanley
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 280 KB
Your tags:
english, 2000
10
On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice
Kyriakos Keremedis
,
Eleftherios Tachtsis
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 209 KB
Your tags:
english, 2000
11
Another Constructive Axiomatization of Euclidean Planes
Victor Pambuccian
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 158 KB
Your tags:
english, 2000
12
Common Belief with the Logic of Individual Belief
Giacomo Bonanno
,
Klaus Nehring
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 177 KB
Your tags:
english, 2000
13
A Splitting with Infimum in the d-c. e. Degrees
Lu Hong
,
Ding Decheng
,
Qian Lei
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 363 KB
Your tags:
english, 2000
14
Approximate Reasoning Based on Similarity
Loredana Biacino
,
Giangiacomo Gerla
,
Mingsheng Ying
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 207 KB
Your tags:
english, 2000
15
Partition Relations for Strongly Normal Ideals on Pκ(λ)
Pierre Matet
Journal:
Mathematical Logic Quarterly
Year:
2000
Language:
english
File:
PDF, 317 KB
Your tags:
english, 2000
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×